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

E

edu.mit.ai.psg.jeva - package edu.mit.ai.psg.jeva

Jeva is the core of a source code evaluator for Java programs; see edu.mit.ai.psg.jevaUI for user interfaces.

edu.mit.ai.psg.jeva.examples - package edu.mit.ai.psg.jeva.examples

edu.mit.ai.psg.jevaES - package edu.mit.ai.psg.jevaES

JevaES is a core source code evaluator for Java expressions and statements; see JevaESUI for user interfaces.

edu.mit.ai.psg.jevaESUI - package edu.mit.ai.psg.jevaESUI

JevaESGUI and JevaESCLI provide user interfaces for JevaES which accept typed expressions and statements.

edu.mit.ai.psg.jevaUI - package edu.mit.ai.psg.jevaUI

JevaGUI and JevaCLI provide user interfaces for Jeva which accept typed Java declarations, statements, and expressions.

edu.mit.ai.psg.jexa - package edu.mit.ai.psg.jexa

Jexa, a Java examiner, provides expandable/collapsible outlines for browsing through object nets.

edu.mit.ai.psg.jexa.awt - package edu.mit.ai.psg.jexa.awt

Jexa, a Java examiner (AWT version), provides expandable/collapsible outlines for browsing through object nets.

edu.mit.ai.psg.strings - package edu.mit.ai.psg.strings

Prettify Strings: Methods for safely producing object strings (Stringify), formatting output strings with nested parentheses, brackets, and braces (Prettify), and indenting multi-line strings (Indent, IndentWriter).

edu.mit.ai.psg.traveler - package edu.mit.ai.psg.traveler

Traveler provides means to trace/record the history of execution of concurrent programs, and to browse/navigate these records as nested call outlines, i.e., the activation order within threads, and as linear object biographies, i.e., the arrival order of synchronization at objects. Recording history can be particularly important in concurrent programs where nondeterministic scheduling means the arrival order of threads may not always repeat itself on subsequent runs.

edu.mit.ai.psg.traveler.jevaHooks - package edu.mit.ai.psg.traveler.jevaHooks

edu.mit.ai.psg.ui.outliner - package edu.mit.ai.psg.ui.outliner

Outliner creates expandable/collapsible outline views of objects using JTree, but rather than providing one renderer for all nodes in the tree, each node specifies its renderer, so different nodes may have different renderings, and a single node may have alternate renderings.

edu.mit.ai.psg.ui.outliner.awt - package edu.mit.ai.psg.ui.outliner.awt

Outliner.awt: core expandable/collapsible outline AWT components (OutlineTree), with protocol for looking up the most specific outline generator for new/child objects (Outliner), and interface for extending the set of generators to new classes and interfaces (IOutlineComponentGenerator).

edu.mit.ai.psg.ui.patches - package edu.mit.ai.psg.ui.patches

edu.mit.ai.psg.utilities - package edu.mit.ai.psg.utilities

Utilities: various utilities that extend java.util classes in useful ways, such as: HashMapCache: extends WeakHashMap to implement a true cache that doesn't prevent its keys nor values from being garbage collected.

elements - Variable in class edu.mit.ai.psg.utilities.VectorSet

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

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

emptyArray - Static variable in class edu.mit.ai.psg.jeva.InterpretedClass

EmptyEvalHook - class edu.mit.ai.psg.traveler.jevaHooks.EmptyEvalHook.

an empty hook to measure the overhead of invoking an eval hook

EmptyEvalHook() - Constructor for class edu.mit.ai.psg.traveler.jevaHooks.EmptyEvalHook

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

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

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

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

endColumn - Variable in class edu.mit.ai.psg.jeva.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.

endColumn - Variable in class edu.mit.ai.psg.jevaES.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.mit.ai.psg.jeva.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.mit.ai.psg.jevaES.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.

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

[Java Language Specification 1.0, sec 12.4 Initialization of Classes and Interfaces] "A class or interface type T will be *initialized* at its first active use*...".

ensureChildrenAreComputed(OutlineNode) - Method in class edu.mit.ai.psg.ui.outliner.OutlineModel

If children haven't been computed, nor are they being computed by this thread or another thread, then computeChildren.

