Constant Field Values

Contents

• com.sri.*

com.sri.*

com.sri.gradle.daikon.Constants

Modifier and Type	Constant Field	Value
public static final java.lang.String	BAD_DAIKON_ERROR	"Unable to run Daikon."
public static final java.lang.String	CHECK_DAIKON_TASK	"daikonCheck"
public static final java.lang.String	CHECK_DAIKON_TASK_DESCRIPTION	"Checks if Daikon is in your project\'s classpath."
public static final java.lang.String	CHICORY_JAR_FILE	"ChicoryPremain.jar"
public static final java.lang.String	CHICORY_MAIN_CLASS	"daikon.Chicory"
public static final java.lang.String	CODE_GEN_TASK	"generateTestDriverCode"
public static final java.lang.String	CODE_GEN_TASK_DESCRIPTION	"Generates test driver code that Daikon can execute."
public static final java.lang.String	COMPILE_TEST_DRIVER	"compileTestDriverJava"
public static final java.lang.String	DAIKON_IN_CLASSPATH	"Good. Daikon is in your CLASSPATH!"
public static final java.lang.String	DAIKON_JAR_FILE	"daikon.jar"
public static final java.lang.String	DAIKON_MAIN_CLASS	"daikon.Daikon"
public static final java.lang.String	DAIKON_TASK	"daikonRun"
public static final java.lang.String	DAIKON_TASK_DESCRIPTION	"Runs Daikon invariant detector"
public static final java.lang.String	DOUBLE_SPACE	" "
public static final java.lang.String	DYN_COMP_MAIN_CLASS	"daikon.DynComp"
public static final java.lang.String	DYN_COMP_PRE_MAIN_JAR_FILE	"dcomp_premain.jar"
public static final java.lang.String	DYN_COMP_RT_JAR_FILE	"dcomp_rt.jar"
public static final java.lang.String	ERROR_MARKER	"Error: Could not find or load main"
public static final java.lang.String	GROUP	"Daikon"
public static final java.lang.String	PLUGIN_DESCRIPTION	"Detection of likely program invariants using Daikon."
public static final java.lang.String	PLUGIN_EXTENSION	"runDaikon"
public static final java.lang.String	PRINT_INVARIANTS_MAIN_CLASS	"daikon.PrintInvariants"
public static final java.lang.String	PROJECT_LIB_DIR	"libs"
public static final java.lang.String	PROJECT_MAIN_CLASS_DIR	"classes/java/main"
public static final java.lang.String	PROJECT_MAIN_SRC_DIR	"src/main/java"
public static final java.lang.String	PROJECT_TEST_CLASS_DIR	"classes/java/test"
public static final java.lang.String	PROJECT_TEST_SRC_DIR	"src/test/java"
public static final java.lang.String	SPACE	" "
public static final java.lang.String	TEST_DRIVER	"TestDriver"
public static final java.lang.String	TEST_DRIVER_CLASSNAME	"AutoGeneratedTestDriver"