Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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)
.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W