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

V

VARIABLE_NAME - Static variable in class edu.mit.ai.psg.jeva.JNName

VARIABLE_NAME - Static variable in class edu.mit.ai.psg.jevaES.JNName

VariableDeclarator() - Method in class edu.mit.ai.psg.jeva.JevaParser

VariableDeclarator() - Method in class edu.mit.ai.psg.jevaES.JevaESParser

VariableDeclaratorId() - Method in class edu.mit.ai.psg.jeva.JevaParser

VariableDeclaratorId() - Method in class edu.mit.ai.psg.jevaES.JevaESParser

VariableInitializer() - Method in class edu.mit.ai.psg.jeva.JevaParser

VariableInitializer() - Method in class edu.mit.ai.psg.jevaES.JevaESParser

VectorMap - class edu.mit.ai.psg.utilities.VectorMap.

VectorMap is a debugging implementation of Map using a java.util.Vector of alternating keys and values, which is easier to browse in a debugger than a hash table.

VectorMap() - Constructor for class edu.mit.ai.psg.utilities.VectorMap

VectorMap(Map) - Constructor for class edu.mit.ai.psg.utilities.VectorMap

VectorMap(Object[]) - Constructor for class edu.mit.ai.psg.utilities.VectorMap

initialize with array containing key1, val1, key2, val2, ...

VectorSet - class edu.mit.ai.psg.utilities.VectorSet.

A "ISet" implemented as a Vector; It may be smaller than HashSet for small sets.

VectorSet() - Constructor for class edu.mit.ai.psg.utilities.VectorSet

VectorSet(Collection) - Constructor for class edu.mit.ai.psg.utilities.VectorSet

VectorSet(int) - Constructor for class edu.mit.ai.psg.utilities.VectorSet

VectorSet(int, int) - Constructor for class edu.mit.ai.psg.utilities.VectorSet

VectorSet(Object[]) - Constructor for class edu.mit.ai.psg.utilities.VectorSet

VectorSet(Set) - Constructor for class edu.mit.ai.psg.utilities.VectorSet

VerifyingError - error edu.mit.ai.psg.jeva.VerifyingError.

Error used to capture context of internal errors thrown while verifying types in source code.

VerifyingError - error edu.mit.ai.psg.jevaES.VerifyingError.

Error used to capture context of internal errors thrown while verifying types in source code.

VerifyingError(IJevaNode, IEnv, Throwable) - Constructor for class edu.mit.ai.psg.jeva.VerifyingError

VerifyingError(IJevaNode, IEnv, Throwable) - Constructor for class edu.mit.ai.psg.jevaES.VerifyingError

VerifyingException - exception edu.mit.ai.psg.jeva.VerifyingException.

Base class for exceptions for illegal nodes found while verifying types; saves node and environment where problem occurred.

VerifyingException - exception edu.mit.ai.psg.jevaES.VerifyingException.

Base class for exceptions for illegal nodes found during verification; saves node and environment where problem occurred.

verifyPackageNameFromClassPath(List, String) - Static method in class edu.mit.ai.psg.jeva.ClassPathMethods

verifyPackageNameFromClassPath(List, String) - Static method in class edu.mit.ai.psg.jevaES.ClassPathMethods

verifyPackageNameFromClassPath(String) - Static method in class edu.mit.ai.psg.jeva.ClassPathMethods

Verify there is a file system directory or zipfile directory in the classpath which corresponds to the package name.

verifyPackageNameFromClassPath(String) - Static method in class edu.mit.ai.psg.jevaES.ClassPathMethods

Verify there is a file system directory or zipfile directory in the classpath which corresponds to the package name.

verifyTypes(boolean, int, IClass, IEnv) - Method in class edu.mit.ai.psg.jeva.JNSVariableDeclarator

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNDInitializer

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSSwitchStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSIfStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNFormalParameter

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNDClassDeclaration

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSContinueStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSExpressionStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSForStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSExplicitConstructorInvocation

Explicit Constructor invocations must appear as the first statement of a constructor, and may not refer to fields of the class (which are not initialized yet).

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNDMethodDeclaration

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNDImportDeclaration

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSTryStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNFormalParameterList

verifyTypes(IEnv) - Method in interface edu.mit.ai.psg.jeva.IDeclarationNode

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSBreakStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSThrowStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.InterpretedClass

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSWhileStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSExpressionStatementList

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSReturnStatement

