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

E

EclipseAbstractFieldAccess<N extends ASTNode> - Class in edu.cmu.cs.crystal.tac.eclipse
 
EclipseAbstractFieldAccess(N, IEclipseVariableQuery) - Constructor for class edu.cmu.cs.crystal.tac.eclipse.EclipseAbstractFieldAccess
 
EclipseBrokenFieldAccess - Class in edu.cmu.cs.crystal.tac.eclipse
 
EclipseBrokenFieldAccess(QualifiedName, IEclipseVariableQuery) - Constructor for class edu.cmu.cs.crystal.tac.eclipse.EclipseBrokenFieldAccess
 
EclipseCFG - Class in edu.cmu.cs.crystal.cfg.eclipse
Builds a CFG on the Eclipse AST.
EclipseCFG(MethodDeclaration) - Constructor for class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
EclipseCFG() - Constructor for class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
EclipseCFGEdge - Class in edu.cmu.cs.crystal.cfg.eclipse
 
EclipseCFGNode - Class in edu.cmu.cs.crystal.cfg.eclipse
This class has several purposes: 1) Wrap an ASTNode 2) Be a node in a CFG, with incoming and outgoing edges 3) Help us create a flat structure out of a heirarchical one.
EclipseCFGNode(ASTNode) - Constructor for class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
EclipseFieldDeclaration - Class in edu.cmu.cs.crystal.tac.eclipse
Field access constituted by a field declaration
EclipseFieldDeclaration(VariableDeclaration, IEclipseVariableQuery) - Constructor for class edu.cmu.cs.crystal.tac.eclipse.EclipseFieldDeclaration
 
EclipseImplicitFieldAccess - Class in edu.cmu.cs.crystal.tac.eclipse
 
EclipseImplicitFieldAccess(SimpleName, IEclipseVariableQuery) - Constructor for class edu.cmu.cs.crystal.tac.eclipse.EclipseImplicitFieldAccess
 
EclipseInstructionSequence - Class in edu.cmu.cs.crystal.tac.eclipse
 
EclipseInstructionSequence(ASTNode, TACInstruction[], int, IEclipseVariableQuery) - Constructor for class edu.cmu.cs.crystal.tac.eclipse.EclipseInstructionSequence
 
EclipseInstructionSequence(ASTNode, TACInstruction[], IEclipseVariableQuery) - Constructor for class edu.cmu.cs.crystal.tac.eclipse.EclipseInstructionSequence
 
EclipseNodeFirstCFG - Class in edu.cmu.cs.crystal.cfg.eclipse
A CFG which places the control flow node at the merge point.
EclipseNodeFirstCFG() - Constructor for class edu.cmu.cs.crystal.cfg.eclipse.EclipseNodeFirstCFG
 
EclipseNodeFirstCFG(MethodDeclaration) - Constructor for class edu.cmu.cs.crystal.cfg.eclipse.EclipseNodeFirstCFG
 
EclipseReferenceFieldAccess - Class in edu.cmu.cs.crystal.tac.eclipse
 
EclipseReferenceFieldAccess(FieldAccess, IEclipseVariableQuery) - Constructor for class edu.cmu.cs.crystal.tac.eclipse.EclipseReferenceFieldAccess
 
EclipseSuperFieldAccess - Class in edu.cmu.cs.crystal.tac.eclipse
 
EclipseSuperFieldAccess(SuperFieldAccess, IEclipseVariableQuery) - Constructor for class edu.cmu.cs.crystal.tac.eclipse.EclipseSuperFieldAccess
 
EclipseTAC - Class in edu.cmu.cs.crystal.tac.eclipse
This class converts AST nodes from a single method to TAC instructions.
EclipseTACInstructionFactory - Class in edu.cmu.cs.crystal.tac.eclipse
 
EclipseTACInstructionFactory() - Constructor for class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
edu.cmu.cs.crystal.analysis.alias - package edu.cmu.cs.crystal.analysis.alias
 
edu.cmu.cs.crystal.analysis.constant - package edu.cmu.cs.crystal.analysis.constant
 
edu.cmu.cs.crystal.analysis.live - package edu.cmu.cs.crystal.analysis.live
 
edu.cmu.cs.crystal.analysis.metrics - package edu.cmu.cs.crystal.analysis.metrics
 
edu.cmu.cs.crystal.analysis.print - package edu.cmu.cs.crystal.analysis.print
 
edu.cmu.cs.crystal.annotations - package edu.cmu.cs.crystal.annotations
Utilities for automatically retrieving and storing Java annotations for use by a Crystal analsysis.
edu.cmu.cs.crystal.bridge - package edu.cmu.cs.crystal.bridge
DEPRECATED PACKAGE! Do not use anything in this package; it only exists for the Plural analysis.
edu.cmu.cs.crystal.flow - package edu.cmu.cs.crystal.flow
This package is used for flow analyses.
edu.cmu.cs.crystal.flow.concur - package edu.cmu.cs.crystal.flow.concur
This experimental package is for running analyses concurrently.
edu.cmu.cs.crystal.flow.worklist - package edu.cmu.cs.crystal.flow.worklist
An internal package for running a flow analysis.
edu.cmu.cs.crystal.internal - package edu.cmu.cs.crystal.internal
An internal package for Crystal to interact with Eclipse and start running the analyses.
edu.cmu.cs.crystal.simple - package edu.cmu.cs.crystal.simple
This package is for creating very simple flow analyses; if you're new to flow analyses, start here.
edu.cmu.cs.crystal.tac.model - package edu.cmu.cs.crystal.tac.model
The interfaces for the three-address code (TAC) instructions and variables.
edu.cmu.cs.crystal.util.typehierarchy - package edu.cmu.cs.crystal.util.typehierarchy
 
empty() - Static method in class edu.cmu.cs.crystal.util.ConsList
Create a new, empty list.
enableAnalysis(String) - Static method in class edu.cmu.cs.crystal.internal.AbstractCrystalPlugin
Add the given name to the set of analyses that are enabled.
EnableAnalysisHandler - Class in edu.cmu.cs.crystal.internal
A handler for the "CrystalPlugin.enableanalysis" command.
EnableAnalysisHandler() - Constructor for class edu.cmu.cs.crystal.internal.EnableAnalysisHandler
 
endVisit(InfixExpression) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantAnalysis.DeadBranchChecker
 
endVisit(PrefixExpression) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantAnalysis.DeadBranchChecker
 
endVisit(Assignment) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableAnalysis.LiveVariableVisitor
 
endVisit(DoStatement) - Method in class edu.cmu.cs.crystal.analysis.metrics.LoopCounter
 
endVisit(EnhancedForStatement) - Method in class edu.cmu.cs.crystal.analysis.metrics.LoopCounter
 
endVisit(ForStatement) - Method in class edu.cmu.cs.crystal.analysis.metrics.LoopCounter
 
endVisit(WhileStatement) - Method in class edu.cmu.cs.crystal.analysis.metrics.LoopCounter
 
