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

T

teal - Static variable in class edu.mit.ai.psg.ui.patches.HTMLColor

teal = "#008080"

test(String, ActivityRecordMethods.Iterator) - Static method in class edu.mit.ai.psg.traveler.ActivityRecordMethods

testInBiographyIterator() - Static method in class edu.mit.ai.psg.traveler.ActivityRecordMethods

testInThreadIterator() - Static method in class edu.mit.ai.psg.traveler.ActivityRecordMethods

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

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

THREW_EXCEPTION - Static variable in class edu.mit.ai.psg.traveler.CallRecordDefault

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

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

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

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

ThrowExceptions are thrown to implement thrown exceptions.

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

ThrowExceptions are thrown to implement thrown exceptions.

ThrowException(Throwable) - Constructor for class edu.mit.ai.psg.jeva.ThrowException

ThrowException(Throwable) - Constructor for class edu.mit.ai.psg.jevaES.ThrowException

throwing(CallRecord, Throwable) - Method in class edu.mit.ai.psg.traveler.TraceRecorderDefault

throwing(CallRecord, Throwable) - Method in interface edu.mit.ai.psg.traveler.TraceRecorder

Record thrown in record, and make record parent current activity in this thread (see TraceRecorder.exitting(edu.mit.ai.psg.traveler.ActivityRecord))

throwing(CallRecord, Throwable) - Static method in class edu.mit.ai.psg.traveler.Trace

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

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

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

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

ThrowsThrowableDeclaration - Static variable in class edu.mit.ai.psg.jevaUI.JevaUI

default {Throwable} argument for replTop

ThrowsThrowableDeclaration - Static variable in class edu.mit.ai.psg.jevaESUI.JevaESUI

default {Throwable} argument for replTop

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

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

titleFont - Static variable in class edu.mit.ai.psg.ui.patches.FrameableApplet

toBoolean(boolean) - Static method in class edu.mit.ai.psg.jeva.PrimitiveOperations

returns value ? Boolean.True : Boolean.false.

toBoolean(boolean) - Static method in class edu.mit.ai.psg.jevaES.PrimitiveOperations

returns value ? Boolean.True : Boolean.false.

toClass(IClass) - Static method in class edu.mit.ai.psg.jeva.TypeMethods

toClasses(IClass[]) - Static method in class edu.mit.ai.psg.jeva.TypeMethods

token - Variable in class edu.mit.ai.psg.jeva.JevaParser

token - Variable in class edu.mit.ai.psg.jevaES.JevaESParser

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

Describes the input token stream.

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

Describes the input token stream.

token_source - Variable in class edu.mit.ai.psg.jeva.JevaParser

token_source - Variable in class edu.mit.ai.psg.jevaES.JevaESParser

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

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

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

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

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.

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

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

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.

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

Error thrown by Token Manager

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

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

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

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for class edu.mit.ai.psg.jeva.TokenMgrError

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for class edu.mit.ai.psg.jevaES.TokenMgrError

TokenMgrError(String, int) - Constructor for class edu.mit.ai.psg.jeva.TokenMgrError

TokenMgrError(String, int) - Constructor for class edu.mit.ai.psg.jevaES.TokenMgrError

toPrimitiveIClass(IClass) - Static method in class edu.mit.ai.psg.jeva.TypeMethods

toPrimitiveType(Class) - Static method in class edu.mit.ai.psg.jeva.TypeMethods

toPrimitiveType(Class) - Static method in class edu.mit.ai.psg.jevaES.TypeMethods

Get primitive type associated with wrapper, e.g., for a new Long(0) return long.class

toSourceString(Class) - Static method in class edu.mit.ai.psg.jeva.TypeMethods

toSourceString(Class) - Static method in class edu.mit.ai.psg.jevaES.TypeMethods

Return source code declaration string for class even if it is an array, e.g., "int[][]" instead of "[[I", which is what type.getName() returns

toSourceString(IClass) - Static method in class edu.mit.ai.psg.jeva.TypeMethods

