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
 

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