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

A

AbstractEventListener - Class in edu.ksu.cis.projects.bogor.module.event

AbstractEventListener() - Constructor for class edu.ksu.cis.projects.bogor.module.event.AbstractEventListener

AbstractEventNotifier - Class in edu.ksu.cis.projects.bogor.module.event

AbstractEventNotifier() - Constructor for class edu.ksu.cis.projects.bogor.module.event.AbstractEventNotifier

AbstractEventProvider - Class in edu.ksu.cis.projects.bogor.module.event

AbstractEventProvider() - Constructor for class edu.ksu.cis.projects.bogor.module.event.AbstractEventProvider

AbstractLocal - Class in edu.ksu.cis.projects.bogor.ast

AbstractLocal AST.

AbstractLocal(TypedId, boolean) - Constructor for class edu.ksu.cis.projects.bogor.ast.AbstractLocal

Default constructor.

AbstractProgressManager - Class in edu.ksu.cis.projects.bogor.module

AbstractProgressManager() - Constructor for class edu.ksu.cis.projects.bogor.module.AbstractProgressManager

AbstractStateEventProvider - Class in edu.ksu.cis.projects.bogor.module.state.event

AbstractStateEventProvider() - Constructor for class edu.ksu.cis.projects.bogor.module.state.event.AbstractStateEventProvider

AbstractValueEventProvider - Class in edu.ksu.cis.projects.bogor.module.value.event

AbstractValueEventProvider() - Constructor for class edu.ksu.cis.projects.bogor.module.value.event.AbstractValueEventProvider

Action - Class in edu.ksu.cis.projects.bogor.ast

The top level class for action AST.

Action() - Constructor for class edu.ksu.cis.projects.bogor.ast.Action

action - Variable in class edu.ksu.cis.projects.bogor.ast.ActionStatement

Holds the action.

action - Variable in class edu.ksu.cis.projects.bogor.ast.AtomicActionStatement

Holds the action.

Action() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

ACTION_DEF_EXT_OP_RETURN_TYPE - Static variable in interface edu.ksu.cis.projects.bogor.IBogorConfiguration

ACTION_RETURN - Static variable in class edu.ksu.cis.projects.bogor.ast.checker.Messages

ACTIONDEF - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

ActionExtension - Class in edu.ksu.cis.projects.bogor.ast

Represents an action extension.

ActionExtension(String, List<String>, List<TypedId>, BitSet, boolean) - Constructor for class edu.ksu.cis.projects.bogor.ast.ActionExtension

Default constructor.

ActionStatement - Class in edu.ksu.cis.projects.bogor.ast

The action statement AST.

ActionStatement(Action) - Constructor for class edu.ksu.cis.projects.bogor.ast.ActionStatement

Default constructor.

ACTIVE - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

add(long) - Method in class edu.ksu.cis.projects.trove.custom.LongList

add(E) - Method in class edu.ksu.cis.projects.trove.custom.UnionFindSet

add_escapes(String) - Method in exception edu.ksu.cis.projects.bogor.util.javacc.ParseException

Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.

addAll(ArrayList<IBacktrackingInfo>, IBacktrackingInfo[]) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

addAll(ArrayList<IBacktrackingInfo>, IBacktrackingInfo[]) - Method in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

addAll(Collection<? extends E>) - Method in class edu.ksu.cis.projects.trove.custom.UnionFindSet

addAllTo(Collection<E>, E) - Method in class edu.ksu.cis.projects.trove.custom.UnionFindSet