Return source code declaration string for class even if it is an array, e.g., "int[][]" instead of "[[I", which is what type.getName() returns

toString() - Method in class edu.mit.ai.psg.jeva.SimpleNode

toString() - Method in class edu.mit.ai.psg.jeva.VerifyingError

toString() - Method in class edu.mit.ai.psg.jeva.VerifyingException

toString() - Method in class edu.mit.ai.psg.jeva.EnvBase

toString() - Method in class edu.mit.ai.psg.jeva.EnvProcedureBoundary

toString() - Method in class edu.mit.ai.psg.jeva.EvaluatingError

toString() - Method in class edu.mit.ai.psg.jeva.CompileUnit.JavaCInProcess

toString() - Method in class edu.mit.ai.psg.jeva.CompileUnit.CompilerInOwnProcess

toString() - Method in class edu.mit.ai.psg.jeva.ThrowException

toString() - Method in class edu.mit.ai.psg.jeva.IllegalNameException

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

toString() - Method in class edu.mit.ai.psg.jeva.IllegalConstructException

toString() - Method in class edu.mit.ai.psg.jeva.EnvLocalStore

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

toString() - Method in class edu.mit.ai.psg.jeva.EnvEnd

toString() - Method in class edu.mit.ai.psg.jeva.IllegalTypeException

toString() - Method in class edu.mit.ai.psg.jeva.EvalMethods.EvalHookError

toString() - Method in class edu.mit.ai.psg.jeva.EnvOptionBits

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

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

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

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

toString() - Method in class edu.mit.ai.psg.jeva.Token

Returns the image.

toString() - Method in class edu.mit.ai.psg.jeva.EnvThis

toString() - Method in class edu.mit.ai.psg.jeva.InterpretedConstructor

toString() - Method in class edu.mit.ai.psg.jeva.InterpretedField

toString() - Method in class edu.mit.ai.psg.jeva.Package

toString() - Method in class edu.mit.ai.psg.jevaES.SimpleNode

toString() - Method in class edu.mit.ai.psg.jevaES.Token

Returns the image.

toString() - Method in class edu.mit.ai.psg.jevaES.EnvBase

toString() - Method in class edu.mit.ai.psg.jevaES.VerifyingException

toString() - Method in class edu.mit.ai.psg.jevaES.IllegalConstructException

toString() - Method in class edu.mit.ai.psg.jevaES.EnvLocalStore

toString() - Method in class edu.mit.ai.psg.jevaES.EvaluatingError

toString() - Method in class edu.mit.ai.psg.jevaES.EnvEnd

toString() - Method in class edu.mit.ai.psg.jevaES.EnvOptionBits

toString() - Method in class edu.mit.ai.psg.jevaES.IllegalNameException

toString() - Method in class edu.mit.ai.psg.jevaES.Package

toString() - Method in class edu.mit.ai.psg.jevaES.IllegalTypeException

toString() - Method in class edu.mit.ai.psg.jevaES.ThrowException

toString() - Method in class edu.mit.ai.psg.jevaES.VerifyingError

toString() - Method in class edu.mit.ai.psg.jexa.JexaApplet

toString() - Method in class edu.mit.ai.psg.traveler.ActivityRecordBase

subclasses must provide a print string

toString() - Method in class edu.mit.ai.psg.traveler.SynchronizationRecordDefault

returns "(synchronized(target) in member)"

toString() - Method in class edu.mit.ai.psg.traveler.CallRecordDefault

toString() - Method in class edu.mit.ai.psg.traveler.StringRecordObservable

toString() - Method in class edu.mit.ai.psg.traveler.SynchronizedRecordDefault

returns "(synchronized(target) in member)"

toString() - Method in class edu.mit.ai.psg.traveler.SynchronizationRecordDefault.Entry

toString() - Method in class edu.mit.ai.psg.traveler.SynchronizationRecordDefault.Exit

toString() - Method in class edu.mit.ai.psg.traveler.StringRecord

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

returns simple name of renderer class, used in pop-up menu