endVisit(AssertStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(BreakStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ContinueStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ConditionalExpression) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(DoStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(EnhancedForStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ForStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(LabeledStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(IfStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(MethodDeclaration) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ReturnStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(SwitchStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(CatchClause) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ThrowStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(WhileStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(Block) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ExpressionStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ParenthesizedExpression) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(SwitchCase) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(SynchronizedStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(VariableDeclarationExpression) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(VariableDeclarationFragment) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(VariableDeclarationStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(SingleVariableDeclaration) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ArrayAccess) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ArrayCreation) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ArrayInitializer) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(Assignment) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(CastExpression) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ConstructorInvocation) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(FieldAccess) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(InfixExpression) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(InstanceofExpression) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ClassInstanceCreation) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(MethodInvocation) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(PostfixExpression) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(PrefixExpression) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(QualifiedName) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(SuperConstructorInvocation) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(SuperFieldAccess) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(SuperMethodInvocation) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(StringLiteral) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ThisExpression) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(SimpleName) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(NullLiteral) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(NumberLiteral) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(TypeLiteral) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(CharacterLiteral) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(BooleanLiteral) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(ArrayType) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
TYPES *
endVisit(ParameterizedType) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(PrimitiveType) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(QualifiedType) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(SimpleType) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(WildcardType) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
endVisit(DoStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseNodeFirstCFG
 
endVisit(EnhancedForStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseNodeFirstCFG
 
endVisit(ForStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseNodeFirstCFG
 
endVisit(WhileStatement) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseNodeFirstCFG
 
EnhancedForConditionInstruction - Interface in edu.cmu.cs.crystal.tac.model
Instruction representing the "has next" test at the top of a Java 5 enhanced for loop.
equals(Object) - Method in class edu.cmu.cs.crystal.analysis.alias.AliasLE
 
equals(Object) - Method in class edu.cmu.cs.crystal.analysis.alias.DefaultObjectLabel
 
equals(Object) - Method in class edu.cmu.cs.crystal.flow.ExceptionalLabel
 
equals(Object) - Method in class edu.cmu.cs.crystal.flow.SwitchLabel
 
equals(Object) - Method in class edu.cmu.cs.crystal.tac.model.SourceVariable
 
equals(Object) - Method in class edu.cmu.cs.crystal.tac.model.TempVariable
 
equals(Object) - Method in class edu.cmu.cs.crystal.tac.model.TypeVariable
 
equals(Object) - Method in class edu.cmu.cs.crystal.util.Box
 
equals(Object) - Method in class edu.cmu.cs.crystal.util.Pair
 
eval(I) - Method in interface edu.cmu.cs.crystal.util.CollectionMethods.Mapping
 
ExceptionalLabel - Class in edu.cmu.cs.crystal.flow
A label for edges that are on exceptional control flow.
ExceptionalLabel(ITypeBinding) - Constructor for class edu.cmu.cs.crystal.flow.ExceptionalLabel
 
ExceptionMap<N,Node extends ICFGNode<N>> - Class in edu.cmu.cs.crystal.cfg
This class maintains the exception information for the CFG algorithm while it is building the graph.
ExceptionMap() - Constructor for class edu.cmu.cs.crystal.cfg.ExceptionMap
 
execute(ExecutionEvent) - Method in class edu.cmu.cs.crystal.internal.ClearWarningHandler
 
execute(ExecutionEvent) - Method in class edu.cmu.cs.crystal.internal.EnableAnalysisHandler
Will enable or disable an analysis based on which menu item was chosen.
execute(ExecutionEvent) - Method in class edu.cmu.cs.crystal.internal.IncludeClassFilesHandler
 
execute(ExecutionEvent) - Method in class edu.cmu.cs.crystal.internal.RunCrystalHandler
 
execute(ExecutionEvent) - Method in class edu.cmu.cs.crystal.internal.RunCrystalOnCurrentFileHandler
 
existsCommonSubtype(String, String) - Method in class edu.cmu.cs.crystal.util.typehierarchy.CachedTypeHierarchy
 
existsCommonSubtype(String, String, boolean, boolean) - Method in class edu.cmu.cs.crystal.util.typehierarchy.CachedTypeHierarchy
 
existsCommonSubtype(String, String) - Method in interface edu.cmu.cs.crystal.util.TypeHierarchy
 
existsCommonSubtype(String, String, boolean, boolean) - Method in interface edu.cmu.cs.crystal.util.TypeHierarchy
A version of existsCommonSubtype that allows for the client to skip checks if the client has already done them.
explicitQualifier(Name) - Method in class edu.cmu.cs.crystal.tac.model.ThisVariable
 
ExtendedIterator<T> - Interface in edu.cmu.cs.crystal.util
This interface extends regular iterators with the ability to replace the last element seen, using ExtendedIterator.replace(Object).

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