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

A

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

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

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

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

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

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

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

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

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

ASSERT - Static variable in class net.mtu.eggplant.dbc.CodeFragmentType

ASSERT_BEHAVIOR - Static variable in class net.mtu.eggplant.dbc.AssertTools

what to do if an assertion violation is raised

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

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

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

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

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

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

AssertClass - class net.mtu.eggplant.dbc.AssertClass.

Object to represent an instrumented class.

AssertClass(String, String, boolean, AssertClass, boolean, String, List, Map, Set) - Constructor for class net.mtu.eggplant.dbc.AssertClass

If packageName is null, then it's in the default package.

AssertLexer - class net.mtu.eggplant.dbc.AssertLexer.

AssertLexer(InputStream) - Constructor for class net.mtu.eggplant.dbc.AssertLexer

AssertLexer(Reader) - Constructor for class net.mtu.eggplant.dbc.AssertLexer

AssertLexer(InputBuffer) - Constructor for class net.mtu.eggplant.dbc.AssertLexer

AssertLexer(LexerSharedInputState) - Constructor for class net.mtu.eggplant.dbc.AssertLexer

AssertLexerTokenTypes - interface net.mtu.eggplant.dbc.AssertLexerTokenTypes.

AssertMethod - class net.mtu.eggplant.dbc.AssertMethod.

Object that contains the data needed to generate instrumented code for a method.

AssertMethod(AssertClass, String, List, List, List, String, Set) - Constructor for class net.mtu.eggplant.dbc.AssertMethod

AssertToken - class net.mtu.eggplant.dbc.AssertToken.

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

AssertToken(String, String) - Constructor for class net.mtu.eggplant.dbc.AssertToken

AssertTools - class net.mtu.eggplant.dbc.AssertTools.

class of static helper methods for assertions.

AssertTools.MethodLock - class net.mtu.eggplant.dbc.AssertTools.MethodLock.

Used for locking methods.

AssertTools.MethodLock(String, Object, Thread) - Constructor for class net.mtu.eggplant.dbc.AssertTools.MethodLock

AssertionViolation - exception net.mtu.eggplant.dbc.AssertionViolation.

Exception thrown when an assertiong violation occurs.

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

AssertionViolation(String) - Constructor for class net.mtu.eggplant.dbc.AssertionViolation

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

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

addAsserts(List, Token) - Method in class net.mtu.eggplant.dbc.JavaRecognizer

add an assert.

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

Associate this CodeFragment with the current file begin parsed.

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

Add an exit to this method.

addImport(String, String) - Method in class net.mtu.eggplant.dbc.Symtab

Add to the list of imports for this class.

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

add invariants to this class

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

Adds this method to the list of methods defined on this class.

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

clear out the list of postconditions.

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

clear out the list of postconditions.

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

Add a precondition to the list of preconditions.

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

Add a precondition to the list of preconditions.

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

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

binary addition/subtraction (level 3)

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

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

bitwise or non-short-circuiting and (&) (level 7)

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

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

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

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

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

Called when an assert fails.

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

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

Handle assert or invariant conditions, if an invariant token is seen, clear the asserts, if an assert is seen, clear the invariants.

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

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