Checks expr assignable to env.lookupReturnType() [JavaLangSpec1.0 sec 14.15]

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSEmptyStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSBlock

Sequentially verify each statement in block.

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNDPackageDeclaration

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSLocalVariableDeclaration

Extend environment so types of later expressions can be calculated.

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSDoStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.InterpretedMethod

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSSynchronizedStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNCompilationUnit

verifyTypes(IEnv) - Method in interface edu.mit.ai.psg.jeva.IStatementNode

Verify types within this statement; don't call this directly, use EvalMethods.verifyTypes(IStatementNode, IEnv).

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSLabeledStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSReturnStatement

Checks expr assignable to env.lookupReturnType() [JavaLangSpec1.0 sec 14.15]

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSLabeledStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSBreakStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSThrowStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSWhileStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSSwitchStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSForStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSTryStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSEmptyStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSExpressionStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSSynchronizedStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSLocalVariableDeclaration

Extend environment so types of later expressions can be calculated.

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSContinueStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSDoStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNDPackageDeclaration

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNDImportDeclaration

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSBlock

Sequentially verify each statement in block.

verifyTypes(IEnv) - Method in interface edu.mit.ai.psg.jevaES.IStatementNode

Verify types within this statement (don't call this directly, use EvalMethods.verifyTypes).

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSExpressionStatementList

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSIfStatement

verifyTypes(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNFormalParameter

verifyTypes(IEnv, IEnv) - Method in class edu.mit.ai.psg.jeva.JNDConstructorDeclaration

verifyTypes(IEnv, IEnv) - Method in class edu.mit.ai.psg.jeva.InterpretedConstructor

verifyTypes(int, Class, IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSVariableDeclarator

verifyTypes(IStatementNode) - Static method in class edu.mit.ai.psg.jeva.EvalMethods

verifyTypes(IStatementNode) - Static method in class edu.mit.ai.psg.jevaES.EvalMethods

verifyTypes(IStatementNode, IEnv) - Static method in class edu.mit.ai.psg.jeva.EvalMethods

verifyTypes(IStatementNode, IEnv) - Static method in class edu.mit.ai.psg.jevaES.EvalMethods

return IEnv, extended by this statement if it is a local declaration but without evaluating initializers, after verifying types.

verifyTypes(JNCompilationUnit) - Static method in class edu.mit.ai.psg.jeva.EvalMethods

verifyTypes(JNCompilationUnit, IEnv) - Static method in class edu.mit.ai.psg.jeva.EvalMethods

Scans compilation unit for class declarations, computes type signatures of methods, and verifies types in fields and methods.

VerticalList - class edu.mit.ai.psg.ui.outliner.awt.VerticalList.

A container for a vertical list of components, using VFlowLayout.

VerticalList() - Constructor for class edu.mit.ai.psg.ui.outliner.awt.VerticalList

VerticalList(LayoutManager) - Constructor for class edu.mit.ai.psg.ui.outliner.awt.VerticalList

VFlowLayout - class edu.mit.ai.psg.ui.outliner.awt.VFlowLayout.

A layout manager for java.awt.Container that arranges its java.awt.Components vertically, adding each below the previous.

VFlowLayout() - Constructor for class edu.mit.ai.psg.ui.outliner.awt.VFlowLayout

VFlowLayout(int) - Constructor for class edu.mit.ai.psg.ui.outliner.awt.VFlowLayout

visit(IClassBodyDeclaration, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

IClassBodyDeclaration: default calls visit(IJevaNode, Object)

visit(IClassBodyDeclaration, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceMethods.FreeSimpleNamesCollector

Doesn't explore nested declarations

visit(IDeclarationNode, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

IDeclarationNode: default calls visit(IJevaNode, Object);

visit(IDeclarationNode, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceMethods.FreeSimpleNamesCollector

Doesn't explore nested declarations

visit(IExpressionNode, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

IExpressionNode: default calls visit(IJevaNode, Object)

visit(IJevaNode, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

IJevaNode: root of type hiearchy; here subclasses must provide default for all nodes.

visit(IJevaNode, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(IJevaNode, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceEvalHookBase

default method: trace all nodes.

visit(IJevaNode, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceCallsEvalHook

Override default to not trace

visit(IJevaNode, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceMethods.FreeSimpleNamesCollector

default: explore all children

visit(IJevaNode, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.EmptyEvalHook

default -- do nothing

visit(IJevaNode, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceConstructsEvalHook

default -- do nothing

visit(IJevaNode, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceCallsEvalHook

default -- do nothing

visit(IStatementNode, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

IStatementNode default: visit(IJevaNode, Object)

visit(JNCompilationUnit, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNCompilationUnit: default calls visit(IJevaNode, Object)

visit(JNCompilationUnit, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNCompilationUnit, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNDClassBody, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNDClassBody: default is to call visit(IJevaNode, Object);

visit(JNDClassBody, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNDClassBody, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNDClassDeclaration, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNDClassDeclaration: if parent is JNCompilationUnit, default is to treat as IDeclarationNode.

visit(JNDClassDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNDClassDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNDConstructorDeclaration, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNDFieldDeclaration: default calls visit(IClassDeclaration, Object)

visit(JNDConstructorDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNDConstructorDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNDConstructorDeclaration, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceConstructsEvalHook

Trace calls received by interpreted constructors.

visit(JNDConstructorDeclaration, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceCallsEvalHook

Trace calls received by interpreted constructors.

visit(JNDFieldDeclaration, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNDFieldDeclaration: default calls visit(IClassBodyDeclaration, Object)

visit(JNDFieldDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNDFieldDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNDImportDeclaration, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNDImportDeclaration default calls visit(IDeclarationNode, Object);

visit(JNDImportDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNDImportDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNDInitializer, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNDInitializer default: visit(IClassBodyDeclaration, Object)

visit(JNDInitializer, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNDInitializer, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNDMethodDeclaration, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNDFieldDeclaration: default calls visit(IClassDeclaration, Object)

visit(JNDMethodDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNDMethodDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNDMethodDeclaration, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceConstructsEvalHook

Trace calls received by interpreted methods.

visit(JNDMethodDeclaration, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceCallsEvalHook

Trace calls received by interpreted methods.

visit(JNDPackageDeclaration, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNDPackageDeclaration: default calls visit(IDeclarationNode, Object);

visit(JNDPackageDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNDPackageDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEAdditiveExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEAdditiveExpression default: visit(LeftAssociativeOperatorExpression, Object)

visit(JNEAdditiveExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEAdditiveExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEAndExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEAndExpression default: visit(LeftAssociativeOperatorExpression, Object)

visit(JNEAndExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEAndExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEArguments, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEArguments default: visit(IJevaNode, Object)

visit(JNEArguments, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEArguments, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEArrayAccessExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEArrayAccessExpression default: visit(IExpressionNode, Object)

visit(JNEArrayAccessExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEArrayAccessExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEArrayCreationExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEArrayCreationExpression default: visit(IExpressionNode, Object)

visit(JNEArrayCreationExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEArrayCreationExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEArrayDimensions, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEArrayDimensions default: visit(IJevaNode, Object)

visit(JNEArrayDimensions, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEArrayDimensions, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEArrayInitializer, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEArrayInitializer default: visit(IJevaNode, Object)

visit(JNEArrayInitializer, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEArrayInitializer, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEAssignmentExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEAssignmentExpression default: visit(IExpressionNode, Object)

visit(JNEAssignmentExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEAssignmentExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEAssignmentOperator, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEAssignmentOperator default: visit(IJevaNode, Object)

visit(JNEAssignmentOperator, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEAssignmentOperator, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNECastExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNECastExpression default: visit(IExpressionNode, Object)

visit(JNECastExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNECastExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEConditionalAndExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEConditionalAndExpression default: visit(IExpressionNode, Object)

visit(JNEConditionalAndExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEConditionalAndExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEConditionalExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEConditionalExpression default: visit(IExpressionNode, Object)

visit(JNEConditionalExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEConditionalExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEConditionalOrExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEConditionalOrExpression default: visit(IExpressionNode, Object)

visit(JNEConditionalOrExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEConditionalOrExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEEqualityExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEEqualityExpression default: visit(LeftAssociativeOperatorExpression, Object)

visit(JNEEqualityExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEEqualityExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEExclusiveOrExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEExclusiveOrExpression default: visit(LeftAssociativeOperatorExpression, Object)

visit(JNEExclusiveOrExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEExclusiveOrExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEInclusiveOrExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEInclusiveOrExpression default: visit(LeftAssociativeOperatorExpression, Object)

visit(JNEInclusiveOrExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEInclusiveOrExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEInstanceCreationExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEInstanceCreationExpression default: visit(IExpressionNode, Object)

visit(JNEInstanceCreationExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEInstanceCreationExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEInstanceCreationExpression, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceConstructsEvalHook

Trace calls to compiled constructors.

visit(JNEInstanceCreationExpression, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceCallsEvalHook

Trace calls to compiled constructors.

visit(JNEInstanceOfExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEInstanceOfExpression default: visit(IExpressionNode, Object)

visit(JNEInstanceOfExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEInstanceOfExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNELiteralExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNELiteralExpression default: visit(IExpressionNode, Object)

visit(JNELiteralExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNELiteralExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNELiteralExpression, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceAllEvalHook

An override to avoid tracing literals

visit(JNEMethodInvocationExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEMethodInvocationExpression default: visit(IExpressionNode, Object)

visit(JNEMethodInvocationExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEMethodInvocationExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEMethodInvocationExpression, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceCallsEvalHook

Cause trace on method invocations

visit(JNEMethodInvocationExpression, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceMethods.FreeSimpleNamesCollector

Skip class name node in static method calls

visit(JNEMethodInvocationExpression, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceConstructsEvalHook

Trace calls to compiled methods, (Calls to interpreted methods are traced by TraceConstructsEvalHook.visit(JNDMethodDeclaration,Object)).

visit(JNEMethodInvocationExpression, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceCallsEvalHook

Trace calls to compiled methods, (Calls to interpreted methods are traced by TraceCallsEvalHook.visit(JNDMethodDeclaration,Object)).

visit(JNEMultiplicativeExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEMultiplicativeExpression default: visit(LeftAssociativeOperatorExpression, Object)

visit(JNEMultiplicativeExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEMultiplicativeExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEParenthesizedExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEParenthesizedExpression default: visit(IExpressionNode, Object)

visit(JNEParenthesizedExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEParenthesizedExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEPostfixExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEPostfixExpression default: visit(IExpressionNode, Object)

visit(JNEPostfixExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEPostfixExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEPreDecrementExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEPreDecrementExpression default: visit(IExpressionNode, Object)

visit(JNEPreDecrementExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEPreDecrementExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEPreIncrementExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEPreIncrementExpression default: visit(IExpressionNode, Object)

visit(JNEPreIncrementExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEPreIncrementExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNERelationalExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNERelationalExpression default: visit(LeftAssociativeOperatorExpression, Object)

visit(JNERelationalExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNERelationalExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEShiftExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEShiftExpression default: visit(LeftAssociativeOperatorExpression, Object)

visit(JNEShiftExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEShiftExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNEUnaryExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNEUnaryExpression default: visit(IExpressionNode, Object)

visit(JNEUnaryExpression, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNEUnaryExpression, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNFormalParameterList, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNFormalParameterList default: visit(IJevaNode, Object)

visit(JNFormalParameterList, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNFormalParameterList, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNFormalParameter, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNFormalParameter default: visit(IJevaNode, Object)

visit(JNFormalParameter, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNFormalParameter, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNNameList, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNNameList default: visit(IJevaNode, Object)

visit(JNNameList, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNNameList, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNName, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNName default: visit(IExpressionNode, Object)

visit(JNName, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNName, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNName, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceAllEvalHook

An override to avoid tracing simple names, but still trace field accesses

visit(JNName, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceMethods.FreeSimpleNamesCollector

Collects only simple names not in data nameEnv

visit(JNPrimitiveType, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNPrimitiveType default: visit(IJevaNode, Object)

visit(JNPrimitiveType, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNPrimitiveType, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNResultType, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNResultType default: visit(IJevaNode, Object)

visit(JNResultType, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNResultType, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSBlock, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSBlock default: visit(IStatementNode, Object)

visit(JNSBlock, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSBlock, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSBlock, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceMethods.FreeSimpleNamesCollector

Doesn't pass name definitions out of blocks

visit(JNSBreakStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSBreakStatement default: visit(IStatementNode, Object)

visit(JNSBreakStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSBreakStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSContinueStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSContinueStatement default: visit(IStatementNode, Object)

visit(JNSContinueStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSContinueStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSDoStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSDoStatement default: visit(IStatementNode, Object)

visit(JNSDoStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSDoStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSEmptyStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSEmptyStatement default: visit(IStatementNode, Object)

visit(JNSEmptyStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSEmptyStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSExplicitConstructorInvocation, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSExplicitConstructorInvocation default: visit(IStatementNode, Object)

visit(JNSExplicitConstructorInvocation, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSExplicitConstructorInvocation, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSExpressionStatementList, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSExpressionStatementList default: visit(IStatement, Object)

visit(JNSExpressionStatementList, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSExpressionStatementList, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSExpressionStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSExpressionStatement default: visit(IStatementNode, Object)

visit(JNSExpressionStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSExpressionStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSForStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSForStatement default: visit(IStatementNode, Object)

visit(JNSForStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSForStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSIfStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSIfStatement default: visit(IStatementNode, Object)

visit(JNSIfStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSIfStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSLabeledStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSLabeledStatement default: visit(IStatementNode, Object)

visit(JNSLabeledStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSLabeledStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSLocalVariableDeclaration, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSLocalVariableDeclaration default: visit(IStatementNode, Object)

visit(JNSLocalVariableDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSLocalVariableDeclaration, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSReturnStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSReturnStatement default: visit(IStatementNode, Object)

visit(JNSReturnStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSReturnStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSSwitchLabel, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSSwitchLabel default: visit(Simple, Object)

visit(JNSSwitchLabel, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSSwitchLabel, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSSwitchStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSSwitchStatement default: visit(IStatementNode, Object)

visit(JNSSwitchStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSSwitchStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSSynchronizedStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSSynchronizedStatement default: visit(IStatementNode, Object)

visit(JNSSynchronizedStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSSynchronizedStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSSynchronizedStatement, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceConstructsEvalHook

Trace entry and exit from synchronized blocks.

visit(JNSSynchronizedStatement, Object) - Method in class edu.mit.ai.psg.traveler.jevaHooks.TraceCallsEvalHook

Trace entry and exit from synchronized blocks.

visit(JNSThrowStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSThrowStatement default: visit(IStatementNode, Object)

visit(JNSThrowStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSThrowStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSTryStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSTryStatement default: visit(IStatementNode, Object)

visit(JNSTryStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSTryStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSVariableDeclarator, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSVariableDeclarator default: visit(IJevaNode, Object)

visit(JNSVariableDeclarator, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSVariableDeclarator, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNSVariableDeclarator, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceMethods.FreeSimpleNamesCollector

Adds locally defined name to data nameEnv, and collects initializer

visit(JNSWhileStatement, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNSWhileStatement default: visit(IStatementNode, Object)

visit(JNSWhileStatement, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNSWhileStatement, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNType, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

JNType default: visit(IJevaNode, Object)

visit(JNType, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

visit(JNType, Object) - Method in interface edu.mit.ai.psg.jeva.IJevaVisitor

visit(JNType, Object) - Method in class edu.mit.ai.psg.jeva.examples.TraceMethods.FreeSimpleNamesCollector

Doesn't explore type names

visit(LeftAssociativeOperatorExpression, Object) - Method in class edu.mit.ai.psg.jeva.JevaVisitorBase

LeftAssociativeOperatorExpression: default calls visit(IExpressionNode, Object)

visit(SimpleNode, Object) - Method in interface edu.mit.ai.psg.jeva.JevaParserVisitor

VOID - Static variable in interface edu.mit.ai.psg.jeva.JevaParserConstants

VOID - Static variable in interface edu.mit.ai.psg.jevaES.JevaESParserConstants

voidIClass - Static variable in class edu.mit.ai.psg.jeva.TypeMethods

VOLATILE - Static variable in interface edu.mit.ai.psg.jeva.JevaParserConstants

VOLATILE - Static variable in interface edu.mit.ai.psg.jevaES.JevaESParserConstants