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

G

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

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

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

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

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

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

generateAssertClassForInterface(AssertClass) - Static method in class net.mtu.eggplant.dbc.CodeGenerator

Assertions on interfaces are checked by using a delegate class.

generateAssertion(AssertToken) - Static method in class net.mtu.eggplant.dbc.CodeGenerator

This should be inserted right after the close of the javadoc comment.

generateConstructorAssertions(AssertMethod) - Static method in class net.mtu.eggplant.dbc.CodeGenerator

Generate the calls to pre, post and invariant conditions for a constructor.

generateInvariantCall(AssertClass) - Static method in class net.mtu.eggplant.dbc.CodeGenerator

This should be added at the start and end of all instance methods, except for private ones and should be at the end of constructors that aren't private.

generateInvariantMethod(AssertClass) - Static method in class net.mtu.eggplant.dbc.CodeGenerator

This should be inserted right at the end of a class, just before the closing curly.

generatePostConditionCall(AssertMethod) - Static method in class net.mtu.eggplant.dbc.CodeGenerator

generatePostConditionMethod(AssertMethod) - Static method in class net.mtu.eggplant.dbc.CodeGenerator

generatePreConditionCall(AssertMethod) - Static method in class net.mtu.eggplant.dbc.CodeGenerator

This code should be inserted right at the start of the method

generatePreConditionMethod(AssertMethod) - Static method in class net.mtu.eggplant.dbc.CodeGenerator

getAssertMethodVisibility() - Method in class net.mtu.eggplant.dbc.AssertMethod

Look at the mods list and determine what the visibility of the method that checks assertions should be.

getClassObjectForClass(String) - Static method in class net.mtu.eggplant.dbc.CodeGenerator

Convert a class name to a class object call.

getClose() - Method in class net.mtu.eggplant.dbc.AssertMethod

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

what code to insert

getCodePointOne() - Method in class net.mtu.eggplant.dbc.CodePointPair

getCodePointTwo() - Method in class net.mtu.eggplant.dbc.CodePointPair

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

getCondition() - Method in class net.mtu.eggplant.dbc.AssertToken

getCondition() - Method in class net.mtu.eggplant.dbc.InvariantCondition

getConfiguration() - Method in class net.mtu.eggplant.dbc.Symtab

getContainingClass() - Method in class net.mtu.eggplant.dbc.AssertMethod

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

getCurrentClass() - Method in class net.mtu.eggplant.dbc.Symtab

Accessor for the currnet class being instrumented.

getCurrentFile() - Method in class net.mtu.eggplant.dbc.Symtab

getCurrentMethod() - Method in class net.mtu.eggplant.dbc.Symtab

Get at the method that's currently being parsed.

getCurrentPackageName() - Method in class net.mtu.eggplant.dbc.Symtab

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

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

getEntrance() - Method in class net.mtu.eggplant.dbc.AssertMethod

getExitCode() - Static method in class net.mtu.eggplant.dbc.JonsAssert

Get the exit code.

getExits() - Method in class net.mtu.eggplant.dbc.AssertMethod

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

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

The Map of imports from the file this class is defined in.

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

getInstrumentedFilename(File, String) - Method in class net.mtu.eggplant.dbc.Configuration

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

The List of interfaces implemented/extended by this class/interface, in the order that they are declared on the implements line.

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

List of invariants for this class, ordered as they appear in the code.

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

get the invariants for this class.

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

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

where to insert the code

getMessage() - Method in class net.mtu.eggplant.dbc.AssertToken

getMessage() - Method in class net.mtu.eggplant.dbc.InvariantCondition

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

getMods() - Method in class net.mtu.eggplant.dbc.AssertMethod

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

getName() - Method in class net.mtu.eggplant.dbc.AssertMethod

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

getName() - Method in class net.mtu.eggplant.dbc.Configuration.SourceCompatibilityEnum

getObjectForParam(String, String) - Static method in class net.mtu.eggplant.dbc.CodeGenerator

Take paramName and turn it into an object.

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

getParams() - Method in class net.mtu.eggplant.dbc.AssertMethod

getPostConditions() - Method in class net.mtu.eggplant.dbc.AssertMethod

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

Get the list of postconditions that have been seen since the last clear.

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

Get the list of postconditions that have been seen since the last clear.

getPreConditions() - Method in class net.mtu.eggplant.dbc.AssertMethod

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

Get the list of preconditions that have been seen since the last clear.

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

Get the list of preconditions that have been seen since the last clear.

getReplaceText() - Method in class net.mtu.eggplant.dbc.CodeModification

getReturnType() - Method in class net.mtu.eggplant.dbc.AssertMethod

getSearchText() - Method in class net.mtu.eggplant.dbc.CodeModification

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

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

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

The Set of star imports from the file this class is defined in.

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

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

Get the symbol table object being used.

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

Get the symbol table object being used.

getSymtab() - Static method in class net.mtu.eggplant.dbc.JonsAssert

Get the symbol table.

getThrownExceptions() - Method in class net.mtu.eggplant.dbc.AssertMethod

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

what type of assertion is this.

getUniqueParams() - Method in class net.mtu.eggplant.dbc.AssertMethod

Get the unique parameters for this method.

getVisibility() - Method in class net.mtu.eggplant.dbc.AssertMethod

Look at the mods list and determine the visibility of this method.