ensureInitialized() - Static method in class edu.mit.ai.psg.jexa.Jexa

if necessary, initializes static Outliner.outlineMaker.

ensureInitialized() - Static method in class edu.mit.ai.psg.traveler.TravelerOutliner

ensureListValue(List) - Static method in class edu.mit.ai.psg.traveler.ActivityRecordBase

if list is null, returns Collections.EMPTY_LIST, else returns list

ensureUnfinished(Object) - Method in class edu.mit.ai.psg.traveler.ObservableSupport

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

enteredSynchronization(SynchronizationRecord) - Method in class edu.mit.ai.psg.traveler.TraceRecorderDefault

enteredSynchronization(SynchronizationRecord) - Method in interface edu.mit.ai.psg.traveler.TraceRecorder

If record is not the current activity, call entering(record).

enteredSynchronization(SynchronizationRecord) - Static method in class edu.mit.ai.psg.traveler.Trace

entering(ActivityRecord) - Method in class edu.mit.ai.psg.traveler.TraceRecorderDefault

adds record as child of current record, and sets current record to record

entering(ActivityRecord) - Method in interface edu.mit.ai.psg.traveler.TraceRecorder

Link record to parent activity within thread, and makes record the current activity.

entering(ActivityRecord) - Static method in class edu.mit.ai.psg.traveler.Trace

entrySet() - Method in class edu.mit.ai.psg.utilities.VectorMap

entrySet() - Method in class edu.mit.ai.psg.utilities.HashMapCache

entrySet() - Method in class edu.mit.ai.psg.utilities.ArrayMap

EnvBase - class edu.mit.ai.psg.jeva.EnvBase.

A base class for Environment nodes that forwards all requests to the next environment node.

EnvBase - class edu.mit.ai.psg.jevaES.EnvBase.

A base class for Environment nodes that forwards all requests to the next environment node.

EnvBase(IEnv) - Constructor for class edu.mit.ai.psg.jeva.EnvBase

EnvBase(IEnv) - Constructor for class edu.mit.ai.psg.jevaES.EnvBase

EnvEnd - class edu.mit.ai.psg.jeva.EnvEnd.

A tail environment node that holds the root package.

EnvEnd - class edu.mit.ai.psg.jevaES.EnvEnd.

A tail environment node that holds the root package.

environment - Variable in class edu.mit.ai.psg.jeva.VerifyingError

environment - Variable in class edu.mit.ai.psg.jeva.VerifyingException

environment - Variable in class edu.mit.ai.psg.jeva.EvaluatingError

environment - Variable in class edu.mit.ai.psg.jevaES.VerifyingException

environment - Variable in class edu.mit.ai.psg.jevaES.EvaluatingError

environment - Variable in class edu.mit.ai.psg.jevaES.VerifyingError

EnvLocalStore - class edu.mit.ai.psg.jeva.EnvLocalStore.

LocalStore implements storage for a local variable in an environment chain.

EnvLocalStore - class edu.mit.ai.psg.jevaES.EnvLocalStore.

LocalStore implements storage for a local variable in an environment chain.

EnvLocalStore(boolean, boolean, Class, String, IEnv) - Constructor for class edu.mit.ai.psg.jevaES.EnvLocalStore

