Overview  Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Constant Field Values

Contents
edu.ucsb.*

edu.ucsb.ccs.jaqual.standard.Equal
public static final int CONTENT 1
public static final int REFERENCE 2

edu.ucsb.ccs.jaqual.standard.InRange
public static final int EXCLUSIVE 1
public static final int INCLUSIVE 0

edu.ucsb.ccs.jcontractor.InstrumentationFilter
public static final int ALL 3
public static final int NONE 0
public static final int POST 2
public static final int PRE 1

edu.ucsb.ccs.jcontractor.jContractor
public static final java.lang.String USAGE_MESSAGE "Usage: jContractor [-options] class [args]\n\nOptions:\n -f \t\t\t Specify the instrumentation file.\n -n, --none Suppresses instrumentation of the\n specified class(es).\n -p, --pre Instruments the specified\n class(es) for preconditions\n checks.\n -o, --post Instruments the specified class(es) for\n precondition and postcondition checks.\n -a, --all Instruments the specified class(es) for\n all contract checks.\n -v, --verbose \t\t Enable verbose logging. Prints name of each \n \t\t class as it is instrumented.\n -e, --version \t\t Print version number and exit.\n"
public static final java.lang.String VERSION "jContractor version 0.1"

edu.ucsb.ccs.jcontractor.jInstrument
public static final java.lang.String JCONTRACTOR_FLAG_CONSTANT "JCONTRACTOR"
public static final java.lang.String USAGE_MESSAGE "Usage: jInstrument [-options] class [args]\n\nOptions:\n -d \t\t\t Specify destination directory for \n \t\t\t instrumented files.\n -f \t\t\t Specify the instrumentation file.\n -n, --none Suppresses instrumentation of the\n specified class(es).\n -p, --pre Instruments the specified\n class(es) for preconditions\n checks.\n -o, --post Instruments the specified class(es) for\n precondition and postcondition checks.\n -a, --all Instruments the specified class(es) for\n all contract checks.\n -v, --verbose \t\t Enable verbose logging. Prints name of each \n \t\t class as it is instrumented.\n -e, --version \t\t Print version number and exit.\n"
public static final java.lang.String VERSION "jInstrument version 0.1"

edu.ucsb.ccs.jcontractor.transformation.ReplaceReturnInstructionsTransformation
public static final java.lang.String SHARED_INFO_RESULT_INDEX_KEY "ReplaceReturnInstructionsTransformation_result_index"

Overview  Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES