com.sri.gradle.daikon

Class Constants

java.lang.Object

com.sri.gradle.daikon.Constants

public class Constants
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	BAD_DAIKON_ERROR
static java.lang.String	CHECK_DAIKON_TASK
static java.lang.String	CHECK_DAIKON_TASK_DESCRIPTION
static java.lang.String	CHICORY_JAR_FILE
static java.lang.String	CHICORY_MAIN_CLASS
static java.lang.String	CODE_GEN_TASK
static java.lang.String	CODE_GEN_TASK_DESCRIPTION
static java.lang.String	COMPILE_TEST_DRIVER
static java.lang.String	DAIKON_FILES_EXIST
static java.lang.String	DAIKON_IN_CLASSPATH
static java.lang.String	DAIKON_JAR_FILE
static java.lang.String	DAIKON_MAIN_CLASS
static java.lang.String	DAIKON_TASK
static java.lang.String	DAIKON_TASK_DESCRIPTION
static java.lang.String	DOUBLE_SPACE
static java.lang.String	DRIVER_EXIST
static java.lang.String	DYN_COMP_MAIN_CLASS
static java.lang.String	DYN_COMP_PRE_MAIN_JAR_FILE
static java.lang.String	DYN_COMP_RT_JAR_FILE
static java.lang.String	ERROR_MARKER
static java.util.regex.Pattern	EXPECTED_JUNIT4_NAME_REGEX
static java.lang.String	FILE_SEPARATOR
static java.lang.String	GROUP
static java.lang.String	NEW_LINE
static java.lang.String	PATH_SEPARATOR
static java.lang.String	PLUGIN_DESCRIPTION
static java.lang.String	PLUGIN_EXTENSION
static java.lang.String	PRINT_INVARIANTS_MAIN_CLASS
static java.lang.String	PROJECT_LIB_DIR
static java.lang.String	PROJECT_MAIN_CLASS_DIR
static java.lang.String	PROJECT_MAIN_SRC_DIR
static java.lang.String	PROJECT_TEST_CLASS_DIR
static java.lang.String	PROJECT_TEST_SRC_DIR
static java.io.OutputStream	QUIET_OUTPUT
static java.lang.String	SPACE
static java.lang.String	SUCCESSFUL_CODE_GENERATION
static java.lang.String	SUCCESSFUL_DAIKON_EXECUTION
static java.lang.String	TEST_DRIVER
static java.lang.String	TEST_DRIVER_CLASSNAME
static java.lang.String	UNEXPECTED_ERROR
static java.io.File	USER_WORKING_DIR

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

GROUP

public static final java.lang.String GROUP

See Also:

Constant Field Values

PLUGIN_DESCRIPTION

public static final java.lang.String PLUGIN_DESCRIPTION

See Also:

Constant Field Values

PLUGIN_EXTENSION

public static final java.lang.String PLUGIN_EXTENSION

See Also:

Constant Field Values

PROJECT_LIB_DIR

public static final java.lang.String PROJECT_LIB_DIR

See Also:

Constant Field Values

PROJECT_MAIN_SRC_DIR

public static final java.lang.String PROJECT_MAIN_SRC_DIR

See Also:

Constant Field Values

PROJECT_TEST_SRC_DIR

public static final java.lang.String PROJECT_TEST_SRC_DIR

See Also:

Constant Field Values

PROJECT_MAIN_CLASS_DIR

public static final java.lang.String PROJECT_MAIN_CLASS_DIR

See Also:

Constant Field Values

PROJECT_TEST_CLASS_DIR

public static final java.lang.String PROJECT_TEST_CLASS_DIR

See Also:

Constant Field Values

CHECK_DAIKON_TASK

public static final java.lang.String CHECK_DAIKON_TASK

See Also:

Constant Field Values

CHECK_DAIKON_TASK_DESCRIPTION

public static final java.lang.String CHECK_DAIKON_TASK_DESCRIPTION

See Also:

Constant Field Values

DAIKON_TASK

public static final java.lang.String DAIKON_TASK

See Also:

Constant Field Values

DAIKON_TASK_DESCRIPTION

public static final java.lang.String DAIKON_TASK_DESCRIPTION

See Also:

Constant Field Values

CODE_GEN_TASK

public static final java.lang.String CODE_GEN_TASK

See Also:

Constant Field Values

CODE_GEN_TASK_DESCRIPTION

public static final java.lang.String CODE_GEN_TASK_DESCRIPTION

See Also:

Constant Field Values

EXPECTED_JUNIT4_NAME_REGEX

public static final java.util.regex.Pattern EXPECTED_JUNIT4_NAME_REGEX

COMPILE_TEST_DRIVER

public static final java.lang.String COMPILE_TEST_DRIVER

See Also:

Constant Field Values

CHICORY_MAIN_CLASS

public static final java.lang.String CHICORY_MAIN_CLASS

See Also:

Constant Field Values

DAIKON_MAIN_CLASS

public static final java.lang.String DAIKON_MAIN_CLASS

See Also:

Constant Field Values

DYN_COMP_MAIN_CLASS

public static final java.lang.String DYN_COMP_MAIN_CLASS

See Also:

Constant Field Values

PRINT_INVARIANTS_MAIN_CLASS

public static final java.lang.String PRINT_INVARIANTS_MAIN_CLASS

See Also:

Constant Field Values

CHICORY_JAR_FILE

public static final java.lang.String CHICORY_JAR_FILE

See Also:

Constant Field Values

DAIKON_JAR_FILE

public static final java.lang.String DAIKON_JAR_FILE

See Also:

Constant Field Values

DYN_COMP_PRE_MAIN_JAR_FILE

public static final java.lang.String DYN_COMP_PRE_MAIN_JAR_FILE

See Also:

Constant Field Values

DYN_COMP_RT_JAR_FILE

public static final java.lang.String DYN_COMP_RT_JAR_FILE

See Also:

Constant Field Values

TEST_DRIVER

public static final java.lang.String TEST_DRIVER

See Also:

Constant Field Values

TEST_DRIVER_CLASSNAME

public static final java.lang.String TEST_DRIVER_CLASSNAME

See Also:

Constant Field Values

NEW_LINE

public static final java.lang.String NEW_LINE

FILE_SEPARATOR

public static final java.lang.String FILE_SEPARATOR

PATH_SEPARATOR

public static final java.lang.String PATH_SEPARATOR

USER_WORKING_DIR

public static final java.io.File USER_WORKING_DIR

SPACE

public static final java.lang.String SPACE

See Also:

Constant Field Values

DOUBLE_SPACE

public static final java.lang.String DOUBLE_SPACE

See Also:

Constant Field Values

QUIET_OUTPUT

public static final java.io.OutputStream QUIET_OUTPUT

BAD_DAIKON_ERROR

public static final java.lang.String BAD_DAIKON_ERROR

See Also:

Constant Field Values

ERROR_MARKER

public static final java.lang.String ERROR_MARKER

See Also:

Constant Field Values

UNEXPECTED_ERROR

public static final java.lang.String UNEXPECTED_ERROR

DRIVER_EXIST

public static final java.lang.String DRIVER_EXIST

SUCCESSFUL_DAIKON_EXECUTION

public static final java.lang.String SUCCESSFUL_DAIKON_EXECUTION

SUCCESSFUL_CODE_GENERATION

public static final java.lang.String SUCCESSFUL_CODE_GENERATION

DAIKON_FILES_EXIST

public static final java.lang.String DAIKON_FILES_EXIST

DAIKON_IN_CLASSPATH

public static final java.lang.String DAIKON_IN_CLASSPATH

See Also:

Constant Field Values