A B C D E F G H I J L M N O P Q R S T U V W _

C

CASE_GROUP - Static variable in interface net.mtu.eggplant.dbc.AssertLexerTokenTypes

CASE_GROUP - Static variable in interface net.mtu.eggplant.dbc.Java14RecognizerTokenTypes

CASE_GROUP - Static variable in interface net.mtu.eggplant.dbc.JavaTokenTypes

CHAR_LITERAL - Static variable in interface net.mtu.eggplant.dbc.AssertLexerTokenTypes

CHAR_LITERAL - Static variable in interface net.mtu.eggplant.dbc.Java14RecognizerTokenTypes

CHAR_LITERAL - Static variable in interface net.mtu.eggplant.dbc.JavaTokenTypes

CLASS_DEF - Static variable in interface net.mtu.eggplant.dbc.AssertLexerTokenTypes

CLASS_DEF - Static variable in interface net.mtu.eggplant.dbc.Java14RecognizerTokenTypes

CLASS_DEF - Static variable in interface net.mtu.eggplant.dbc.JavaTokenTypes

COLON - Static variable in interface net.mtu.eggplant.dbc.AssertLexerTokenTypes

COLON - Static variable in interface net.mtu.eggplant.dbc.Java14RecognizerTokenTypes

COLON - Static variable in interface net.mtu.eggplant.dbc.JavaTokenTypes

COMMA - Static variable in interface net.mtu.eggplant.dbc.AssertLexerTokenTypes

COMMA - Static variable in interface net.mtu.eggplant.dbc.Java14RecognizerTokenTypes

COMMA - Static variable in interface net.mtu.eggplant.dbc.JavaTokenTypes

CONDITION - Static variable in interface net.mtu.eggplant.dbc.AssertLexerTokenTypes

CONDITION - Static variable in interface net.mtu.eggplant.dbc.Java14RecognizerTokenTypes

CONDITION - Static variable in interface net.mtu.eggplant.dbc.JavaTokenTypes

CTOR_DEF - Static variable in interface net.mtu.eggplant.dbc.AssertLexerTokenTypes

CTOR_DEF - Static variable in interface net.mtu.eggplant.dbc.Java14RecognizerTokenTypes

CTOR_DEF - Static variable in interface net.mtu.eggplant.dbc.JavaTokenTypes

CodeFragment - class net.mtu.eggplant.dbc.CodeFragment.

Class that represents a fragment of code that needs to be inserted into a file to instrument it for assertions.

CodeFragment(CodePoint, String, CodeFragmentType) - Constructor for class net.mtu.eggplant.dbc.CodeFragment

create a new CodeFragment

CodeFragmentType - class net.mtu.eggplant.dbc.CodeFragmentType.

Represents a type of assertion.

CodeGenerator - class net.mtu.eggplant.dbc.CodeGenerator.

CodeModification - class net.mtu.eggplant.dbc.CodeModification.

Used for representing a modification to code, rather than just a chunck of code to be inserted.

CodeModification(CodePoint, String, String, CodeFragmentType) - Constructor for class net.mtu.eggplant.dbc.CodeModification

CodePoint - class net.mtu.eggplant.dbc.CodePoint.

CodePoint(int, int) - Constructor for class net.mtu.eggplant.dbc.CodePoint

CodePointPair - class net.mtu.eggplant.dbc.CodePointPair.

CodePointPair(CodePoint, CodePoint) - Constructor for class net.mtu.eggplant.dbc.CodePointPair

Configuration - class net.mtu.eggplant.dbc.Configuration.

Holds all the option values.

Configuration() - Constructor for class net.mtu.eggplant.dbc.Configuration

Configuration.SourceCompatibilityEnum - class net.mtu.eggplant.dbc.Configuration.SourceCompatibilityEnum.

Enum for which version of source compatibility we're using.

caseSList() - Method in class net.mtu.eggplant.dbc.Java14Recognizer

caseSList() - Method in class net.mtu.eggplant.dbc.JavaRecognizer

casesGroup() - Method in class net.mtu.eggplant.dbc.Java14Recognizer

casesGroup() - Method in class net.mtu.eggplant.dbc.JavaRecognizer

classBlock(String, boolean, boolean, Token) - Method in class net.mtu.eggplant.dbc.Java14Recognizer

classBlock(String, boolean, boolean, Token) - Method in class net.mtu.eggplant.dbc.JavaRecognizer

This is the body of a class or interface.

classDefinition() - Method in class net.mtu.eggplant.dbc.Java14Recognizer

classDefinition() - Method in class net.mtu.eggplant.dbc.JavaRecognizer

classForName(String) - Static method in class net.mtu.eggplant.dbc.AssertTools

Get the class object for this class name.

classTypeSpec() - Method in class net.mtu.eggplant.dbc.Java14Recognizer

classTypeSpec() - Method in class net.mtu.eggplant.dbc.JavaRecognizer

clearInvariants() - Method in class net.mtu.eggplant.dbc.JavaRecognizer

Clear the list of invariants for this class.

clearPostConditions() - Method in class net.mtu.eggplant.dbc.Java14Recognizer

clear out the list of postconditions.

clearPostConditions() - Method in class net.mtu.eggplant.dbc.JavaRecognizer

clear out the list of postconditions.

clearPreConditions() - Method in class net.mtu.eggplant.dbc.Java14Recognizer

clear out the list of preconditions.

clearPreConditions() - Method in class net.mtu.eggplant.dbc.JavaRecognizer

clear out the list of preconditions.

compareTo(Object) - Method in class net.mtu.eggplant.dbc.CodeFragment

Only compares to other CodeFragments.

compareTo(Object) - Method in class net.mtu.eggplant.dbc.CodeFragmentType

compareTo(Object) - Method in class net.mtu.eggplant.dbc.CodePoint

compoundStatement() - Method in class net.mtu.eggplant.dbc.Java14Recognizer

compoundStatement() - Method in class net.mtu.eggplant.dbc.JavaRecognizer

conditionalExpression() - Method in class net.mtu.eggplant.dbc.Java14Recognizer

conditionalExpression() - Method in class net.mtu.eggplant.dbc.JavaRecognizer

constant() - Method in class net.mtu.eggplant.dbc.Java14Recognizer

constant() - Method in class net.mtu.eggplant.dbc.JavaRecognizer

createAnonymousClassName() - Method in class net.mtu.eggplant.dbc.AssertClass

Create the name for the next anonymous class that is defined inside this class.

createDirectoryForPackage(String) - Method in class net.mtu.eggplant.dbc.Configuration

Take a package name that's passed in and turn it into a directory name and create the directories relative to the instrumented directory path.

createDummyConstructorClassName() - Method in class net.mtu.eggplant.dbc.AssertClass

Create the name for a dummy class for the next constructors pre conditions.

ctorHead() - Method in class net.mtu.eggplant.dbc.Java14Recognizer

ctorHead() - Method in class net.mtu.eggplant.dbc.JavaRecognizer

This is the header of a method.