addArrayElementReadListener(IArrayElementReadListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultArrayEventNotifier

addArrayElementReadListener(IArrayElementReadListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addArrayElementReadListener(IArrayElementReadListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IArrayEventNotifier

addArrayElementWrittenListener(IArrayElementWrittenListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultArrayEventNotifier

addArrayElementWrittenListener(IArrayElementWrittenListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addArrayElementWrittenListener(IArrayElementWrittenListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IArrayEventNotifier

addArrayField(String, Type) - Method in class edu.ksu.cis.projects.bogor.symboltable.SymbolTable

Adds an array field.

addArrayFieldReadListener(IArrayFieldReadListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultArrayEventNotifier

addArrayFieldReadListener(IArrayFieldReadListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addArrayFieldReadListener(IArrayFieldReadListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IArrayEventNotifier

addArrayFieldWrittenListener(IArrayFieldWrittenListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultArrayEventNotifier

addArrayFieldWrittenListener(IArrayFieldWrittenListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addArrayFieldWrittenListener(IArrayFieldWrittenListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IArrayEventNotifier

addCatch(Catch) - Method in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

addDepthChangedListener(IDepthChangedListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultSearchEventNotifier

addDepthChangedListener(IDepthChangedListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

addDepthChangedListener(IDepthChangedListener) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.ISearchEventNotifier

addEnumConstant(String) - Method in class edu.ksu.cis.projects.bogor.type.EnumType

Adds an enum constant.

addEscapes(String) - Static method in error edu.ksu.cis.projects.bogor.util.javacc.TokenMgrError

Replaces unprintable characters by their espaced (or unicode escaped) equivalents in the given string

addExtValueStateChangedListener(IExtValueStateChangedListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultExtValueEventNotifier

addExtValueStateChangedListener(IExtValueStateChangedListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addExtValueStateChangedListener(IExtValueStateChangedListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IExtValueEventNotifier

addExtValueStateQueriedListener(IExtValueStateQueriedListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultExtValueEventNotifier

addExtValueStateQueriedListener(IExtValueStateQueriedListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addExtValueStateQueriedListener(IExtValueStateQueriedListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IExtValueEventNotifier

addField(String, Type, boolean) - Method in class edu.ksu.cis.projects.bogor.type.RecordType

Adds a field.

addGlobalVarReadListener(IGlobalVarReadListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultGlobalVarEventNotifier

addGlobalVarReadListener(IGlobalVarReadListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

addGlobalVarReadListener(IGlobalVarReadListener) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.IGlobalVarEventNotifier

addGlobalVarWrittenListener(IGlobalVarWrittenListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultGlobalVarEventNotifier

addGlobalVarWrittenListener(IGlobalVarWrittenListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

addGlobalVarWrittenListener(IGlobalVarWrittenListener) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.IGlobalVarEventNotifier

addInfo(int, int, int) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo

AdditiveExp() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

addLocalVarReadListener(ILocalVarReadListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

addLocalVarReadListener(ILocalVarReadListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultThreadEventNotifier

addLocalVarReadListener(ILocalVarReadListener) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.IThreadEventNotifier

addLocalVarWrittenListener(ILocalVarWrittenListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

addLocalVarWrittenListener(ILocalVarWrittenListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultThreadEventNotifier

addLocalVarWrittenListener(ILocalVarWrittenListener) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.IThreadEventNotifier

addLocation(Location) - Method in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

addLocationChangedListener(ILocationChangedListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

addLocationChangedListener(ILocationChangedListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultThreadEventNotifier

addLocationChangedListener(ILocationChangedListener) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.IThreadEventNotifier

addLockLockedListener(ILockLockedListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultLockEventNotifier

addLockLockedListener(ILockLockedListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addLockLockedListener(ILockLockedListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.ILockEventNotifier

addLockNotifiedAllListener(ILockNotifiedAllListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultLockEventNotifier

addLockNotifiedAllListener(ILockNotifiedAllListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addLockNotifiedAllListener(ILockNotifiedAllListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.ILockEventNotifier

addLockNotifiedListener(ILockNotifiedListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultLockEventNotifier

addLockNotifiedListener(ILockNotifiedListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addLockNotifiedListener(ILockNotifiedListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.ILockEventNotifier

addLockUnlockedListener(ILockUnlockedListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultLockEventNotifier

addLockUnlockedListener(ILockUnlockedListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addLockUnlockedListener(ILockUnlockedListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.ILockEventNotifier

addLockUnwaitListener(ILockUnwaitListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultLockEventNotifier

addLockUnwaitListener(ILockUnwaitListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addLockUnwaitListener(ILockUnwaitListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.ILockEventNotifier

addLockWaitListener(ILockWaitListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultLockEventNotifier

addLockWaitListener(ILockWaitListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addLockWaitListener(ILockWaitListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.ILockEventNotifier

addRecordFieldReadListener(IRecordFieldReadListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultRecordEventNotifier

addRecordFieldReadListener(IRecordFieldReadListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addRecordFieldReadListener(IRecordFieldReadListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IRecordEventNotifier

addRecordFieldWrittenListener(IRecordFieldWrittenListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultRecordEventNotifier

addRecordFieldWrittenListener(IRecordFieldWrittenListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addRecordFieldWrittenListener(IRecordFieldWrittenListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IRecordEventNotifier

addResolution(String, Exp) - Method in class edu.ksu.cis.projects.bogor.ast.transform.ExpBindingResolver

addStateEventNotifier(IStateEventListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

addStateEventNotifier(IStateEventListener) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.IStateEventNotifier

addThreadCreatedListener(IThreadCreatedListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

addThreadCreatedListener(IThreadCreatedListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultThreadEventNotifier

addThreadCreatedListener(IThreadCreatedListener) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.IThreadEventNotifier

addThreadDiedListener(IThreadDiedListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

addThreadDiedListener(IThreadDiedListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultThreadEventNotifier

addThreadDiedListener(IThreadDiedListener) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.IThreadEventNotifier

addThreadEnterFunction(IThreadEnterFunctionListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

addThreadEnterFunction(IThreadEnterFunctionListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultThreadEventNotifier

addThreadEnterFunction(IThreadEnterFunctionListener) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.IThreadEventNotifier

addThreadExitFunction(IThreadExitFunctionListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

addThreadExitFunction(IThreadExitFunctionListener) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultThreadEventNotifier

addThreadExitFunction(IThreadExitFunctionListener) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.IThreadEventNotifier

addTo(E, E) - Method in class edu.ksu.cis.projects.trove.custom.UnionFindSet

addToTable(IntObjectTable<IntSet>, int, int) - Method in class edu.ksu.cis.projects.bogor.analyses.CFG

addToWorkList(IntraFSMAnalysis.WorkListEntry) - Method in class edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis

addValueEventListener(IValueEventListener) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

addValueEventListener(IValueEventListener) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IValueEventNotifier

adjustBeginLineColumn(int, int) - Method in class edu.ksu.cis.projects.bogor.util.javacc.JavaCharStream

Method to adjust line and column numbers for the start of a token.

AdjustBuffSize() - Method in class edu.ksu.cis.projects.bogor.util.javacc.JavaCharStream

adjustSuperRecords(RecordDefinition) - Method in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

adjustValue(K, int) - Method in class edu.ksu.cis.projects.trove.custom.ObjectIntTable

advise(ISchedulingStrategyContext, Transformation[], ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

advise(int, Node, IValue[], ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

[Document Pending]

advise(ISchedulingStrategyContext, int[], Transformation[], ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

[Document Pending]

advise(ISchedulingStrategyContext, Transformation[], ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

advise(ISchedulingStrategyContext, int[], Transformation[], ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

advise(int, Node, IValue[], ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

advise(ISchedulingStrategyContext, Transformation[], ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.ISchedulingStrategist

Choose among non-deterministic transformations to take immediately following the control of transfer from one FSM location to another.

advise(ISchedulingStrategyContext, int[], Transformation[], ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.ISchedulingStrategist

Choose among several enabled transformations at the beginning of a step.

advise(int, Node, IValue[], ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.ISchedulingStrategist

Choose among several possible values for an expression.

ALL_AS_ERRORS_ID - Static variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

allAsErrors - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

analysisTable - Variable in class edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis

Mapping of a label (CFG location) to the working set of the "thing" being calculated (live variables, available expressions, etc).

analyze() - Method in class edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis

Perform Phase II of the MDF algorithm.

analyze() - Method in class edu.ksu.cis.projects.bogor.analyses.LiveVariableAnalysis

analyzeBlockTransformation(BlockTransformation, Set<String>) - Method in class edu.ksu.cis.projects.bogor.analyses.LiveVariableAnalysis

analyzeInvokeTransformation(InvokeTransformation, Set<String>) - Method in class edu.ksu.cis.projects.bogor.analyses.LiveVariableAnalysis

analyzeLocation(int, Set<L>) - Method in class edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis

Compute an analysis-specific "active" set of variables given a known active input set and a program location.

analyzeLocation(int, Set<String>) - Method in class edu.ksu.cis.projects.bogor.analyses.LiveVariableAnalysis

analyzeNextState(NextState, Set<String>) - Method in class edu.ksu.cis.projects.bogor.analyses.LiveVariableAnalysis

AND - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

AndExp() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

ANY_THROWABLE - Static variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

append(boolean) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

append(byte) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

append(char) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

append(short) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

append(int) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

append(long) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

append(long, int) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

append(float) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

append(double) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

append(byte[]) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

append(BitBuffer) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

applicationIsInvocation(Exp, String) - Method in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

Apply() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

ApplyExp - Class in edu.ksu.cis.projects.bogor.ast

Apply exp AST.

ApplyExp(String, List<? extends Exp>) - Constructor for class edu.ksu.cis.projects.bogor.ast.ApplyExp

Default constructor.

ARITHMETIC_EXCEPTION_ID - Static variable in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

ArithmeticBogorException - Exception in edu.ksu.cis.projects.bogor.module.throwable

Represents an arithmetic exception in a model.

ArithmeticBogorException() - Constructor for exception edu.ksu.cis.projects.bogor.module.throwable.ArithmeticBogorException

ArithmeticBuiltinType() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

arithmeticException - Variable in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

ARRAY_BOUNDS_EXCEPTION_ID - Static variable in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

ArrayAccessExp - Class in edu.ksu.cis.projects.bogor.ast

Array access exp AST.

ArrayAccessExp(Exp, Exp) - Constructor for class edu.ksu.cis.projects.bogor.ast.ArrayAccessExp

Default constructor.

arrayBoundsException - Variable in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

arrayElementRead(int, IArrayValue, int, IValue) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IArrayElementReadListener

arrayElementReadListeners - Variable in class edu.ksu.cis.projects.bogor.module.value.event.DefaultArrayEventNotifier

arrayElementWritten(int, IArrayValue, int, IValue, IValue) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IArrayElementWrittenListener

arrayElementWrittenListeners - Variable in class edu.ksu.cis.projects.bogor.module.value.event.DefaultArrayEventNotifier

arrayFieldNameMap - Variable in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

arrayFieldRead(int, IArrayValue, int, IValue) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IArrayFieldReadListener

arrayFieldReadListeners - Variable in class edu.ksu.cis.projects.bogor.module.value.event.DefaultArrayEventNotifier

arrayFieldTypes - Variable in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

arrayFieldWritten(int, IArrayValue, int, IValue, IValue) - Method in interface edu.ksu.cis.projects.bogor.module.value.event.IArrayFieldWrittenListener

arrayFieldWrittenListeners - Variable in class edu.ksu.cis.projects.bogor.module.value.event.DefaultArrayEventNotifier

ArrayListManager - Class in edu.ksu.cis.projects.bogor.util

ArrayListManager() - Constructor for class edu.ksu.cis.projects.bogor.util.ArrayListManager

ArrayType - Class in edu.ksu.cis.projects.bogor.type

Represents an array type.

ArrayType(Type, int) - Constructor for class edu.ksu.cis.projects.bogor.type.ArrayType

Default constructor.

ASSERT - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

AssertAction - Class in edu.ksu.cis.projects.bogor.ast

Assert action AST.

AssertAction(Exp) - Constructor for class edu.ksu.cis.projects.bogor.ast.AssertAction

Default constructor.

assertInstanceof(Collection<?>, Class) - Static method in class edu.ksu.cis.projects.bogor.util.Util

Asserts elements of a collection as instanceof a class.

ASSERTION_FAILED_CODE - Static variable in interface edu.ksu.cis.projects.bogor.module.ISearcher

The error code for assertion failure.

AssertionBogorException - Exception in edu.ksu.cis.projects.bogor.module.throwable

Represents an assertion exception in a model.

AssertionBogorException() - Constructor for exception edu.ksu.cis.projects.bogor.module.throwable.AssertionBogorException

assertNonNull(Object[]) - Static method in class edu.ksu.cis.projects.bogor.util.Util

Asserts non-null.

assertNonNull(Object[][]) - Static method in class edu.ksu.cis.projects.bogor.util.Util

Asserts non-null.

ASSIGN - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

AssignAction - Class in edu.ksu.cis.projects.bogor.ast

Assign action AST.

AssignAction(LValueExp, Exp) - Constructor for class edu.ksu.cis.projects.bogor.ast.AssignAction

Default constructor.

assignExpToNewLocal(Exp, ExpBindingResolver, ASTType) - Method in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

ASSUME - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

AssumeAction - Class in edu.ksu.cis.projects.bogor.ast

Assume action AST.

AssumeAction(Exp) - Constructor for class edu.ksu.cis.projects.bogor.ast.AssumeAction

Default constructor.

ASTArrayType - Class in edu.ksu.cis.projects.bogor.ast

Array type AST.

ASTArrayType(ASTType, int) - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTArrayType

Default constructor.

ASTBooleanType - Class in edu.ksu.cis.projects.bogor.ast

Boolean type AST.

ASTBooleanType() - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTBooleanType

Default constructor.

ASTDoubleType - Class in edu.ksu.cis.projects.bogor.ast

Double type AST.

ASTDoubleType() - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTDoubleType

Default constructor.

ASTExtType - Class in edu.ksu.cis.projects.bogor.ast

Extension Type AST.

ASTExtType(String, List<? extends ASTType>) - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTExtType

Default constructor.

ASTFloatType - Class in edu.ksu.cis.projects.bogor.ast

Float type AST.

ASTFloatType() - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTFloatType

Default constructor.

ASTFunType - Class in edu.ksu.cis.projects.bogor.ast

Functional type AST.

ASTFunType(List<? extends ASTType>, ASTType) - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTFunType

Default constructor.

ASTIntRangeType - Class in edu.ksu.cis.projects.bogor.ast

Int range type AST.

ASTIntRangeType(IntLiteral, IntLiteral, boolean) - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTIntRangeType

Default constructor.

ASTIntType - Class in edu.ksu.cis.projects.bogor.ast

Int type AST.

ASTIntType() - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTIntType

Default constructor.

ASTLockType - Class in edu.ksu.cis.projects.bogor.ast

Lock type AST.

ASTLockType() - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTLockType

Default constructor.

ASTLongRangeType - Class in edu.ksu.cis.projects.bogor.ast

Long range type AST.

ASTLongRangeType(LongLiteral, LongLiteral, boolean) - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTLongRangeType

Default constructor.

ASTLongType - Class in edu.ksu.cis.projects.bogor.ast

Long type AST.

ASTLongType() - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTLongType

Default constructor.

ASTStringType - Class in edu.ksu.cis.projects.bogor.ast

String type AST.

ASTStringType() - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTStringType

Default constructor.

ASTThreadIdType - Class in edu.ksu.cis.projects.bogor.ast

Thread id type AST.

ASTThreadIdType() - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTThreadIdType

Default constructor.

ASTType - Class in edu.ksu.cis.projects.bogor.ast

Top level class for type AST.

ASTType() - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTType

ASTVisitor - Class in edu.ksu.cis.projects.bogor.ast

This class provides a visitor pattern on the AST.

ASTVisitor() - Constructor for class edu.ksu.cis.projects.bogor.ast.ASTVisitor

at - Variable in class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

at - Variable in class edu.ksu.cis.projects.bogor.module.DefaultActionTaker

at - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

at - Variable in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

AT - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

ATOMIC - Static variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

ATOMIC - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

ATOMIC_CATCH_LOC_ID - Static variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

ATOMIC_CATCH_LOCAL_ID - Static variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

ATOMIC_IMODULE_CLASS - Static variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

AtomicActionStatement - Class in edu.ksu.cis.projects.bogor.ast

The atomic (shorthand) action statement AST.

AtomicActionStatement(Action) - Constructor for class edu.ksu.cis.projects.bogor.ast.AtomicActionStatement

Default constructor.

AtomicExp - Class in edu.ksu.cis.projects.bogor.ast

Atomic exp AST.

AtomicExp(Exp) - Constructor for class edu.ksu.cis.projects.bogor.ast.AtomicExp

Default constructor.

AtomicModule - Class in edu.ksu.cis.projects.bogor.ext.atomicity

AtomicModule() - Constructor for class edu.ksu.cis.projects.bogor.ext.atomicity.AtomicModule

AtomicStatement - Class in edu.ksu.cis.projects.bogor.ast

The atomic statement AST.

AtomicStatement(Statement) - Constructor for class edu.ksu.cis.projects.bogor.ast.AtomicStatement

Default constructor.

augmentState(IState, BitBuffer) - Method in interface edu.ksu.cis.projects.bogor.module.IStateAugmenter

Manipulate the bit vector to encode some extra information.

augmentState(IState, BitBuffer) - Method in interface edu.ksu.cis.projects.bogor.module.IStateFactory

Write extra components of state space into bitwise representation.

augmentState(IState, BitBuffer) - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultStateFactory

B

backtrack(IState) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.CompoundBacktrackingInfo

backtrack(IState) - Method in interface edu.ksu.cis.projects.bogor.module.backtrack.IBacktrackingInfo

backtrack() - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

[Document Pending]

backtrack() - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

backtrack(IState, ArrayList<IBacktrackingInfo>) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

backtrack() - Method in interface edu.ksu.cis.projects.bogor.module.ISearcher

Backtracks and executes the next unexecuted transformation sibling (if any).

backtrackingInfos - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

backtrackToTransitionBeginning(IState, ArrayList<IBacktrackingInfo>) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

Rolls back the state to the moment just before the most recent transition.

backup(int) - Method in class edu.ksu.cis.projects.bogor.util.javacc.JavaCharStream

backward() - Method in class edu.ksu.cis.projects.bogor.module.event.AbstractEventProvider

backward() - Method in interface edu.ksu.cis.projects.bogor.module.event.IEventProvider

BAD_FORMAT - Static variable in class edu.ksu.cis.projects.bogor.module.ConfigurationMessages

BadMonitorBogorException - Exception in edu.ksu.cis.projects.bogor.module.throwable

Represents a bad monitor exception in a model.

BadMonitorBogorException() - Constructor for exception edu.ksu.cis.projects.bogor.module.throwable.BadMonitorBogorException

BANG - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

baseType - Variable in class edu.ksu.cis.projects.bogor.module.value.UniformValueArray

bc - Variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

bc - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

bc - Variable in class edu.ksu.cis.projects.bogor.module.state.DefaultStateFactory

Holds the Bogor configuration for this state factory.

bc - Variable in class edu.ksu.cis.projects.bogor.module.value.DefaultValueFactory

Holds the Bogor configuration.

BEGIN_ATOMIC - Static variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

beginAtomic(IExtArguments) - Method in class edu.ksu.cis.projects.bogor.ext.atomicity.AtomicModule

beginColumn - Variable in class edu.ksu.cis.projects.bogor.util.javacc.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

beginLine - Variable in class edu.ksu.cis.projects.bogor.util.javacc.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

BeginToken() - Method in class edu.ksu.cis.projects.bogor.util.javacc.JavaCharStream

bif - Variable in class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

bif - Variable in class edu.ksu.cis.projects.bogor.module.DefaultActionTaker

bif - Variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

[Document Pending]

bif - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

bif - Variable in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

BinaryExp - Class in edu.ksu.cis.projects.bogor.ast

Binary exp AST.

BinaryExp(BinaryOp, Exp, Exp) - Constructor for class edu.ksu.cis.projects.bogor.ast.BinaryExp

Default constructor.

BinaryOp - Enum in edu.ksu.cis.projects.bogor.ast

This class contains the definition of binary operators.

BIND - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

bindingMap - Variable in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

bindingsResolver - Variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowAtomicExpCompiler

Installed only for duration of call to {@link #compileExp(HighToLowBIRCompiler, Exp).

bindingsResolver - Variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowNonAtomicExpCompiler

Installed only for duration of call to {@link #compileExp(HighToLowBIRCompiler, Exp).

BIRUnitSystemTransformer - Class in edu.ksu.cis.projects.bogor.ast.transform

BIRUnitSystemTransformer() - Constructor for class edu.ksu.cis.projects.bogor.ast.transform.BIRUnitSystemTransformer

BIT_AND - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

BIT_OR - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

BIT_XOR - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

BitBuffer - Class in edu.ksu.cis.projects.bogor.util

BitBuffer(int) - Constructor for class edu.ksu.cis.projects.bogor.util.BitBuffer

BitBuffer() - Constructor for class edu.ksu.cis.projects.bogor.util.BitBuffer

bitsPerCreatedTypeId - Variable in class edu.ksu.cis.projects.bogor.module.DefaultStateManager

bitsPerLocDesc - Variable in class edu.ksu.cis.projects.bogor.module.DefaultStateManager

bitsPerLockCount - Variable in class edu.ksu.cis.projects.bogor.module.DefaultStateManager

bitsPerNonPrimitiveValue - Variable in class edu.ksu.cis.projects.bogor.module.DefaultStateManager

bitsPerThreadId - Variable in class edu.ksu.cis.projects.bogor.module.DefaultStateManager

BlockStatement - Class in edu.ksu.cis.projects.bogor.ast

The block (sequence of statements) statement AST.

BlockStatement(List<? extends Statement>) - Constructor for class edu.ksu.cis.projects.bogor.ast.BlockStatement

Default constructor.

BlockTransformation - Class in edu.ksu.cis.projects.bogor.ast

Block transformation AST.

BlockTransformation(boolean, boolean, List<? extends Action>, NextState) - Constructor for class edu.ksu.cis.projects.bogor.ast.BlockTransformation

Default constructor.

BlockTransformation(Exp, boolean, boolean, List<? extends Action>, NextState) - Constructor for class edu.ksu.cis.projects.bogor.ast.BlockTransformation

Constructor with expression.

Bogor - Class in edu.ksu.cis.projects.bogor

Main entry point for command-line Bogor.

Bogor() - Constructor for class edu.ksu.cis.projects.bogor.Bogor

BogorError - Error in edu.ksu.cis.projects.bogor.module.throwable

Represents a Bogor error.

BogorError() - Constructor for error edu.ksu.cis.projects.bogor.module.throwable.BogorError

BogorError(String) - Constructor for error edu.ksu.cis.projects.bogor.module.throwable.BogorError

BogorException - Exception in edu.ksu.cis.projects.bogor.module.throwable

Represents a Bogor exception.

BogorException() - Constructor for exception edu.ksu.cis.projects.bogor.module.throwable.BogorException

BOGORID - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

BogorParser - Class in edu.ksu.cis.projects.bogor.parser

BogorParser(InputStream) - Constructor for class edu.ksu.cis.projects.bogor.parser.BogorParser

BogorParser(Reader) - Constructor for class edu.ksu.cis.projects.bogor.parser.BogorParser

BogorParser(BogorParserTokenManager) - Constructor for class edu.ksu.cis.projects.bogor.parser.BogorParser

BogorParserConstants - Interface in edu.ksu.cis.projects.bogor.parser

BogorParserTokenManager - Class in edu.ksu.cis.projects.bogor.parser

BogorParserTokenManager(JavaCharStream) - Constructor for class edu.ksu.cis.projects.bogor.parser.BogorParserTokenManager

BogorParserTokenManager(JavaCharStream, int) - Constructor for class edu.ksu.cis.projects.bogor.parser.BogorParserTokenManager

BOOLEAN - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

BooleanConstant - Class in edu.ksu.cis.projects.bogor.ast

Boolean constant AST.

BooleanConstant(String, boolean) - Constructor for class edu.ksu.cis.projects.bogor.ast.BooleanConstant

Default constructor.

BooleanConstant(String, boolean, ASTType) - Constructor for class edu.ksu.cis.projects.bogor.ast.BooleanConstant

Default constructor.

BooleanLiteral - Class in edu.ksu.cis.projects.bogor.ast

Boolean literal AST.

BooleanLiteral(boolean) - Constructor for class edu.ksu.cis.projects.bogor.ast.BooleanLiteral

Default constructor.

BooleanType - Class in edu.ksu.cis.projects.bogor.type

Represents the boolean type.

bottom - Variable in class edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis

First working set to give to labels which are not in the "extremal" labels set, E .

boxedValue - Variable in class edu.ksu.cis.projects.bogor.ast.checker.Checker.CheckValueResult

An Object instance is used as a valuation of "null".

BREADTH_FIRST - Static variable in class edu.ksu.cis.projects.bogor.module.state.StateValueVisitor

bufcolumn - Variable in class edu.ksu.cis.projects.bogor.util.javacc.JavaCharStream

buffer - Variable in class edu.ksu.cis.projects.bogor.util.javacc.JavaCharStream

bufline - Variable in class edu.ksu.cis.projects.bogor.util.javacc.JavaCharStream

bufpos - Variable in class edu.ksu.cis.projects.bogor.util.javacc.JavaCharStream

buildMessage(String, String[]) - Static method in class edu.ksu.cis.projects.bogor.util.FileMessage

Builds message using MessageFormat.

buildMessage(String, String, String[]) - Static method in class edu.ksu.cis.projects.bogor.util.FileMessage

Builds message using MessageFormat.

buildMessage(int, int, String, String, String[]) - Static method in class edu.ksu.cis.projects.bogor.util.FileMessage

Builds message using MessageFormat with line and column numbers info.

buildMessage(int, int, String, String[]) - Static method in class edu.ksu.cis.projects.bogor.util.FileMessage

Builds message using MessageFormat with line and column numbers info.

BuiltinType() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

BUNDLED_SCHEDULE_FILENAME - Static variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

C

CAST_EXCEPTION_ID - Static variable in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

CastBogorException - Exception in edu.ksu.cis.projects.bogor.module.throwable

Represents a cast exception in a model.

CastBogorException() - Constructor for exception edu.ksu.cis.projects.bogor.module.throwable.CastBogorException

castException - Variable in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

CastExp - Class in edu.ksu.cis.projects.bogor.ast

Cast exp AST.

CastExp(ASTType, Exp) - Constructor for class edu.ksu.cis.projects.bogor.ast.CastExp

Default constructor.

CastExp() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

CastLookahead() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

Catch - Class in edu.ksu.cis.projects.bogor.ast

Catch AST.

Catch(boolean, String, String, List<String>, NextState) - Constructor for class edu.ksu.cis.projects.bogor.ast.Catch

Default constructor.

Catch() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

CATCH - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

catches - Variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

cew - Variable in class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

cew - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

CFG - Class in edu.ksu.cis.projects.bogor.analyses

CFG(FSMSymbolTable) - Constructor for class edu.ksu.cis.projects.bogor.analyses.CFG

cfg - Variable in class edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis

Flow graph.

changesMade - Variable in class edu.ksu.cis.projects.bogor.ast.transform.DefaultTransformSystemResult

CHARACTER_LITERAL - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

check(SymbolTable) - Method in class edu.ksu.cis.projects.bogor.ast.checker.Checker

Checks a BIR system.

check(SymbolTable, TypeChecker) - Method in class edu.ksu.cis.projects.bogor.ast.checker.LiveSetChecker

CHECK_BACKTRACK_ID - Static variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

checkBacktrack - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

checkCurrentInvokeTransformation(int, int) - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultState

checkedInstanceCache - Variable in class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

Cache of singleton instances created by DefaultBogorConfiguration.createCheckedInstance(Class, String, Collection).

Checker - Class in edu.ksu.cis.projects.bogor.ast.checker

This class is the main class for BIR well-formed checker.

Checker() - Constructor for class edu.ksu.cis.projects.bogor.ast.checker.Checker

Default constructor.

Checker.CheckValueResult - Class in edu.ksu.cis.projects.bogor.ast.checker

Checks a value.

Checker.CheckValueResult(Object, Type) - Constructor for class edu.ksu.cis.projects.bogor.ast.checker.Checker.CheckValueResult

checkExceptions() - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

checkExp(Exp, boolean, boolean, Map<String, Type>, TypeChecker, SymbolTable, FSMSymbolTable) - Static method in class edu.ksu.cis.projects.bogor.ast.checker.ExpChecker

Calculate the type of an expression.

checkInstanceof(Collection<?>, Class) - Static method in class edu.ksu.cis.projects.bogor.util.Util

Deterines whether all elements of a collection belong to a certain class.

checkInstanceof(Object[], Class) - Static method in class edu.ksu.cis.projects.bogor.util.Util

Deterines whether all elements of an array belong to a certain class.

checkInvariants() - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

checkRange(Type, Type, IValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultActionTaker

checkRange(Type, IValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

CHOOSE - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

ChooseStatement - Class in edu.ksu.cis.projects.bogor.ast

The choose statement AST.

ChooseStatement(List<? extends Exp>, List<? extends Statement>, Statement) - Constructor for class edu.ksu.cis.projects.bogor.ast.ChooseStatement

Default constructor.

CIRCULAR_EXTENSION - Static variable in class edu.ksu.cis.projects.bogor.ast.checker.Messages

CLASS_NOT_FOUND - Static variable in class edu.ksu.cis.projects.bogor.module.ConfigurationMessages

className - Variable in class edu.ksu.cis.projects.bogor.symboltable.ExtSymbolTable

The fully qualified Java class name of the module that implements this extension.

clear() - Method in class edu.ksu.cis.projects.trove.custom.IntObjectTable

clear() - Method in class edu.ksu.cis.projects.trove.custom.LongList

clear() - Method in class edu.ksu.cis.projects.trove.custom.LongObjectTable

clear() - Method in class edu.ksu.cis.projects.trove.custom.ObjectIntTable

clear() - Method in class edu.ksu.cis.projects.trove.custom.UnionFindSet

clone() - Method in class edu.ksu.cis.projects.bogor.ast.AbstractLocal

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Action

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ActionExtension

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ActionStatement

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ApplyExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ArrayAccessExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.AssertAction

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.AssignAction

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.AssumeAction

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTArrayType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTBooleanType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTDoubleType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTExtType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTFloatType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTFunType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTIntRangeType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTIntType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTLockType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTLongRangeType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTLongType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTStringType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTThreadIdType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ASTType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.AtomicActionStatement

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.AtomicExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.AtomicStatement

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.BinaryExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.BlockStatement

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.BlockTransformation

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.BooleanConstant

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.BooleanLiteral

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.CastExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Catch

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ChooseStatement

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ConditionalExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Constant

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ConstantDefinition

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Definition

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.DoubleConstant

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.DoubleLiteral

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.EnumDefinition

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ExitThreadAction

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Exp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ExpAction

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ExpExtension

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Extension

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ExtensionDefinition

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ExtExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Field

clone() - Method in class edu.ksu.cis.projects.bogor.ast.FieldAccessExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.FloatConstant

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.FloatLiteral

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.FSM

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Fun

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Global

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.GotoNextState

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.IdExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.IdPrintArg

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.IdType

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.IfStatement

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.InitialValue

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.InstanceofExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.IntConstant

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.IntLiteral

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.InvokeAction

clone() - Method in class edu.ksu.cis.projects.bogor.ast.InvokeExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.InvokeTransformation

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.KindofExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.LetExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Literal

This method is already implied by the IASTValue interface, but the Sun java compiler gets confused about visibility if we don't explicitly declare it.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.LiteralExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.LiveSet

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Local

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Location

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.LockAction

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.LockTestExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.LongConstant

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.LongLiteral

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.LValueExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.NewArrayExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.NewLockExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.NewRecordExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.NextState

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Node

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.NullLiteral

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Param

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ParenExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.PrintAction

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.PrintArg

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.RecordDefinition

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ReturnNextState

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ReturnStatement

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.SkipStatement

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.StartThreadExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Statement

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.StringConstant

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.StringLiteral

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.StringPrintArg

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.System

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.SystemMember

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ThreadTestExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.ThrowAction

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.Transformation

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.TryCatchStatement

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.TypeAliasDefinition

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.TypedId

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.TypeExtension

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.UnaryExp

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.VirtualTableDefinition

Clones this object (deep clone); including location info.

clone() - Method in class edu.ksu.cis.projects.bogor.ast.WhileStatement

Clones this object (deep clone); including location info.

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.CompoundBacktrackingInfo

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.backtrack.IBacktrackingInfo

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.backtrack.IExceptionBacktrackingInfo.IExceptionKilledThreadInfo

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.ISchedulingStrategyInfo

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultState

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultThreadStore

Deep clone this thread store.

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.state.IState

Deep clone this state.

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultArrayValue

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultDoubleValue

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultExpASTValue

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultFloatValue

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultIntValue

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultLockValue

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultLongValue

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultNullValue

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultRecordValue

clone(Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultStringValue

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IArrayValue

Override to specialize return type.

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IComparablePrimitiveExtValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IDoubleValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IExpASTValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IFloatValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IIntegralValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IIntValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.ILockValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.ILongValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.INonPrimitiveExtValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.INonPrimitiveValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.INullValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IPrimitiveExtValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IPrimitiveValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IRealValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IRecordValue

Override to specialize return type.

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IStringValue

Override to specialize return type

clone(Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IValue

Deep clone this value.

clone(boolean, Map<Object, Object>) - Method in interface edu.ksu.cis.projects.bogor.module.value.IValueArray

Clone this value array.

clone(boolean, Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.UniformValueArray

clone(boolean, Map<Object, Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.VariedValueArray

clone() - Method in class edu.ksu.cis.projects.trove.custom.IntObjectTable

clone() - Method in class edu.ksu.cis.projects.trove.custom.LongList

clone() - Method in class edu.ksu.cis.projects.trove.custom.LongObjectTable

clone() - Method in class edu.ksu.cis.projects.trove.custom.ObjectIntTable

coercedType - Variable in class edu.ksu.cis.projects.bogor.ast.InitialValue

Holds the optional coerced type.

CoercedType() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

collectDefLocalVar(Action, Set<String>) - Method in class edu.ksu.cis.projects.bogor.analyses.LocalVariablesCollector

collectLocalVars(Node, Set<String>) - Method in class edu.ksu.cis.projects.bogor.analyses.LocalVariablesCollector

collectUseLocalVars(Action, Set<String>) - Method in class edu.ksu.cis.projects.bogor.analyses.LocalVariablesCollector

COLON - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

column - Variable in class edu.ksu.cis.projects.bogor.util.javacc.JavaCharStream

COMMA - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

compact() - Method in class edu.ksu.cis.projects.trove.custom.IntObjectTable

compact() - Method in class edu.ksu.cis.projects.trove.custom.LongObjectTable

compact() - Method in class edu.ksu.cis.projects.trove.custom.ObjectIntTable

compare(IValueComparator, IComparableNonPrimitiveExtValue) - Method in interface edu.ksu.cis.projects.bogor.module.value.IComparableNonPrimitiveExtValue

Compares this value with another value using a given value comparator.

compare(IValueComparator, IComparablePrimitiveExtValue) - Method in interface edu.ksu.cis.projects.bogor.module.value.IComparablePrimitiveExtValue

Compares this value with another value using a given value comparator.

compare(int, int) - Static method in class edu.ksu.cis.projects.bogor.util.Util

Compare two integers.

compare(long, long) - Static method in class edu.ksu.cis.projects.bogor.util.Util

Compare two longs.

compare(double, double) - Static method in class edu.ksu.cis.projects.bogor.util.Util

Compare two doubles.

compare(float, float) - Static method in class edu.ksu.cis.projects.bogor.util.Util

Compare two floats.

compareTo(IValue) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultArrayValue

compareTo(IValue) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultDoubleValue

compareTo(IValue) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultExpASTValue

compareTo(IValue) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultFloatValue

compareTo(IValue) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultIntValue

compareTo(IValue) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultLockValue

compareTo(IValue) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultLongValue

compareTo(IValue) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultNullValue

compareTo(IValue) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultRecordValue

compareTo(IValue) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultStringValue

compareTo(Object) - Method in class edu.ksu.cis.projects.bogor.util.FileMessage

compareValues(IValue, IValue) - Method in interface edu.ksu.cis.projects.bogor.module.value.IValueComparator

Compares two values.

compileExp(HighToLowBIRCompiler, Exp, ExpBindingResolver, Wrapper<Boolean>) - Method in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowAtomicExpCompiler

compileExp(Exp, ExpBindingResolver) - Method in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowAtomicExpCompiler

compileExp(Exp) - Method in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

Return an expression which contains the final evaluation of exp, transformed to remove inline function application and respect the atomicity context of the current statment.

compileExp(HighToLowBIRCompiler, Exp, ExpBindingResolver, Wrapper<Boolean>) - Method in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowNonAtomicExpCompiler

compileExp(Exp, ExpBindingResolver, Wrapper<Boolean>) - Method in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowNonAtomicExpCompiler

compileExp(HighToLowBIRCompiler, Exp, ExpBindingResolver, Wrapper<Boolean>) - Method in interface edu.ksu.cis.projects.bogor.ast.transform.IExpCompiler

Do a pre-order traversal which yields an expression containing a low-level BIR expression containing the evaluation of e.

CompoundBacktrackingInfo - Class in edu.ksu.cis.projects.bogor.module.backtrack

An aggregator for backtracking actions.

CompoundBacktrackingInfo(Node, ISchedulingStrategyInfo, int, int, List<IBacktrackingInfo>) - Constructor for class edu.ksu.cis.projects.bogor.module.backtrack.CompoundBacktrackingInfo

compressedStateStateIdMap - Variable in class edu.ksu.cis.projects.bogor.module.DefaultStateManager

computeHashCode(K) - Method in class edu.ksu.cis.projects.trove.custom.ObjectIntTable

computePredAndSuccTable() - Method in class edu.ksu.cis.projects.bogor.analyses.CFG

ConditionalAndExp() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

ConditionalExp - Class in edu.ksu.cis.projects.bogor.ast

Binary exp AST.

ConditionalExp(Exp, Exp, Exp) - Constructor for class edu.ksu.cis.projects.bogor.ast.ConditionalExp

Default constructor.

ConditionalExp() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

ConditionalImplyExp() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

ConditionalOrExp() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

configuration - Variable in class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

CONFIGURATION_CLASSNAME_FILENAME - Static variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

CONFIGURATION_FILENAME - Static variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

ConfigurationMessages - Class in edu.ksu.cis.projects.bogor.module

CONFLICTING_INHERITED_FIELDS - Static variable in class edu.ksu.cis.projects.bogor.ast.checker.Messages

connect() - Method in class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.ext.atomicity.AtomicModule

connect() - Method in interface edu.ksu.cis.projects.bogor.IBogorConfiguration

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.AbstractProgressManager

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultActionTaker

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultClassLoader

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

[Document Pending]

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.DummyStateManagerProxy

[Document Pending]

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

[Document Pending]

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

[Document Pending]

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateManager

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

connect(IBogorConfiguration) - Method in interface edu.ksu.cis.projects.bogor.module.IModule

Connects this modules to other modules.

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultStateFactory

connect(IBogorConfiguration) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultValueFactory

CONST - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

Constant - Class in edu.ksu.cis.projects.bogor.ast

The top level class for constant AST.

Constant() - Constructor for class edu.ksu.cis.projects.bogor.ast.Constant

Constant() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

CONSTANT_KEY - Static variable in class edu.ksu.cis.projects.bogor.ast.FieldAccessExp

Holds the property key to access constant value.

ConstantDefinition - Class in edu.ksu.cis.projects.bogor.ast

Constant definition AST.

ConstantDefinition(String, List<? extends Constant>) - Constructor for class edu.ksu.cis.projects.bogor.ast.ConstantDefinition

Default constructor.

ConstIntExpEvaluator - Class in edu.ksu.cis.projects.bogor.ast.checker

Utility class to evaluate a very simple "const" or literal integer expression.

ConstIntExpEvaluator(SymbolTable) - Constructor for class edu.ksu.cis.projects.bogor.ast.checker.ConstIntExpEvaluator

ConstIntExpEvaluator.ConstIntExpEnforcer - Class in edu.ksu.cis.projects.bogor.ast.checker

ConstIntExpEvaluator.ConstIntExpEnforcer() - Constructor for class edu.ksu.cis.projects.bogor.ast.checker.ConstIntExpEvaluator.ConstIntExpEnforcer

containmentTest - Variable in class edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis

Abstract set containment operator used in MDF algorithm.

contains(int) - Method in class edu.ksu.cis.projects.trove.custom.IntObjectTable

contains(long) - Method in class edu.ksu.cis.projects.trove.custom.LongObjectTable

contains(K) - Method in class edu.ksu.cis.projects.trove.custom.ObjectIntTable

contains(Object) - Method in class edu.ksu.cis.projects.trove.custom.UnionFindSet

containsAll(Collection<?>) - Method in class edu.ksu.cis.projects.trove.custom.UnionFindSet

containsKey(int) - Method in class edu.ksu.cis.projects.trove.custom.IntObjectTable

containsKey(long) - Method in class edu.ksu.cis.projects.trove.custom.LongObjectTable

containsKey(K) - Method in class edu.ksu.cis.projects.trove.custom.ObjectIntTable

containsResolution(String) - Method in class edu.ksu.cis.projects.bogor.ast.transform.ExpBindingResolver

containsValue(V) - Method in class edu.ksu.cis.projects.trove.custom.IntObjectTable

containsValue(V) - Method in class edu.ksu.cis.projects.trove.custom.LongObjectTable

containsValue(int) - Method in class edu.ksu.cis.projects.trove.custom.ObjectIntTable

convert(Object) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

copy() - Method in interface edu.ksu.cis.projects.bogor.module.value.IPrimitiveExtValue

copyInfoFrom(LocationInfo) - Method in class edu.ksu.cis.projects.bogor.ast.LocationInfo

Copy info from another location info.

copyrightTextSet - Variable in class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

copySet(Set<T>) - Method in interface edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis.SetFactory

copySet(Set<T>) - Method in class edu.ksu.cis.projects.bogor.analyses.LiveVariableAnalysis.HashSetFactory

COULDNT_INSTANTIATE - Static variable in class edu.ksu.cis.projects.bogor.module.ConfigurationMessages

createArrayElementBacktrackingInfo(int, int, Action, IArrayValue, int, IValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createArrayElementBacktrackingInfo(int, int, Action, IArrayValue, int, IValue, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createCheckedInstance(Class, String, Collection<FileMessage>) - Method in class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

createContext(int, int, int, IState) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

createContext(int, int, int, IState) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

createContext(IState, int, int, int[]) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

createControlTransferBacktrackingInfo(int, int, int, IntObjectTable<IValue>, Transformation, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createControlTransferBacktrackingInfo(int, int, int, IntObjectTable<IValue>, Transformation, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createDefaultValue(Type) - Method in interface edu.ksu.cis.projects.bogor.module.IValueFactory

Creates a default value of a type.

createDefaultValue(Type) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultValueFactory

createEndStateBacktrackingInfo(int, int, Action, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createEndStateBacktrackingInfo(int, int, Action, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createEnterFunctionBacktrackingInfo(int, int, InvokeTransformation, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createEnterFunctionBacktrackingInfo(int, int, InvokeTransformation, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createExceptionBacktrackingInfo(int, BogorException, Node, int, int[], int[], IValueArray[], int, boolean, ISchedulingStrategyInfo, IExceptionBacktrackingInfo.IExceptionKilledThreadInfo[]) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createExceptionBacktrackingInfo(int, BogorException, Node, int, int[], int[], IValueArray[], int, boolean, ISchedulingStrategyInfo, IExceptionBacktrackingInfo.IExceptionKilledThreadInfo[]) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createExceptionKilledThreadInfo(int, int[], int[], IValueArray[], int) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createExceptionKilledThreadInfo(int, int[], int[], IValueArray[], int) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createExitFunctionBacktrackingInfo(int, int, int, int, IValueArray, IValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createExitFunctionBacktrackingInfo(int, int, int, int, IValueArray, IValue, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createExitThreadBacktrackingInfo(int, int, Action, int[], int[], IValueArray[], ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createExitThreadBacktrackingInfo(int, int, Action, int[], int[], IValueArray[], ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createFieldBacktrackingInfo(int, int, Action, IRecordValue, int, IValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createFieldBacktrackingInfo(int, int, Action, IRecordValue, int, IValue, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createGlobalBacktrackingInfo(int, int, Action, int, IValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createGlobalBacktrackingInfo(int, int, Action, int, INonPrimitiveValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createGlobalBacktrackingInfo(int, int, Action, int, IPrimitiveExtValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createGlobalBacktrackingInfo(int, int, Action, int, IIntValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createGlobalBacktrackingInfo(int, int, Action, int, ILongValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createGlobalBacktrackingInfo(int, int, Action, int, IFloatValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createGlobalBacktrackingInfo(int, int, Action, int, IDoubleValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createGlobalBacktrackingInfo(int, int, Action, int, IValue, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createInitialState() - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

[Document Pending]

createInitialState() - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

createInitialState() - Method in interface edu.ksu.cis.projects.bogor.module.ISearcher

Creates the initial state.

createInstance(Class, ArrayList<FileMessage>) - Method in class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

createLocalBacktrackingInfo(int, int, Node, int, IValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createLocalBacktrackingInfo(int, int, Node, int, IIntValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createLocalBacktrackingInfo(int, int, Node, int, ILongValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createLocalBacktrackingInfo(int, int, Node, int, IFloatValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createLocalBacktrackingInfo(int, int, Node, int, IDoubleValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createLocalBacktrackingInfo(int, int, Node, int, INonPrimitiveValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createLocalBacktrackingInfo(int, int, Node, int, IPrimitiveExtValue, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createLocalBacktrackingInfo(int, int, Node, int, IValue, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createLockBacktrackingInfo(int, int, Action, LockOp, ILockValue, int, int, int[], int[], int, int, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createLockBacktrackingInfo(int, int, Action, LockOp, ILockValue, int, int, int[], int[], int, int, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createNoChangeBacktrackingInfo(int, int, Action, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createNoChangeBacktrackingInfo(int, int, Action, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createSet() - Method in interface edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis.SetFactory

createSet() - Method in class edu.ksu.cis.projects.bogor.analyses.LiveVariableAnalysis.HashSetFactory

createStartThreadBacktrackingInfo(int, int, int, int, Action, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createStartThreadBacktrackingInfo(int, int, int, int, Action, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

createState(IStateFactoryArguments) - Method in interface edu.ksu.cis.projects.bogor.module.IStateFactory

Creates an initial state.

createState(IStateFactoryArguments) - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultStateFactory

createTransformationsBacktrackingInfo(int, int, int, int[], int, int, Transformation[], int, boolean, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

createTransformationsBacktrackingInfo(int, int, int, int[], int, int, Transformation[], int, boolean, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IBacktrackingInfoFactory

curChar - Variable in class edu.ksu.cis.projects.bogor.parser.BogorParserTokenManager

currentChoice - Variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSystemSharedState

currentDepth - Variable in class edu.ksu.cis.projects.bogor.module.AbstractProgressManager

currentDepth - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

currentDepthChanged(int, int) - Method in interface edu.ksu.cis.projects.bogor.module.state.event.IDepthChangedListener

currentDSSI - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

Tracks which nondeterministic branches have been taken inside a single action node.

currentIndex - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

Points to the index of the current info record used inside currentDSSI.

currentMaxDepth - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

currentNode - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

Stateful variable

currentScheduleIndex - Variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSystemSharedState

currentToken - Variable in exception edu.ksu.cis.projects.bogor.util.javacc.ParseException

This is the last token that has been consumed successfully.

currErrorSchedules - Variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

D

d - Variable in class edu.ksu.cis.projects.bogor.module.value.DefaultDoubleValue

Holds the double of this double value.

daen - Variable in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

debugStream - Variable in class edu.ksu.cis.projects.bogor.parser.BogorParserTokenManager

DECIMAL_LITERAL - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

decodeString(String) - Static method in class edu.ksu.cis.projects.bogor.util.Util

decrementReferenceCount() - Method in class edu.ksu.cis.projects.bogor.util.ReferenceCounter

DEFAULT - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

DEFAULT_ACTIVE_FSM_MULTIPLICITY - Static variable in class edu.ksu.cis.projects.bogor.ast.FSM

DefaultActionTaker - Class in edu.ksu.cis.projects.bogor.module

DefaultActionTaker() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultActionTaker

DefaultArrayEventNotifier - Class in edu.ksu.cis.projects.bogor.module.value.event

DefaultArrayEventNotifier() - Constructor for class edu.ksu.cis.projects.bogor.module.value.event.DefaultArrayEventNotifier

DefaultArrayValue - Class in edu.ksu.cis.projects.bogor.module.value

The default implementation of IArrayValue.

DefaultArrayValue(IValueFactory, int, ArrayType, IValueArray, IValueArray, ILockValue) - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultArrayValue

Default constructor.

DefaultArrayValue() - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultArrayValue

Private constructor for cloning purposes.

DefaultBacktrackingInfoFactory - Class in edu.ksu.cis.projects.bogor.module.backtrack

DefaultBacktrackingInfoFactory() - Constructor for class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

DefaultBogorConfiguration - Class in edu.ksu.cis.projects.bogor

DefaultBogorConfiguration() - Constructor for class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

defaultCapacity - Static variable in class edu.ksu.cis.projects.trove.custom.LongList

DefaultClassLoader - Class in edu.ksu.cis.projects.bogor.module

Hook for plugin modules to allow clients which do not explicitly depend on the plugin, to still load classes from it.

DefaultClassLoader() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultClassLoader

DefaultCounterExampleSchedulingInfo - Class in edu.ksu.cis.projects.bogor.module

DefaultCounterExampleSchedulingInfo() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleSchedulingInfo

DefaultCounterExampleSchedulingInfo(String, int, int[], int[]) - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleSchedulingInfo

DefaultCounterExampleWriter - Class in edu.ksu.cis.projects.bogor.module

[Document Pending]

DefaultCounterExampleWriter() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

DefaultCounterExampleWriter.DummyProgressManager - Class in edu.ksu.cis.projects.bogor.module

[Document Pending]

DefaultCounterExampleWriter.DummyProgressManager() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.DummyProgressManager

DefaultCounterExampleWriter.DummyStateManagerProxy - Class in edu.ksu.cis.projects.bogor.module

[Document Pending]

DefaultCounterExampleWriter.DummyStateManagerProxy(IStateManager) - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.DummyStateManagerProxy

Creates a new DummyStateManagerProxy object.

DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy - Class in edu.ksu.cis.projects.bogor.module

[Document Pending]

DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy(ISchedulingStrategist, DefaultCounterExampleWriter.GuidedSystemSharedState, List<ICounterExampleSchedulingInfo>) - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

Creates a new GuidedSchedulingStrategistProxy object.

DefaultCounterExampleWriter.GuidedSearcherProxy - Class in edu.ksu.cis.projects.bogor.module

[Document Pending]

DefaultCounterExampleWriter.GuidedSearcherProxy(ISearcher, DefaultCounterExampleWriter.GuidedSystemSharedState, List<ICounterExampleSchedulingInfo>) - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

Creates a new GuidedSearcherProxy object.

DefaultCounterExampleWriter.GuidedSearcherProxy(ISearcher, DefaultCounterExampleWriter.GuidedSystemSharedState, List<ICounterExampleSchedulingInfo>, int, boolean) - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

Creates a new GuidedSearcherProxy object.

DefaultCounterExampleWriter.GuidedSystemSharedState - Class in edu.ksu.cis.projects.bogor.module

Information that should be kept in sync among components of a guided search system.

DefaultCounterExampleWriter.GuidedSystemSharedState(SymbolTable) - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSystemSharedState

DefaultCounterExampleWriter.IGuidedSimulator - Interface in edu.ksu.cis.projects.bogor.module

DefaultCounterExampleWriter.IStateSnapshotSource - Interface in edu.ksu.cis.projects.bogor.module

defaultDelta - Static variable in class edu.ksu.cis.projects.trove.custom.LongList

DefaultDoubleValue - Class in edu.ksu.cis.projects.bogor.module.value

The default implementation of IDoubleValue.

DefaultDoubleValue(DoubleType, double) - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultDoubleValue

Default constructor.

DefaultExpASTValue - Class in edu.ksu.cis.projects.bogor.module.value

The default implementation of IExpASTValue.

DefaultExpASTValue(Exp) - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultExpASTValue

Default constructor.

DefaultExpEvaluator - Class in edu.ksu.cis.projects.bogor.module

DefaultExpEvaluator() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

DefaultExtValueEventNotifier - Class in edu.ksu.cis.projects.bogor.module.value.event

DefaultExtValueEventNotifier() - Constructor for class edu.ksu.cis.projects.bogor.module.value.event.DefaultExtValueEventNotifier

DefaultFloatValue - Class in edu.ksu.cis.projects.bogor.module.value

The default implementation of IFloatValue.

DefaultFloatValue(FloatType, float) - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultFloatValue

Default constructor.

DefaultGlobalVarEventNotifier - Class in edu.ksu.cis.projects.bogor.module.state.event

DefaultGlobalVarEventNotifier() - Constructor for class edu.ksu.cis.projects.bogor.module.state.event.DefaultGlobalVarEventNotifier

defaultIncrement - Static variable in class edu.ksu.cis.projects.trove.custom.LongList

DefaultIntValue - Class in edu.ksu.cis.projects.bogor.module.value

The default implementation of IIntValue.

DefaultIntValue(Type, int) - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultIntValue

Default constructor.

DefaultLockEventNotifier - Class in edu.ksu.cis.projects.bogor.module.value.event

DefaultLockEventNotifier() - Constructor for class edu.ksu.cis.projects.bogor.module.value.event.DefaultLockEventNotifier

DefaultLockValue - Class in edu.ksu.cis.projects.bogor.module.value

The default implementation of ILockValue.

DefaultLockValue(IValueFactory, int, LockType, IntSet, IntSet) - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultLockValue

Default constructor.

DefaultLockValue() - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultLockValue

Private constructor for cloning purposes.

DefaultLongValue - Class in edu.ksu.cis.projects.bogor.module.value

The default implementation of ILongValue.

DefaultLongValue(LongType, long) - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultLongValue

Default constructor.

DefaultMessageStore - Class in edu.ksu.cis.projects.bogor.module

DefaultMessageStore(FileMessage[], FileMessage[]) - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultMessageStore

DefaultMessageStore(Collection<FileMessage>, Collection<FileMessage>) - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultMessageStore

DefaultMessageStore() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultMessageStore

Optimized constructor that doesn't allocate empty lists.

DefaultNullValue - Class in edu.ksu.cis.projects.bogor.module.value

The default implementation of INullValue.

DefaultNullValue(NullType) - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultNullValue

Default constructor.

DefaultRecordEventNotifier - Class in edu.ksu.cis.projects.bogor.module.value.event

DefaultRecordEventNotifier() - Constructor for class edu.ksu.cis.projects.bogor.module.value.event.DefaultRecordEventNotifier

DefaultRecordValue - Class in edu.ksu.cis.projects.bogor.module.value

The default implementation of IRecordValue.

DefaultRecordValue(IValueFactory, int, RecordType, IValueArray, ILockValue) - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultRecordValue

Default constructor.

DefaultRecordValue() - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultRecordValue

Private constructor for cloning purposes.

DefaultSchedulingStrategist - Class in edu.ksu.cis.projects.bogor.module

DefaultSchedulingStrategist() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo - Class in edu.ksu.cis.projects.bogor.module

DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo

DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo(IntList) - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo

DefaultSchedulingStrategist.NodeContext - Class in edu.ksu.cis.projects.bogor.module

DefaultSearcher - Class in edu.ksu.cis.projects.bogor.module

DefaultSearcher() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultSearcher

DefaultSearcher.FoundValueException - Exception in edu.ksu.cis.projects.bogor.module

DefaultSearcher.FoundValueException() - Constructor for exception edu.ksu.cis.projects.bogor.module.DefaultSearcher.FoundValueException

DefaultSearcher.MaxErrorReachedException - Exception in edu.ksu.cis.projects.bogor.module

DefaultSearcher.MaxErrorReachedException() - Constructor for exception edu.ksu.cis.projects.bogor.module.DefaultSearcher.MaxErrorReachedException

DefaultSearchEventNotifier - Class in edu.ksu.cis.projects.bogor.module.state.event

Type description here.

DefaultSearchEventNotifier() - Constructor for class edu.ksu.cis.projects.bogor.module.state.event.DefaultSearchEventNotifier

DefaultState - Class in edu.ksu.cis.projects.bogor.module.state

The default implementation of IState.

DefaultState(SymbolTable, IStateFactory, IValueArray) - Constructor for class edu.ksu.cis.projects.bogor.module.state.DefaultState

Default constructor.

DefaultState() - Constructor for class edu.ksu.cis.projects.bogor.module.state.DefaultState

Private constructor for cloning purposes.

DefaultStateEventNotifier - Class in edu.ksu.cis.projects.bogor.module.state.event

DefaultStateEventNotifier() - Constructor for class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

DefaultStateExternalizer - Class in edu.ksu.cis.projects.bogor.module

DefaultStateExternalizer() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

DefaultStateFactory - Class in edu.ksu.cis.projects.bogor.module.state

The default implementation of IStateFactory.

DefaultStateFactory() - Constructor for class edu.ksu.cis.projects.bogor.module.state.DefaultStateFactory

DefaultStateManager - Class in edu.ksu.cis.projects.bogor.module

DefaultStateManager() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultStateManager

DefaultStringValue - Class in edu.ksu.cis.projects.bogor.module.value

The default implementation of IStringValue.

DefaultStringValue(int, StringType, String) - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultStringValue

Default constructor.

DefaultThreadEventNotifier - Class in edu.ksu.cis.projects.bogor.module.state.event

DefaultThreadEventNotifier() - Constructor for class edu.ksu.cis.projects.bogor.module.state.event.DefaultThreadEventNotifier

DefaultThreadStore - Class in edu.ksu.cis.projects.bogor.module.state

A class that is used as a thread store.

DefaultThreadStore(IValueArray) - Constructor for class edu.ksu.cis.projects.bogor.module.state.DefaultThreadStore

Default constructor.

DefaultThreadStore() - Constructor for class edu.ksu.cis.projects.bogor.module.state.DefaultThreadStore

Private constructor for cloning purposes.

DefaultTransformer - Class in edu.ksu.cis.projects.bogor.module

DefaultTransformer() - Constructor for class edu.ksu.cis.projects.bogor.module.DefaultTransformer

DefaultTransformSystemResult - Class in edu.ksu.cis.projects.bogor.ast.transform

Vanilla implementation.

DefaultTransformSystemResult(boolean) - Constructor for class edu.ksu.cis.projects.bogor.ast.transform.DefaultTransformSystemResult

DefaultTransformSystemResult(boolean, FileMessage[]) - Constructor for class edu.ksu.cis.projects.bogor.ast.transform.DefaultTransformSystemResult

DefaultValueEventNotifier - Class in edu.ksu.cis.projects.bogor.module.value.event

DefaultValueEventNotifier() - Constructor for class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

DefaultValueFactory - Class in edu.ksu.cis.projects.bogor.module.value

The default implementation of IValueFactory.

DefaultValueFactory() - Constructor for class edu.ksu.cis.projects.bogor.module.value.DefaultValueFactory

Default constructor.

defaultValueFunction - Static variable in class edu.ksu.cis.projects.bogor.module.value.DefaultValueFactory

Definition - Class in edu.ksu.cis.projects.bogor.ast

The top level class for definition AST.

Definition() - Constructor for class edu.ksu.cis.projects.bogor.ast.Definition

Definition() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

DEPTH_FIRST - Static variable in class edu.ksu.cis.projects.bogor.module.state.StateValueVisitor

depthChangedListeners - Variable in class edu.ksu.cis.projects.bogor.module.state.event.DefaultSearchEventNotifier

deve - Variable in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

dgven - Variable in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

diff(String, String) - Static method in class edu.ksu.cis.projects.bogor.util.Util

Compare two files using diff.

DIGIT - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

disable_tracing() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

disableInterleaving() - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

[Document Pending]

disableInterleaving() - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

disableInterleaving() - Method in interface edu.ksu.cis.projects.bogor.module.ISchedulingStrategist

Re-enable the normal calculation of getEnabledTransformation result sets.

disallowNew() - Method in class edu.ksu.cis.projects.bogor.type.TypeFactory

Treat any request for an uncached type from this point forward as a programming error (generate an exception).

Disposable - Interface in edu.ksu.cis.projects.bogor.util

This interface requires a dispose method to unlink all references.

dispose() - Method in class edu.ksu.cis.projects.bogor.analyses.CFG

dispose() - Method in class edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis

dispose() - Method in class edu.ksu.cis.projects.bogor.analyses.LiveVariableAnalysis

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.AbstractLocal

Removes reference to parent and disposes typedId and value.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Action

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ActionExtension

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ActionStatement

Disposes action.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ApplyExp

Removes reference to id, and disposes args.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ArrayAccessExp

Disposes exp and index.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.AssertAction

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.AssignAction

Disposes lhs and exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.AssumeAction

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ASTArrayType

Disposes length and type.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ASTExtType

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ASTFunType

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ASTIntRangeType

Disposes lowConstant and highConstant.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ASTLongRangeType

Disposes lowConstant and highConstant.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ASTType

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.AtomicActionStatement

Disposes action.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.AtomicExp

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.AtomicStatement

Disposes stmt.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.BinaryExp

Disposes exp1 and exp2.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.BlockStatement

Disposes stmt.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.BlockTransformation

Removes references to parent, and disposes exp, actions, and nextState.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.CastExp

Disposes type and exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Catch

Removes reference to parent, throwableId, id and locIds, and disposes nextState.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ChooseStatement

Disposes exp and stmt.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ConditionalExp

Disposes cond, exp1, and exp2.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Constant

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ConstantDefinition

Removes reference to id, and disposes constants.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.EnumDefinition

Disposes enumConstants.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Exp

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ExpAction

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ExpExtension

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Extension

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ExtensionDefinition

Removes reference to id and name, and disposes extensions.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ExtExp

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.FieldAccessExp

Removes reference to id, and disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.FSM

Disposes params, locals, locations, and catches.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Fun

Disposes returnType.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Global

Disposes typedId and value.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.GotoNextState

Removes reference to id.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.IdExp

Removes reference to id.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.IdPrintArg

Removes reference to id.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.IdType

Removes reference to id.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.IfStatement

Disposes exp and stmt.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.InstanceofExp

Removes reference to id, and disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.InvokeExp

Removes reference to id, and disposes args.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.InvokeTransformation

Disposes lhs, invokeExp, and nextState.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.KindofExp

Removes reference to id, and disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.LetExp

Removes reference to id, and disposes args.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Literal

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.LiteralExp

Disposes literal.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.LiveSet

Removes references to parent and ids.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Local

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Location

Removes references to parent and id, and disposes catches, liveSet, and transformations.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.LocationInfo

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.LockAction

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.LockTestExp

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.NewArrayExp

Disposes type and lengths.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.NewRecordExp

Removes reference to id.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.NextState

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Node

Disposes locInfo.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ParenExp

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.PrintAction

Disposes printArgs.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.PrintArg

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.RecordDefinition

Disposes fields.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ReturnNextState

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ReturnStatement

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.SkipStatement

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.StartThreadExp

Removes reference to id, and disposes args.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Statement

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.StringPrintArg

Removes reference to string.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.System

Removes reference to id, and disposes systemMembers.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.SystemMember

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ThreadTestExp

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.ThrowAction

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.Transformation

Removes reference to parent.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.TryCatchStatement

Disposes exp and stmt.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.TypeAliasDefinition

Removes reference to parent and id, and disposes type.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.TypedId

Removes reference to parent and id, and disposes type.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.TypeExtension

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.UnaryExp

Disposes exp.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.VirtualTableDefinition

Removes reference to id, keys, and data.

dispose() - Method in class edu.ksu.cis.projects.bogor.ast.WhileStatement

Disposes exp and stmt.

dispose() - Method in class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

dispose() - Method in class edu.ksu.cis.projects.bogor.ext.atomicity.AtomicModule

dispose() - Method in class edu.ksu.cis.projects.bogor.module.AbstractProgressManager

dispose() - Method in class edu.ksu.cis.projects.bogor.module.backtrack.CompoundBacktrackingInfo

dispose() - Method in class edu.ksu.cis.projects.bogor.module.backtrack.DefaultBacktrackingInfoFactory

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultActionTaker

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultClassLoader

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

[Document Pending]

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.DummyStateManagerProxy

[Document Pending]

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

[Document Pending]

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

[Document Pending]

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateManager

dispose() - Method in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

dispose() - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultState

dispose() - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultStateFactory

dispose() - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultThreadStore

dispose() - Method in class edu.ksu.cis.projects.bogor.module.state.StateValueVisitor

dispose() - Method in exception edu.ksu.cis.projects.bogor.module.throwable.BogorException

dispose() - Method in exception edu.ksu.cis.projects.bogor.module.throwable.ExceptionThrownBogorException

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultArrayValue

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultDoubleValue

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultExpASTValue

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultFloatValue

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultIntValue

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultLockValue

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultLongValue

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultNullValue

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultRecordValue

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultStringValue

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultValueFactory

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.UniformValueArray

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.ValueVisitor

dispose() - Method in class edu.ksu.cis.projects.bogor.module.value.VariedValueArray

dispose() - Method in class edu.ksu.cis.projects.bogor.symboltable.ExtSymbolTable

dispose() - Method in class edu.ksu.cis.projects.bogor.symboltable.FSMSymbolTable

Removes references to symbolTable, fsm, returnType, and clears parameterTypes, localTable, localDefTable, localIndexTable, locationDefTable, locationDescTable, liveSetTable, expTable, catchTable, errors, warnings.

dispose() - Method in class edu.ksu.cis.projects.bogor.symboltable.SymbolTable

Removes references to filename, mainThreadName, topRecordName, and clears all tables.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.ArrayType

Removes reference to baseType.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.BooleanType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.DoubleType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.EnumType

Removes reference to id and clears enum constants.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.FloatType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.FunType

dispose() - Method in class edu.ksu.cis.projects.bogor.type.IntType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.LockType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.LongType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.NonPrimitiveExtType

dispose() - Method in class edu.ksu.cis.projects.bogor.type.NullType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.PrimitiveExtType

dispose() - Method in class edu.ksu.cis.projects.bogor.type.PrimitiveTypeExtensionType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.RecordType

Removes references to id and clears fieldTable.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.StringType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.ThreadIdType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.TypeExtensionType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.TypeFactory

Removes references to booleanType, intType, lockType, voidType, nullType, unknownType, and clears cache.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.TypeVar

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.UnknownType

Removes references.

dispose() - Method in class edu.ksu.cis.projects.bogor.type.VoidType

Removes references.

dispose() - Method in interface edu.ksu.cis.projects.bogor.util.Disposable

Remove references.

dlen - Variable in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

DO - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

Domain - Enum in edu.ksu.cis.projects.bogor.module.config

Set of basic domains from which scalar types of options are drawn.

Done() - Method in class edu.ksu.cis.projects.bogor.util.javacc.JavaCharStream

doPostTransformationBookkeeping(int, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

DOT - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

doTransition(int, Transformation, Action) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

[Document Pending]

doTransition(int, Transformation, Action) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

doTransition(ISchedulingStrategyContext, Transformation, Action) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

doTransition(int, Transformation, Action) - Method in interface edu.ksu.cis.projects.bogor.module.ISearcher

Executes a transformation.

DOUBLE - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

DOUBLE_TYPE - Static variable in class edu.ksu.cis.projects.bogor.module.value.UniformValueArray

A constant to indicate a double type.

DOUBLE_TYPE - Static variable in class edu.ksu.cis.projects.bogor.module.value.VariedValueArray

A constant to indicate a double type.

DoubleConstant - Class in edu.ksu.cis.projects.bogor.ast

Double constant AST

DoubleConstant(String, double) - Constructor for class edu.ksu.cis.projects.bogor.ast.DoubleConstant

Default constructor.

DoubleConstant(String, double, ASTType) - Constructor for class edu.ksu.cis.projects.bogor.ast.DoubleConstant

Default constructor.

doubleElementValues - Variable in class edu.ksu.cis.projects.bogor.module.value.UniformValueArray

Holds the values of this array value's double value elements.

doubleElementValues - Variable in class edu.ksu.cis.projects.bogor.module.value.VariedValueArray

Holds the values of this array value's double value elements.

DoubleLiteral - Class in edu.ksu.cis.projects.bogor.ast

Double literal AST

DoubleLiteral(double) - Constructor for class edu.ksu.cis.projects.bogor.ast.DoubleLiteral

Default constructor.

DoubleType - Class in edu.ksu.cis.projects.bogor.type

Represents the int type.

dren - Variable in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

dsen - Variable in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

dsenBackward - Variable in class edu.ksu.cis.projects.bogor.module.state.event.AbstractStateEventProvider

dsenForward - Variable in class edu.ksu.cis.projects.bogor.module.state.event.AbstractStateEventProvider

dten - Variable in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

dumpBacktrackingStack(PrintWriter, ArrayList<IBacktrackingInfo>) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

dvenBackward - Variable in class edu.ksu.cis.projects.bogor.module.value.event.AbstractValueEventProvider

dvenForward - Variable in class edu.ksu.cis.projects.bogor.module.value.event.AbstractValueEventProvider

E

ec - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

Stateful variable

edu.ksu.cis.projects.bogor - package edu.ksu.cis.projects.bogor

Provides for Bogor command-line interface (CLI) and configuration.

edu.ksu.cis.projects.bogor.analyses - package edu.ksu.cis.projects.bogor.analyses

Provides for Bogor modules.

edu.ksu.cis.projects.bogor.ast - package edu.ksu.cis.projects.bogor.ast

Provides for Bogor input language AST.

edu.ksu.cis.projects.bogor.ast.checker - package edu.ksu.cis.projects.bogor.ast.checker

Provides for Bogor AST checker.

edu.ksu.cis.projects.bogor.ast.transform - package edu.ksu.cis.projects.bogor.ast.transform

edu.ksu.cis.projects.bogor.ext.atomicity - package edu.ksu.cis.projects.bogor.ext.atomicity

edu.ksu.cis.projects.bogor.module - package edu.ksu.cis.projects.bogor.module

Provide a generic framework for dataflow analysis on BIR transition systems.

edu.ksu.cis.projects.bogor.module.backtrack - package edu.ksu.cis.projects.bogor.module.backtrack

Provides types and factories for "undo" operations.

edu.ksu.cis.projects.bogor.module.config - package edu.ksu.cis.projects.bogor.module.config

edu.ksu.cis.projects.bogor.module.event - package edu.ksu.cis.projects.bogor.module.event

edu.ksu.cis.projects.bogor.module.state - package edu.ksu.cis.projects.bogor.module.state

Provides for Bogor state.

edu.ksu.cis.projects.bogor.module.state.event - package edu.ksu.cis.projects.bogor.module.state.event

edu.ksu.cis.projects.bogor.module.throwable - package edu.ksu.cis.projects.bogor.module.throwable

Provides for Bogor throwables.

edu.ksu.cis.projects.bogor.module.value - package edu.ksu.cis.projects.bogor.module.value

Provides for Bogor values.

edu.ksu.cis.projects.bogor.module.value.event - package edu.ksu.cis.projects.bogor.module.value.event

edu.ksu.cis.projects.bogor.parser - package edu.ksu.cis.projects.bogor.parser

Provides parser for Bogor input language.

edu.ksu.cis.projects.bogor.symboltable - package edu.ksu.cis.projects.bogor.symboltable

Provides for Bogor symbol table.

edu.ksu.cis.projects.bogor.type - package edu.ksu.cis.projects.bogor.type

Provides for Bogor types.

edu.ksu.cis.projects.bogor.util - package edu.ksu.cis.projects.bogor.util

Provides utilities.

edu.ksu.cis.projects.bogor.util.javacc - package edu.ksu.cis.projects.bogor.util.javacc

Provides common JavaCC parser files.

edu.ksu.cis.projects.trove.custom - package edu.ksu.cis.projects.trove.custom

Provides specializations of GNU Trove container types.

ee - Variable in class edu.ksu.cis.projects.bogor.DefaultBogorConfiguration

ee - Variable in class edu.ksu.cis.projects.bogor.module.DefaultActionTaker

ee - Variable in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

ee - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

Runtime module connection

ee - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

ee - Variable in class edu.ksu.cis.projects.bogor.module.DefaultTransformer

element - Variable in class edu.ksu.cis.projects.bogor.util.Wrapper

elementIndexIndex - Variable in class edu.ksu.cis.projects.bogor.module.value.VariedValueArray

Holds the mapping from element index to its typed index ( intElementValues,longElementValues, floatElementValues,doubleElementValues, or nonPrimitiveElementValues).

elementIndexType - Variable in class edu.ksu.cis.projects.bogor.module.value.VariedValueArray

Holds the mapping from field index to its type (INT_TYPE, LONG_TYPE,FLOAT_TYPE, DOUBLE_TYPE, or NON_PRIMITIVE_TYPE).

elements - Variable in class edu.ksu.cis.projects.trove.custom.LongList

elementsInRegion - Variable in class edu.ksu.cis.projects.bogor.module.value.DefaultValueFactory

elementType - Variable in class edu.ksu.cis.projects.bogor.module.value.UniformValueArray

elementValues - Variable in class edu.ksu.cis.projects.bogor.module.value.DefaultArrayValue

Holds the element values of this array value.

ELSE - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

ELSEIF - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

elseStmt - Variable in class edu.ksu.cis.projects.bogor.ast.ChooseStatement

Holds the optional else's statement.

elseStmt - Variable in class edu.ksu.cis.projects.bogor.ast.IfStatement

Holds the optional else's statement.

en(String) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

enable_tracing() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

enableInterleaving() - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

[Document Pending]

enableInterleaving() - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

enableInterleaving() - Method in interface edu.ksu.cis.projects.bogor.module.ISchedulingStrategist

Prevent getEnabledTransformations (all varieties) from stripping out transitions from all threads except the one which most recently moved.

enableNotification(Object) - Method in class edu.ksu.cis.projects.bogor.module.event.AbstractEventNotifier

enableNotification(Set<Object>) - Method in class edu.ksu.cis.projects.bogor.module.event.AbstractEventNotifier

enableNotification(Object) - Method in interface edu.ksu.cis.projects.bogor.module.event.IEventNotifier

enableNotification(Set<Object>) - Method in interface edu.ksu.cis.projects.bogor.module.event.IEventNotifier

enableNotification(Object) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

enableNotification(Set<Object>) - Method in class edu.ksu.cis.projects.bogor.module.state.event.DefaultStateEventNotifier

enableNotification(Object) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

enableNotification(Set<Object>) - Method in class edu.ksu.cis.projects.bogor.module.value.event.DefaultValueEventNotifier

encodeString(String) - Static method in class edu.ksu.cis.projects.bogor.util.Util

encodeXML(String) - Static method in class edu.ksu.cis.projects.bogor.util.Util

Encode a string to XML string.

END - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

END_ATOMIC - Static variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

endAtomic(IExtArguments) - Method in class edu.ksu.cis.projects.bogor.ext.atomicity.AtomicModule

endColumn - Variable in class edu.ksu.cis.projects.bogor.util.javacc.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

endLine - Variable in class edu.ksu.cis.projects.bogor.util.javacc.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

ensureCapacity(int) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

ensureCapacity(int) - Method in class edu.ksu.cis.projects.trove.custom.IntObjectTable

ensureCapacity(int) - Method in class edu.ksu.cis.projects.trove.custom.LongObjectTable

ensureCapacity(int) - Method in class edu.ksu.cis.projects.trove.custom.ObjectIntTable

enter(ISchedulingStrategyContext, Node) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

[Document Pending]

enter(ISchedulingStrategyContext, Node) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

enter(ISchedulingStrategyContext, Node) - Method in interface edu.ksu.cis.projects.bogor.module.ISchedulingStrategist

Notify the scheduler that a thread is entering an FSM.

enterFunction(int, IValueArray, int, int) - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultState

enterFunction(IValueArray) - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultThreadStore

Enters a function.

enterFunction(int, IValueArray, int, int) - Method in interface edu.ksu.cis.projects.bogor.module.state.IState

Enters a function for a particular thread.

enterSimulation() - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

enterSimulation() - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

enterSimulation() - Method in interface edu.ksu.cis.projects.bogor.module.ISchedulingStrategist

Inform the scheduling strategist that a series of transitions are about to be executed which should not be pre-scripted (e.g., will not appear in a counterexample trail).

entryLocDesc - Variable in class edu.ksu.cis.projects.bogor.analyses.CFG

ENUM - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

EnumDefinition - Class in edu.ksu.cis.projects.bogor.ast

Enum definition AST.

EnumDefinition(String, List<String>) - Constructor for class edu.ksu.cis.projects.bogor.ast.EnumDefinition

Default constructor.

EnumType - Class in edu.ksu.cis.projects.bogor.type

Represents an enum type.

EOF - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

eol - Variable in exception edu.ksu.cis.projects.bogor.util.javacc.ParseException

The end of line string for this machine.

EPSILON_THREAD - Static variable in interface edu.ksu.cis.projects.bogor.module.IStateFactory

EQ - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

EqualityExp() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTArrayType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTBooleanType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTDoubleType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTExtType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTFloatType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTFunType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTIntRangeType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTIntType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTLockType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTLongRangeType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTLongType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTStringType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTThreadIdType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.ASTType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.IdType

equals(Object) - Method in class edu.ksu.cis.projects.bogor.ast.LocationInfo

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist.NodeContext

equals(Object) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultArrayValue

equals(Object) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultDoubleValue

equals(Object) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultExpASTValue

equals(Object) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultFloatValue

equals(Object) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultIntValue

equals(Object) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultLockValue

equals(Object) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultLongValue

equals(Object) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultNullValue

equals(Object) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultRecordValue

equals(Object) - Method in class edu.ksu.cis.projects.bogor.module.value.DefaultStringValue

equals(IPrimitiveExtValue) - Method in interface edu.ksu.cis.projects.bogor.module.value.IPrimitiveExtValue

Determines whether this value is equal to another value.

equals(Object) - Method in interface edu.ksu.cis.projects.bogor.module.value.IValue

Classes implementing IValue should provide their own equality tests.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.ArrayType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.BooleanType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.DoubleType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.EnumType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.FloatType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.FunType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.IntRangeType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.IntType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.LockType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.LongRangeType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.LongType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.NonPrimitiveExtType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.NullType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.PrimitiveExtType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.PrimitiveTypeExtensionType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.RecordType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.StringType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.ThreadIdType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.TypeExtensionType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.TypeVar

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.UnknownType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.type.VoidType

Checks whether this object is equal to another object.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.util.BitBuffer

Compare two BitBuffer instances for semantic equivalence.

equals(Object) - Method in class edu.ksu.cis.projects.bogor.util.Pair

equals(Object) - Method in class edu.ksu.cis.projects.bogor.util.StaticByteArray

equals(Object) - Method in class edu.ksu.cis.projects.bogor.util.StaticIntArray

equals(Object) - Method in class edu.ksu.cis.projects.bogor.util.Triple

equals(Object) - Method in class edu.ksu.cis.projects.trove.custom.IntObjectTable

equals(Object) - Method in class edu.ksu.cis.projects.trove.custom.LongObjectTable

equals(Object) - Method in class edu.ksu.cis.projects.trove.custom.ObjectIntTable

equals(K, K) - Method in class edu.ksu.cis.projects.trove.custom.ObjectIntTable

error(int) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

[Document Pending]

error(int) - Method in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

error(int) - Method in interface edu.ksu.cis.projects.bogor.module.ISearcher

Signal an error has been found.

errorDirName - Variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

errorReasons - Variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

errors - Variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowBIRCompiler

errors - Variable in class edu.ksu.cis.projects.bogor.module.AbstractProgressManager

errors - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSearcher

errorSchedulesList - Variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

evaluate(ISchedulingStrategyContext, Exp, ISchedulingStrategyInfo) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluate(Exp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluate(ISchedulingStrategyContext, Exp, ISchedulingStrategyInfo) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateApply(String, IValue[]) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateApply(String, IValue[]) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateApplyExp(ApplyExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateArrayAccess(IArrayValue, IIntValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateArrayAccess(IArrayValue, IIntValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateArrayAccessExp(ArrayAccessExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateBinaryExp(BinaryExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateBinaryOp(BinaryOp, IValue, IValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateBinaryOp(BinaryOp, INonPrimitiveValue, INonPrimitiveValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateBinaryOp(BinaryOp, IPrimitiveExtValue, IPrimitiveExtValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateBinaryOp(BinaryOp, IIntValue, IIntValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateBinaryOp(BinaryOp, ILongValue, ILongValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateBinaryOp(BinaryOp, IFloatValue, IFloatValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateBinaryOp(BinaryOp, IDoubleValue, IDoubleValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateBinaryOp(BinaryOp, IValue, IValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateBinaryOp(BinaryOp, INonPrimitiveValue, INonPrimitiveValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateBinaryOp(BinaryOp, IPrimitiveExtValue, IPrimitiveExtValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateBinaryOp(BinaryOp, IIntValue, IIntValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateBinaryOp(BinaryOp, ILongValue, ILongValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateBinaryOp(BinaryOp, IFloatValue, IFloatValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateBinaryOp(BinaryOp, IDoubleValue, IDoubleValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCast(Type, Type, IValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCast(IntType, IIntValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCast(LongType, ILongValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCast(LongType, IIntValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCast(IntType, ILongValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCast(IntType, IFloatValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCast(IntType, IDoubleValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCast(LongType, IFloatValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCast(LongType, IDoubleValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCast(RecordType, IRecordValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCast(ArrayType, IArrayValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCast(Type, Type, IValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCast(IntType, IIntValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCast(LongType, ILongValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCast(LongType, IIntValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCast(IntType, ILongValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCast(IntType, IFloatValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCast(IntType, IDoubleValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCast(LongType, IFloatValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCast(LongType, IDoubleValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCast(RecordType, IRecordValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCast(ArrayType, IArrayValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCastDouble(IIntValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCastDouble(ILongValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCastDouble(IFloatValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCastDouble(IIntValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCastDouble(ILongValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCastDouble(IFloatValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCastExp(CastExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCastFloat(IIntValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCastFloat(ILongValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCastFloat(IDoubleValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateCastFloat(IIntValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCastFloat(ILongValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateCastFloat(IDoubleValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateConditionalExp(ConditionalExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateExt(String, Node, Type[], IValue[]) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateExt(String, Node, Type[], IValue[]) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateExtExp(ExtExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateFieldAccess(IRecordValue, int) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateFieldAccess(IRecordValue, int) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateFieldAccessExp(FieldAccessExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateIdExp(IdExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateInstanceof(IValue, Type) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateInstanceof(IValue, Type) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateInstanceofExp(InstanceofExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateKindof(IValue, Type) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateKindof(IValue, Type) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateKindofExp(KindofExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateLetExp(LetExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateLiteral(Literal) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateLiteralExp(LiteralExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateLockTestExp(LockTestExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateLockTestOp(int, LockTestOp, IValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateLockTestOp(int, LockTestOp, IValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateNewArray(ArrayType, IValue[]) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateNewArray(ArrayType, IValue[]) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateNewArrayExp(NewArrayExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateNewLock() - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateNewLock() - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateNewRecord(RecordType) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateNewRecord(RecordType) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateNewRecordExp(NewRecordExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateThreadTestExp(ThreadTestExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateUnaryExp(UnaryExp) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateUnaryOp(UnaryOp, IValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateUnaryOp(UnaryOp, IIntValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateUnaryOp(UnaryOp, ILongValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateUnaryOp(UnaryOp, IFloatValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateUnaryOp(UnaryOp, IDoubleValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultExpEvaluator

evaluateUnaryOp(UnaryOp, IValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateUnaryOp(UnaryOp, IIntValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateUnaryOp(UnaryOp, ILongValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateUnaryOp(UnaryOp, IFloatValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

evaluateUnaryOp(UnaryOp, IDoubleValue) - Method in interface edu.ksu.cis.projects.bogor.module.IExpEvaluator

EXCEPT - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

EXCEPTION_WHEN_FAILED_ID - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

ExceptionThrownBogorException - Exception in edu.ksu.cis.projects.bogor.module.throwable

Represents a thrown exception.

ExceptionThrownBogorException(boolean, String, IRecordValue) - Constructor for exception edu.ksu.cis.projects.bogor.module.throwable.ExceptionThrownBogorException

Default constructor.

exceptionWhenFailed - Variable in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

Configuration option

ExclusiveOrExp() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

Exec - Class in edu.ksu.cis.projects.bogor.util

Executes a given command.

Exec() - Constructor for class edu.ksu.cis.projects.bogor.util.Exec

exit() - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

[Document Pending]

exit() - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

exit() - Method in interface edu.ksu.cis.projects.bogor.module.ISchedulingStrategist

Notify the scheduler that a thread is exiting an FSM.

EXIT - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

exitFunction(int) - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultState

exitFunction() - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultThreadStore

Exits a function for particular thread.

exitFunction(int) - Method in interface edu.ksu.cis.projects.bogor.module.state.IState

Exits a function for particular thread.

exitLocDescs - Variable in class edu.ksu.cis.projects.bogor.analyses.CFG

exitSimulation() - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy

exitSimulation() - Method in class edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist

exitSimulation() - Method in interface edu.ksu.cis.projects.bogor.module.ISchedulingStrategist

Exit the scope denoted by the corresponding ISchedulingStrategist.enterSimulation() call.

exitThread(int) - Method in class edu.ksu.cis.projects.bogor.module.state.DefaultState

exitThread(int) - Method in interface edu.ksu.cis.projects.bogor.module.state.IState

Kills a thread.

ExitThreadAction - Class in edu.ksu.cis.projects.bogor.ast

Assert action AST.

ExitThreadAction() - Constructor for class edu.ksu.cis.projects.bogor.ast.ExitThreadAction

Default constructor.

Exp - Class in edu.ksu.cis.projects.bogor.ast

The top level class for exp AST.

Exp() - Constructor for class edu.ksu.cis.projects.bogor.ast.Exp

exp - Variable in class edu.ksu.cis.projects.bogor.ast.IfStatement

Holds the condition.

exp - Variable in class edu.ksu.cis.projects.bogor.ast.InvokeAction

exp - Variable in class edu.ksu.cis.projects.bogor.ast.ReturnStatement

Holds the optional exp.

exp - Variable in class edu.ksu.cis.projects.bogor.ast.WhileStatement

Holds the condition.

exp - Variable in class edu.ksu.cis.projects.bogor.module.value.DefaultExpASTValue

Holds the exp AST of this exp AST value.

Exp() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

EXP_DEF_EXT_OP_RETURN_TYPE - Static variable in interface edu.ksu.cis.projects.bogor.IBogorConfiguration

ExpAction - Class in edu.ksu.cis.projects.bogor.ast

Exp action AST.

ExpAction(Exp) - Constructor for class edu.ksu.cis.projects.bogor.ast.ExpAction

Default constructor.

EXPAND_TRAILS_ID - Static variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

ExpandBuff(boolean) - Method in class edu.ksu.cis.projects.bogor.util.javacc.JavaCharStream

expandTrails - Variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter

ExpBindingResolver - Class in edu.ksu.cis.projects.bogor.ast.transform

Hierarchical table to resolve the bindings used in let constructs.

ExpBindingResolver() - Constructor for class edu.ksu.cis.projects.bogor.ast.transform.ExpBindingResolver

Creates with no parent context for resolving bound IDs.

ExpBindingResolver(ExpBindingResolver) - Constructor for class edu.ksu.cis.projects.bogor.ast.transform.ExpBindingResolver

Creates with parent.

ExpChecker - Class in edu.ksu.cis.projects.bogor.ast.checker

This class is used to deduce the type of expressions.

expContainsAtomic - Variable in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowNonAtomicExpCompiler

Node that tells whether the presently compiled expression or a subexpression is atomic.

EXPDEF - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

expectedTokenSequences - Variable in exception edu.ksu.cis.projects.bogor.util.javacc.ParseException

Each entry in this array is an array of integers.

EXPECTING_RETURN - Static variable in class edu.ksu.cis.projects.bogor.ast.checker.Messages

ExpExtension - Class in edu.ksu.cis.projects.bogor.ast

Represents an exp extension.

ExpExtension(ASTType, String, List<String>, List<TypedId>, BitSet, boolean) - Constructor for class edu.ksu.cis.projects.bogor.ast.ExpExtension

Default constructor.

EXPONENT - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

expressionContainsInvocation(Exp) - Method in class edu.ksu.cis.projects.bogor.ast.transform.HighToLowAtomicExpCompiler.InvocationDetector

exps - Variable in class edu.ksu.cis.projects.bogor.ast.ChooseStatement

Holds the choose conditions.

exps - Variable in class edu.ksu.cis.projects.bogor.ast.IfStatement

Holds the optional elseif's conditions.

expType - Variable in class edu.ksu.cis.projects.bogor.symboltable.ExtSymbolTable

The expression type of this extension.

EXT_FAILED_CODE - Static variable in interface edu.ksu.cis.projects.bogor.module.ISearcher

The error code for extension failure.

EXT_OP_ARG_NAMES - Static variable in interface edu.ksu.cis.projects.bogor.IBogorConfiguration

EXT_OP_ARG_TYPES - Static variable in interface edu.ksu.cis.projects.bogor.IBogorConfiguration

extDesc - Variable in class edu.ksu.cis.projects.bogor.symboltable.ExtSymbolTable

Holds the extension descriptor.

EXTENDS - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

Extension - Class in edu.ksu.cis.projects.bogor.ast

The top level class for extension AST.

Extension() - Constructor for class edu.ksu.cis.projects.bogor.ast.Extension

Extension() - Method in class edu.ksu.cis.projects.bogor.parser.BogorParser

EXTENSION - Static variable in interface edu.ksu.cis.projects.bogor.parser.BogorParserConstants

EXTENSION_LOG_NAME - Static variable in class edu.ksu.cis.projects.bogor.LoggingConstants

ExtensionDefinition - Class in edu.ksu.cis.projects.bogor.ast

Extension definition AST.

ExtensionDefinition(String, String, List<? extends Extension>) - Constructor for class edu.ksu.cis.projects.bogor.ast.ExtensionDefinition

Default constructor.

externalizeAllStateInfo - Variable in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

Flag controlling whether all states, transition sets, and next thread locations are externalized on the fly.

externalizeArrayElement(IArrayValue, int) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeArrayField(IArrayValue, int) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeArrayHeapElement(IArrayValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeArrayValue(int, IArrayValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeDoubleValue(int, IDoubleValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeEnabledTransitions(IState, int[], Transformation[]) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

[Document Pending]

externalizeExtHeapElement(INonPrimitiveExtValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeExtValue(int, INonPrimitiveExtValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeFloatValue(int, IFloatValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeGlobal(int) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeGlobals() - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeHeap() - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeHeapElement(INonPrimitiveValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeIntValue(int, IIntValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeLockHeapElement(ILockValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeLockHeapElementHelper(ILockValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeLockValue(int, ILockValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeLongValue(int, ILongValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeNextMovedThread(IState, int, Transformation) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

[Document Pending]

externalizeNullValue(int, INullValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizePrimitiveExtValue(int, IPrimitiveExtValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeRecordField(IRecordValue, int) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeRecordHeapElement(IRecordValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeRecordValue(int, IRecordValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeState(String) - Method in class edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSearcherProxy

[Document Pending]

externalizeState(PrintWriter, IState, String) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeStringValue(int, IStringValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeThread(int) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeThreads() - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeThreadStackFrame(int, int) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeTransition(int, Transformation) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeTransitions(PrintWriter, IState, int[], Transformation[]) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeValue(int, IValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

externalizeVar(int, String, IValue) - Method in class edu.ksu.cis.projects.bogor.module.DefaultStateExternalizer

ExtExp - Class in edu.ksu.cis.projects.bogor.ast

Represents an action or an exp extension usage.

ExtExp(String, String, List<? extends ASTType>, List<? extends Exp>) - Constructor for class edu.ksu.cis.projects.bogor.ast.ExtExp

Default constructor.

ExtFailedBogorException - Exception in edu.ksu.cis.projects.bogor.module.throwable

Represents an extension call failed exception.

ExtFailedBogorException() - Constructor for exception edu.ksu.cis.projects.bogor.module.throwable.ExtFailedBogorException