toString() - Method in class edu.mit.ai.psg.ui.outliner.OutlineNodeDefault

toString() - Method in class edu.mit.ai.psg.ui.outliner.CallOutlineNodeDefault

toString(String) - Method in class edu.mit.ai.psg.jeva.SimpleNode

toString(String) - Method in class edu.mit.ai.psg.jevaES.SimpleNode

toType(IEnv) - Method in class edu.mit.ai.psg.jeva.JNResultType

toType(IEnv) - Method in class edu.mit.ai.psg.jeva.JNType

toType(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNType

toType(IEnv) - Method in class edu.mit.ai.psg.jevaES.JNResultType

Trace - class edu.mit.ai.psg.traveler.Trace.

Trace recording facility which creates a tree of nested ActivityRecords for each thread invoking traced methods, and a biography sequencing records of entrances into synchronized activities for each synchronized object.

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

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

prints out "->" on calls, and "<-" on results, and calls TraceEvalHookBase.indentedTrace(PrintWriter, IJevaNode, Object) with an appropriately indenting printwriter.

TraceAllEvalHook - class edu.mit.ai.psg.jeva.examples.TraceAllEvalHook.

TraceAllEvalHook.java traces evaluation by printing out the source of each java construct and the values of its free variables.

TraceAllEvalHook() - Constructor for class edu.mit.ai.psg.jeva.examples.TraceAllEvalHook

TraceAllEvalHook(PrintWriter) - Constructor for class edu.mit.ai.psg.jeva.examples.TraceAllEvalHook

traceApplications(PrintWriter, IJevaNode, Object) - Static method in class edu.mit.ai.psg.jeva.examples.TraceMethods

Print out source expression with values substituted for immediate subexpressions.

TraceCallsEvalHook - class edu.mit.ai.psg.jeva.examples.TraceCallsEvalHook.

TraceCallsEvalHook.java traces only method call expressions.

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

A Jeva EvalHook which calls Trace methods to record method call and instance creation expressions, and records activities which use interpreted synchronized methods and blocks in the biography for the synchronizing object.

TraceCallsEvalHook() - Constructor for class edu.mit.ai.psg.jeva.examples.TraceCallsEvalHook

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

TraceCallsEvalHook(PrintWriter) - Constructor for class edu.mit.ai.psg.jeva.examples.TraceCallsEvalHook

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

A Jeva EvalHook which calls Trace methods to record method call and instance creation expressions, and records activities which use interpreted synchronized methods and blocks in the biography for the synchronizing object.

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

TraceEvalHookBase - class edu.mit.ai.psg.jeva.examples.TraceEvalHookBase.

TraceEvalHookBase.java provides indented printing for trace output.

TraceEvalHookBase() - Constructor for class edu.mit.ai.psg.jeva.examples.TraceEvalHookBase

TraceEvalHookBase(PrintWriter) - Constructor for class edu.mit.ai.psg.jeva.examples.TraceEvalHookBase

traceFreeNames(PrintWriter, IJevaNode, Object) - Static method in class edu.mit.ai.psg.jeva.examples.TraceMethods

Print out bindings of free names of node.

TraceMethods - class edu.mit.ai.psg.jeva.examples.TraceMethods.

Useful methods for trace hooks.

TraceMethods.FreeSimpleNamesCollector - class edu.mit.ai.psg.jeva.examples.TraceMethods.FreeSimpleNamesCollector.

Collect free simple names in node by calling method TraceMethods.FreeSimpleNamesCollector.collect(IJevaNode)

TraceMethods.FreeSimpleNamesCollector.NameEnv - class edu.mit.ai.psg.jeva.examples.TraceMethods.FreeSimpleNamesCollector.NameEnv.

List of names defined locally within source expr.

TraceMethods() - Constructor for class edu.mit.ai.psg.jeva.examples.TraceMethods

tracePostData(PrintWriter, IJevaNode, Object) - Static method in class edu.mit.ai.psg.jeva.examples.TraceMethods

Prints: value for expression results (nothing) for normally completed statements return value for return abrupt completions throw exception for throw abrupt completions break label for break abrupt completions continue label for continue abrupt completions Appropriate only for EvalMethods.EvalHookPostData

traceRecorder - Static variable in class edu.mit.ai.psg.traveler.Trace

travelerTrace: the single instance through which static methods indirectly invoke their implementation methods.

TraceRecorder - interface edu.mit.ai.psg.traveler.TraceRecorder.

Interface for trace recording facilities, which provide means to create a tree of nested ActivityRecords for each thread invoking traced methods, and a biography sequencing records of entrances into synchronized activities for each synchronized object.

TraceRecorderDefault - class edu.mit.ai.psg.traveler.TraceRecorderDefault.

TraceRecorderDefault provides a default implementation for TraceRecorder.

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

TraceRecorderObservable - class edu.mit.ai.psg.traveler.TraceRecorderObservable.

An alternate trace recorder that produces observable call records and provides means to observe additions to biographies.

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

traceSource(PrintWriter, IJevaNode, Object) - Static method in class edu.mit.ai.psg.jeva.examples.TraceMethods

Print out source expression for node, unindenting leading whitespace.

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

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

TravelerActivityRenderer - class edu.mit.ai.psg.traveler.TravelerActivityRenderer.

TravelerActivityRenderer: displays parent and children of ActivityRecords's for navigating Activity hierarchy.

TravelerActivityRenderer(OutlineMaker) - Constructor for class edu.mit.ai.psg.traveler.TravelerActivityRenderer

TravelerBiographyRenderer - class edu.mit.ai.psg.traveler.TravelerBiographyRenderer.

TravelerBiographyRenderer: children of object display the chronological history in records of threads gaining exclusive access to the object: synchronized method calls, resynchronizing after wait, etc.

TravelerBiographyRenderer(OutlineMaker) - Constructor for class edu.mit.ai.psg.traveler.TravelerBiographyRenderer

TravelerCallRenderer - class edu.mit.ai.psg.traveler.TravelerCallRenderer.

Renders call outline to display call trace records produced by Trace: child of call record are nested calls and other nested activities.

TravelerCallRenderer.ResultRenderer - class edu.mit.ai.psg.traveler.TravelerCallRenderer.ResultRenderer.

Class for renderer of result partner

TravelerCallRenderer(OutlineMaker) - Constructor for class edu.mit.ai.psg.traveler.TravelerCallRenderer

TravelerOutliner - class edu.mit.ai.psg.traveler.TravelerOutliner.

Extends Jexa outliner with alternate Renderers for ActivityRecord produced by Trace.

TravelerOutliner.TravelerOutlineMaker - class edu.mit.ai.psg.traveler.TravelerOutliner.TravelerOutlineMaker.

TravelerOutliner.TravelerOutlineMaker() - Constructor for class edu.mit.ai.psg.traveler.TravelerOutliner.TravelerOutlineMaker

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

travelerResourceName - Static variable in class edu.mit.ai.psg.traveler.TravelerOutliner

TreeNodeRenderer - class edu.mit.ai.psg.jexa.TreeNodeRenderer.

TreeNodeRenderer: displays parent and children of javax.swing.TreeNode's.

TreeNodeRenderer(OutlineMaker) - Constructor for class edu.mit.ai.psg.jexa.TreeNodeRenderer

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

If children haven't been computed (OutlineNode.childrenAreComputed()), nor are they being computed, then triggers creation of another thread to call OutlineModel.ensureChildrenAreComputed(edu.mit.ai.psg.ui.outliner.OutlineNode).

trimNewlines(String) - Static method in class edu.mit.ai.psg.strings.Indent

like String.trim(), but preserves indentation

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

trimToSize() - Method in class edu.mit.ai.psg.utilities.VectorSet

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

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

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

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

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

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

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

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

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

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

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

typeListString(IClass[]) - Static method in class edu.mit.ai.psg.jeva.InterpretedMember

returns comma separate list of type names.

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

Predicates and Methods for testing and comparing types.

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

Predicates and Methods for testing and comparing types.

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