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
A
AbstractCompilationUnitAnalysis
- Class in
edu.cmu.cs.crystal
An ICrystal analysis which analyses each compilation unit as a whole.
AbstractCompilationUnitAnalysis()
- Constructor for class edu.cmu.cs.crystal.
AbstractCompilationUnitAnalysis
AbstractCrystalMethodAnalysis
- Class in
edu.cmu.cs.crystal
An ICrystalAnalysis which runs on each method (and constructor) of the class.
AbstractCrystalMethodAnalysis()
- Constructor for class edu.cmu.cs.crystal.
AbstractCrystalMethodAnalysis
AbstractCrystalPlugin
- Class in
edu.cmu.cs.crystal.internal
Provided Crystal plugin functionality
AbstractCrystalPlugin()
- Constructor for class edu.cmu.cs.crystal.internal.
AbstractCrystalPlugin
AbstractingTransferFunction
<
LE
> - Class in
edu.cmu.cs.crystal.simple
This class implements additional transfer functions that abstract or group other transfer functions according to the instruction hierarchy.
AbstractingTransferFunction()
- Constructor for class edu.cmu.cs.crystal.simple.
AbstractingTransferFunction
AbstractTACBranchSensitiveTransferFunction
<
LE
> - Class in
edu.cmu.cs.crystal.tac
Abstract base class for defining branch-sensitive flow analyses based on 3-address code instructions (
TACInstruction
).
AbstractTACBranchSensitiveTransferFunction()
- Constructor for class edu.cmu.cs.crystal.tac.
AbstractTACBranchSensitiveTransferFunction
Default constructor.
AbstractWorklist
<
LE
> - Class in
edu.cmu.cs.crystal.flow.worklist
AbstractWorklist(MethodDeclaration)
- Constructor for class edu.cmu.cs.crystal.flow.worklist.
AbstractWorklist
AbstractWorklist(MethodDeclaration, IProgressMonitor)
- Constructor for class edu.cmu.cs.crystal.flow.worklist.
AbstractWorklist
add(AnnotationSummary)
- Method in class edu.cmu.cs.crystal.annotations.
AnnotationSummary
add(int, T)
- Method in class edu.cmu.cs.crystal.util.
ConsList
add(T)
- Method in class edu.cmu.cs.crystal.util.
ConsList
addAll(Collection<? extends T>)
- Method in class edu.cmu.cs.crystal.util.
ConsList
addAll(int, Collection<? extends T>)
- Method in class edu.cmu.cs.crystal.util.
ConsList
addAllParameter(List<ICrystalAnnotation>, int)
- Method in class edu.cmu.cs.crystal.annotations.
AnnotationSummary
addAllReturn(List<ICrystalAnnotation>)
- Method in class edu.cmu.cs.crystal.annotations.
AnnotationSummary
addAnnotationToField(ICrystalAnnotation, FieldDeclaration)
- Method in class edu.cmu.cs.crystal.annotations.
AnnotationDatabase
addAnnotationToMethod(AnnotationSummary, MethodDeclaration)
- Method in class edu.cmu.cs.crystal.annotations.
AnnotationDatabase
addAnnotationToType(ICrystalAnnotation, TypeDeclaration)
- Method in class edu.cmu.cs.crystal.annotations.
AnnotationDatabase
addHandlerListener(IHandlerListener)
- Method in class edu.cmu.cs.crystal.internal.
ClearWarningHandler
addHandlerListener(IHandlerListener)
- Method in class edu.cmu.cs.crystal.internal.
EnableAnalysisHandler
addHandlerListener(IHandlerListener)
- Method in class edu.cmu.cs.crystal.internal.
RunCrystalHandler
addHandlerListener(IHandlerListener)
- Method in class edu.cmu.cs.crystal.internal.
RunCrystalOnCurrentFileHandler
addInputEdge(EclipseCFGEdge)
- Method in class edu.cmu.cs.crystal.cfg.eclipse.
EclipseCFGNode
addOutputEdge(EclipseCFGEdge)
- Method in class edu.cmu.cs.crystal.cfg.eclipse.
EclipseCFGNode
addParameter(ICrystalAnnotation, int)
- Method in class edu.cmu.cs.crystal.annotations.
AnnotationSummary
addReturn(ICrystalAnnotation)
- Method in class edu.cmu.cs.crystal.annotations.
AnnotationSummary
addSubtype(TypeNode)
- Method in class edu.cmu.cs.crystal.util.typehierarchy.
TypeNode
addSupertype(TypeNode)
- Method in class edu.cmu.cs.crystal.util.typehierarchy.
TypeNode
addToGraph(Graph, Node, Node)
- Method in class edu.cmu.cs.crystal.cfg.eclipse.
EclipseCFGEdge
addToGraph(Graph)
- Method in class edu.cmu.cs.crystal.cfg.eclipse.
EclipseCFGNode
addToMultiMap(K, V, Map<K, List<V>>)
- Static method in class edu.cmu.cs.crystal.util.
CollectionMethods
Add an element to a 'multi-map.' Modifies the map in place.
afterAllCompilationUnits()
- Method in class edu.cmu.cs.crystal.
AbstractCompilationUnitAnalysis
afterAllCompilationUnits()
- Method in class edu.cmu.cs.crystal.
AbstractCrystalMethodAnalysis
afterAllCompilationUnits()
- Method in interface edu.cmu.cs.crystal.
ICrystalAnalysis
Inform the analysis that all compilation units have been analyzed.
afterAllMethods(ITypeRoot, CompilationUnit)
- Method in class edu.cmu.cs.crystal.
AbstractCrystalMethodAnalysis
This method is invoked once after all methods are analyzed.
Aliasing
- Interface in
edu.cmu.cs.crystal.analysis.alias
This interface represents aliasing information about a program variable.
AliasLE
- Class in
edu.cmu.cs.crystal.analysis.alias
This is an immutable lattice.
analyses()
- Method in interface edu.cmu.cs.crystal.
IRunCrystalCommand
A set of analyses to run.
AnalysisDirection
- Enum in
edu.cmu.cs.crystal.flow
This enumeration is used to specify the direction of a flow analysis.
analysisJobs()
- Method in interface edu.cmu.cs.crystal.internal.
ICrystalJob
AnalysisMenuPopulator
- Class in
edu.cmu.cs.crystal.internal
The dynamic menu populator for the "Crystal" menu that will add an item for each registered analysis.
AnalysisMenuPopulator()
- Constructor for class edu.cmu.cs.crystal.internal.
AnalysisMenuPopulator
AnalysisMenuPopulator(String)
- Constructor for class edu.cmu.cs.crystal.internal.
AnalysisMenuPopulator
AnalysisResult
<
LE
,
N
,
OP
extends
IAbstractLatticeOperations
<
LE
,
N
>> - Class in
edu.cmu.cs.crystal.flow.worklist
Encapsulates the results of running an analysis.
AnalysisResult(Map<N, Set<ICFGNode<N>>>, Map<ICFGNode<N>, IResult<LE>>, Map<ICFGNode<N>, IResult<LE>>, OP, ICFGNode<N>, ICFGNode<N>)
- Constructor for class edu.cmu.cs.crystal.flow.worklist.
AnalysisResult
Creates copies of the given maps to encapsulate a new, un-modifiable result of an analysis.
analyzeCompilationUnit(CompilationUnit)
- Method in class edu.cmu.cs.crystal.
AbstractCompilationUnitAnalysis
Invoked once for each compilation unit.
analyzeMethod(MethodDeclaration)
- Method in class edu.cmu.cs.crystal.
AbstractCrystalMethodAnalysis
Invoked for each method or constructor in the class.
analyzeMethod(MethodDeclaration)
- Method in class edu.cmu.cs.crystal.analysis.alias.
MayAliasAnalysis
analyzeMethod(MethodDeclaration)
- Method in class edu.cmu.cs.crystal.analysis.constant.
ConstantAnalysis
analyzeMethod(MethodDeclaration)
- Method in class edu.cmu.cs.crystal.analysis.live.
LiveVariableAnalysis
analyzeMethod(MethodDeclaration)
- Method in class edu.cmu.cs.crystal.analysis.print.
PrintNodesAnalysis
analyzeMethod(MethodDeclaration)
- Method in class edu.cmu.cs.crystal.tac.
SimpleInstructionVisitor
analyzePreemitively(List<MethodDeclaration>)
- Method in class edu.cmu.cs.crystal.flow.concur.
ConcurrentFlowAnalysis
Perform dataflow analysis asynchronously on the list of methods given.
AnnotationDatabase
- Class in
edu.cmu.cs.crystal.annotations
This class is a database for annotations.
AnnotationDatabase()
- Constructor for class edu.cmu.cs.crystal.annotations.
AnnotationDatabase
AnnotationSummary
- Class in
edu.cmu.cs.crystal.annotations
Represents the annotations for a method declaration.
AnnotationSummary(String[])
- Constructor for class edu.cmu.cs.crystal.annotations.
AnnotationSummary
ArrayInitInstruction
- Interface in
edu.cmu.cs.crystal.tac.model
x = { y1, ..., yn }.
AssignmentInstruction
- Interface in
edu.cmu.cs.crystal.tac.model
Abstract x = ?.
ASTNodeToString(ASTNode)
- Static method in class edu.cmu.cs.crystal.util.
Utilities
Takes an ASTNode and creates a more useful textual representation of it.
atLeastAsPrecise(AliasLE, AliasLE, ASTNode)
- Method in class edu.cmu.cs.crystal.analysis.alias.
SingleObjectAliasOps
atLeastAsPrecise(BooleanConstantLE, BooleanConstantLE)
- Method in class edu.cmu.cs.crystal.analysis.constant.
BooleanConstantLatticeOps
atLeastAsPrecise(LiveVariableLE, LiveVariableLE)
- Method in class edu.cmu.cs.crystal.analysis.live.
LiveVariableLatticeOps
atLeastAsPrecise(LE, ASTNode)
- Method in interface edu.cmu.cs.crystal.bridge.
LatticeElement
Compares LatticeElements for precision.
atLeastAsPrecise(LE, LE, ASTNode)
- Method in class edu.cmu.cs.crystal.bridge.
LatticeElementOps
atLeastAsPrecise(LE, LE, N)
- Method in interface edu.cmu.cs.crystal.flow.
IAbstractLatticeOperations
Compares analysis information for precision; more precisely, determines whether the first argument is at least as precise as the second.
atLeastAsPrecise(LE, LE, ASTNode)
- Method in interface edu.cmu.cs.crystal.flow.
ILatticeOperations
Compares analysis information for precision; more precisely, determines whether the first argument is at least as precise as the second.
atLeastAsPrecise(LE, LE)
- Method in class edu.cmu.cs.crystal.simple.
SimpleLatticeOperations
Checks to see if the left side of the operand is more precise (or as precise) as the right side.
atLeastAsPrecise(LE, LE, ASTNode)
- Method in class edu.cmu.cs.crystal.simple.
SimpleLatticeOperations
More complex version of atLeastAsPrecise.
atLeastAsPrecise(TupleLatticeElement<K, LE>, TupleLatticeElement<K, LE>, ASTNode)
- Method in class edu.cmu.cs.crystal.simple.
TupleLatticeOperations
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