EnvLocalStore(boolean, boolean, IClass, String, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EnvLocalStore

EnvOptionBits - class edu.mit.ai.psg.jeva.EnvOptionBits.

EnvOptionBits -- environment which specifies option bits; can be used to override the options of the environment, e.g., for debugger command prompt.

EnvOptionBits - class edu.mit.ai.psg.jevaES.EnvOptionBits.

EnvOptionBits -- environment which specifies option bits; can be used to override the options of the environment.

EnvOptionBits(int, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EnvOptionBits

EnvOptionBits(int, IEnv) - Constructor for class edu.mit.ai.psg.jevaES.EnvOptionBits

EnvProcedureBoundary - class edu.mit.ai.psg.jeva.EnvProcedureBoundary.

Env used at procedure-like boundaries so lookupLocal does not look any farther for local variable names.

EnvProcedureBoundary(String, IMember, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EnvProcedureBoundary

EnvThis - class edu.mit.ai.psg.jeva.EnvThis.

EnvThis stores object self reference in an environment chain.

EnvThis(Object, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EnvThis

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

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

eol - Variable in class edu.mit.ai.psg.jeva.ParseException

The end of line string for this machine.

eol - Variable in class edu.mit.ai.psg.jevaES.ParseException

The end of line string for this machine.

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

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

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

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

equals(Object) - Method in class edu.mit.ai.psg.jeva.WrappedClass

equals(Object) - Method in class edu.mit.ai.psg.jeva.WrappedMethod

equals(Object) - Method in class edu.mit.ai.psg.jeva.WrappedConstructor

equals(Object) - Method in class edu.mit.ai.psg.jeva.WrappedField

equals(Object) - Method in class edu.mit.ai.psg.jeva.InterpretedMethod

equals(Object) - Method in class edu.mit.ai.psg.ui.outliner.OutlineRendererDefault

equals if same class and same outlineMaker

equals(Object) - Method in class edu.mit.ai.psg.utilities.HashMapCache.Entry

equals(Object, Object) - Static method in class edu.mit.ai.psg.jeva.PrimitiveOperations

Numerical Equality ==

equals(Object, Object) - Static method in class edu.mit.ai.psg.jevaES.PrimitiveOperations

Numerical Equality ==

error - Variable in class edu.mit.ai.psg.jeva.VerifyingError

error - Variable in class edu.mit.ai.psg.jeva.EvaluatingError

error - Variable in class edu.mit.ai.psg.jevaES.EvaluatingError

error - Variable in class edu.mit.ai.psg.jevaES.VerifyingError

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

ErrorNotVariableOrField() - Method in class edu.mit.ai.psg.jeva.JNName

ErrorNotVariableOrField() - Method in class edu.mit.ai.psg.jevaES.JNName

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

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.ExpressionNode

Evaluate this expression (nodes should not call this method directly).

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEUnaryExpression

[Java Lang Spec 1.0 sec 15.14.3-6]

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

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.LeftAssociativeOperatorExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEArrayAccessExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEMethodInvocationExpression

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

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

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

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

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

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEArrayCreationExpression

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

Throws Error, as interpreter should never call this.

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

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEAssignmentExpression

Eval must evaluate left side target before right side expression [JavaLangSpec1.0 sec 15.25] So left side returns a thunk to do the store.

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

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNECastExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEInstanceOfExpression

[JavaLangSpec1.0 sec15.19.2 Type Comparison Operator instanceof]

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEConditionalAndExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEConditionalExpression

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

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

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

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

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEConditionalOrExpression

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

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEInstanceCreationExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNName

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

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEPostfixExpression

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

Sequentially evaluate each statement in block.

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

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

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

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

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNELiteralExpression

This should never be called.

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

Evaluate this Statement; don't call this directly, use EvalMethods.eval(IStatementNode, IEnv) Every statement needs to implement an eval method.

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

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEParenthesizedExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEPreIncrementExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEPreDecrementExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.ExpressionNode

Evaluate this expression (nodes should not call this method directly).

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNECastExpression

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

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEParenthesizedExpression

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

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

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNELiteralExpression

This should never be called.

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

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.LeftAssociativeOperatorExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEPostfixExpression

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

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

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

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

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

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

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

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

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

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEUnaryExpression

[Java Lang Spec 1.0 sec 15.14.3-6]

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEArrayAccessExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEInstanceCreationExpression

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

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEAssignmentExpression

Eval must evaluate left side target before right side expression [JavaLangSpec1.0 sec 15.25] So left side returns a thunk to do the store.

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEArrayCreationExpression

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

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEPreIncrementExpression

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

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

Sequentially evaluate each statement in block.

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEInstanceOfExpression

[JavaLangSpec1.0 sec15.19.2 Type Comparison Operator instanceof]

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEPreDecrementExpression

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

Evaluate this verified Statement (don't call this directly, use EvalMethods.eval).

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

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEConditionalOrExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNName

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEMethodInvocationExpression

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

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEConditionalExpression

eval(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEConditionalAndExpression

eval(IExpressionNode) - Static method in class edu.mit.ai.psg.jeva.EvalMethods

eval(IExpressionNode) - Static method in class edu.mit.ai.psg.jevaES.EvalMethods

return the value of previously verified expression in root env.

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

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

return the value of this previously verified expression in given env.

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

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

return IEnv, extended by previously verified statement.

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

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

return env extended by this previously verified statement in given env.

eval(JNCompilationUnit, String[]) - Static method in class edu.mit.ai.psg.jeva.EvalMethods

Finds public class of previously verified compilation unit, runs public static void main(String[]) method of this public class if one exists.

eval(JNCompilationUnit, String[], IEnv) - Static method in class edu.mit.ai.psg.jeva.EvalMethods

Calls "public static void main(String[])" method of public class in compilation unit.

eval(String[], IEnv) - Method in class edu.mit.ai.psg.jeva.JNCompilationUnit

Eval finds the public static void main(String[]) method of the public class (there should be only one) and runs it.

evalArgumentAt(int, IEnv) - Method in class edu.mit.ai.psg.jeva.JNSExplicitConstructorInvocation

evalArgumentAt(int, IEnv) - Method in class edu.mit.ai.psg.jeva.JNEArguments

Eval argument at index; used only to implement explicit constructor invocation from proxy class (see GenerateProxyClass)

evalArguments(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEArguments

Eval arguments left to right [JavaLangSpec1.0 sec 15.6.4]

evalArguments(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEArguments

Eval arguments left to right [JavaLangSpec1.0 sec 15.6.4]

evalConstructorBody(Class[], Object, Object[]) - Method in class edu.mit.ai.psg.jeva.InterpretedClass

Called by constructors in generated proxy classes to evaluate the body of the constructor after the explicit constructor invocation

evalConstructorBody(Object, Object[], IEnv) - Method in class edu.mit.ai.psg.jeva.JNDConstructorDeclaration

eval constructor body AFTER explicit constructor invocation

evalExplicitConstructorCallParameter(int, Class[], Object[]) - Method in class edu.mit.ai.psg.jeva.InterpretedClass

Called by constructors in generated proxy classes to evaluate each argument of its ExplicitConstructorInvocation.

evalExplicitConstructorCallParameter(int, Object[], IEnv) - Method in class edu.mit.ai.psg.jeva.JNDConstructorDeclaration

evalInitializer(IEnv) - Method in class edu.mit.ai.psg.jeva.JNSVariableDeclarator

also used by interpreted fields to initialize value

evalInitializer(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNSVariableDeclarator

evalInitializer(Object, IEnv) - Method in class edu.mit.ai.psg.jeva.JNEArrayInitializer

evalInitializer(Object, IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEArrayInitializer

EvalMethods - class edu.mit.ai.psg.jeva.EvalMethods.

Centralized static methods for evaluating nodes while catching exceptions.

EvalMethods - class edu.mit.ai.psg.jevaES.EvalMethods.

Centralized static methods for evaluating nodes while catching exceptions.

EvalMethods.AbruptData - class edu.mit.ai.psg.jeva.EvalMethods.AbruptData.

EvalHook data with AbruptCompletionException (includes ReturnException, ThrowException, BreakException, ContinueException)

EvalMethods.AbruptData(AbruptCompletionException, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.AbruptData

EvalMethods.BodyData - class edu.mit.ai.psg.jeva.EvalMethods.BodyData.

EvalHook data used for method, constructor, and synchrhronized blocks just after entering and just before exitting body

EvalMethods.BodyData(Object, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.BodyData

EvalMethods.EnteredBodyData - class edu.mit.ai.psg.jeva.EvalMethods.EnteredBodyData.

EvalHook data used for method, constructor, and synchrhronized blocks just after entering body.

EvalMethods.EnteredBodyData(Object, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.EnteredBodyData

EvalMethods.EvalHookData - class edu.mit.ai.psg.jeva.EvalMethods.EvalHookData.

EvalHook is passed instance of EvalHookData:

EvalMethods.EvalHookData(IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.EvalHookData

EvalMethods.EvalHookError - error edu.mit.ai.psg.jeva.EvalMethods.EvalHookError.

EvalMethods.EvalHookError(IJevaNode, Throwable, EvalMethods.EvalHookData) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.EvalHookError

EvalMethods.EvalHookPostData - class edu.mit.ai.psg.jeva.EvalMethods.EvalHookPostData.

EvalHook data, all cases after evaluating

EvalMethods.EvalHookPostData(IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.EvalHookPostData

EvalMethods.EvalHookPreData - class edu.mit.ai.psg.jeva.EvalMethods.EvalHookPreData.

EvalHook data, all cases prior to evaluating

EvalMethods.EvalHookPreData(IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.EvalHookPreData

EvalMethods.ExittingBodyAbruptlyData - class edu.mit.ai.psg.jeva.EvalMethods.ExittingBodyAbruptlyData.

EvalHook data used for method, constructor, and synchrhronized blocks just before exitting body.

EvalMethods.ExittingBodyAbruptlyData(Object, AbruptCompletionException, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.ExittingBodyAbruptlyData

EvalMethods.ExittingBodyData - class edu.mit.ai.psg.jeva.EvalMethods.ExittingBodyData.

EvalHook data used for method, constructor, and synchrhronized blocks just before exitting body.

EvalMethods.ExittingBodyData(Object, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.ExittingBodyData

EvalMethods.PreApplyData - class edu.mit.ai.psg.jeva.EvalMethods.PreApplyData.

EvalHook data after subexpression values have been evaluated, before node is evaluated

EvalMethods.PreApplyData(Object[], IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.PreApplyData

EvalMethods.PreEvalData - class edu.mit.ai.psg.jeva.EvalMethods.PreEvalData.

EvalHook data prior to evaluating expression or statement

EvalMethods.PreEvalData(IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.PreEvalData

EvalMethods.PreEvalToStoreData - class edu.mit.ai.psg.jeva.EvalMethods.PreEvalToStoreData.

EvalHook data prior to evaluating expression to store target for assignment

EvalMethods.PreEvalToStoreData(IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.PreEvalToStoreData

EvalMethods.ResultData - class edu.mit.ai.psg.jeva.EvalMethods.ResultData.

EvalHook data with expression result value

EvalMethods.ResultData(Object, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.ResultData

EvalMethods.ResultEnvData - class edu.mit.ai.psg.jeva.EvalMethods.ResultEnvData.

EvalHook data with statement result environment

EvalMethods.ResultEnvData(IEnv, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.ResultEnvData

EvalMethods.ResultStoreData - class edu.mit.ai.psg.jeva.EvalMethods.ResultStoreData.

EvalHook data with expression store target for assignment

EvalMethods.ResultStoreData(IStore, IEnv) - Constructor for class edu.mit.ai.psg.jeva.EvalMethods.ResultStoreData

evalObjectInitializations(Object) - Method in class edu.mit.ai.psg.jeva.InterpretedClass

Called by constructors in generated proxy classes to evaluate the class's field and object initializers

evalObjectInitializations(Object, IEnv) - Method in class edu.mit.ai.psg.jeva.JNDClassDeclaration

evalToStore(IEnv) - Method in class edu.mit.ai.psg.jeva.JNEArrayAccessExpression

Used by assignment.

evalToStore(IEnv) - Method in class edu.mit.ai.psg.jeva.JNName

evalToStore(IEnv) - Method in interface edu.mit.ai.psg.jeva.IExpressionStoreNode

evalToStore(IEnv) - Method in interface edu.mit.ai.psg.jevaES.IExpressionStoreNode

return an IStore which can read and write the location to assign to.

evalToStore(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNEArrayAccessExpression

Used by assignment.

evalToStore(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNName

evalToStore(IExpressionStoreNode) - Static method in class edu.mit.ai.psg.jeva.EvalMethods

evalToStore(IExpressionStoreNode) - Static method in class edu.mit.ai.psg.jevaES.EvalMethods

return IStore for getting or setting the location denoted by this previously verified expression in root env.

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

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

return an IStore to get or set the location denoted by this previously verified expression in the given env.

evaluate(IExpressionNode) - Static method in class edu.mit.ai.psg.jeva.EvalMethods

verify types then evaluate node with default env

evaluate(IExpressionNode) - Static method in class edu.mit.ai.psg.jevaES.EvalMethods

verify types then evaluate node with default env

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

verify types then evaluate node with given env

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

verify types then evaluate node with given env

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

verify types then evaluate node with default env

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

verify types then evaluate node with default env

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

verify types then evaluate node with given env

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

verify types then evaluate node with given env

evaluate(JNCompilationUnit, String[]) - Static method in class edu.mit.ai.psg.jeva.EvalMethods

verify types with default env, then find class with public static void main(String[]) method and call it with arguments.

evaluate(JNCompilationUnit, String[], IEnv) - Static method in class edu.mit.ai.psg.jeva.EvalMethods

verify types with env, then find public class with public static void main(String[]) method and call it with arguments.

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

Error used to capture context of internal errors thrown while evaluating.

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

Error used to capture context of internal errors thrown while evaluating.

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

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

eventIsPopupTriggerIsImplemented - Variable in class edu.mit.ai.psg.ui.outliner.OutlineMouseListener

set this to false if MouseEvent.isPopupTrigger() isn't working

examine(Object) - Static method in class edu.mit.ai.psg.jexa.Jexa

Convenience method: Starts an outline frame, but returns obj.

examine(Object) - Static method in class edu.mit.ai.psg.jexa.awt.Jexa

Starts an outline frame, and returns obj

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

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

execute(Object) - Method in class edu.mit.ai.psg.utilities.UnaryTrue

execute(Object) - Method in interface edu.mit.ai.psg.utilities.IUnaryFunction

execute(Object) - Method in interface edu.mit.ai.psg.utilities.IUnaryPredicate

exitting(ActivityRecord) - Method in class edu.mit.ai.psg.traveler.TraceRecorderDefault

pops record off current record stack, as well as any records above it

exitting(ActivityRecord) - Method in interface edu.mit.ai.psg.traveler.TraceRecorder

make parent of record, if any, the current record.

exitting(ActivityRecord) - Static method in class edu.mit.ai.psg.traveler.Trace

expectedTokenSequences - Variable in class edu.mit.ai.psg.jeva.ParseException

Each entry in this array is an array of integers.

expectedTokenSequences - Variable in class edu.mit.ai.psg.jevaES.ParseException

Each entry in this array is an array of integers.

explanation - Variable in class edu.mit.ai.psg.jeva.IllegalNameException

explanation - Variable in class edu.mit.ai.psg.jeva.IllegalConstructException

explanation - Variable in class edu.mit.ai.psg.jeva.IllegalTypeException

explanation - Variable in class edu.mit.ai.psg.jevaES.IllegalConstructException

explanation - Variable in class edu.mit.ai.psg.jevaES.IllegalNameException

explanation - Variable in class edu.mit.ai.psg.jevaES.IllegalTypeException

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

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

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

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

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

ExpressionNode - class edu.mit.ai.psg.jeva.ExpressionNode.

A base class for Expressions which caches its type (and value if constant).

ExpressionNode - class edu.mit.ai.psg.jevaES.ExpressionNode.

A base class for Expressions which caches its type (and value if constant).

ExpressionNode(int) - Constructor for class edu.mit.ai.psg.jeva.ExpressionNode

Creates an ExpressionNode with the given JevaParseTreeConstants ID

ExpressionNode(int) - Constructor for class edu.mit.ai.psg.jevaES.ExpressionNode

Creates an ExpressionNode with the given JevaParseTreeConstants ID

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

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

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

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

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

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

extendEnv(boolean, Class, String, Object, IEnv) - Static method in class edu.mit.ai.psg.jeva.Jeva

extendEnv(boolean, Class, String, Object, IEnv) - Static method in class edu.mit.ai.psg.jevaES.JevaES

Extend an env with a new local named value (may specify if final).

extendEnv(boolean, IClass, String, Object, IEnv) - Static method in class edu.mit.ai.psg.jeva.Jeva

Extend an env with a new local named value (may specify if final).

extendEnv(Class, String, Object, IEnv) - Static method in class edu.mit.ai.psg.jeva.Jeva

Extend an env with a new local named value (that is not final).

extendEnv(Class, String, Object, IEnv) - Static method in class edu.mit.ai.psg.jevaES.JevaES

Extend an env with a new local named value (that is not final).

extendEnv(IClass, String, Object, IEnv) - Static method in class edu.mit.ai.psg.jeva.Jeva

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

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

evaluates variable initializer and extends local environment with value

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

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