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

C

CachedTypeHierarchy - Class in edu.cmu.cs.crystal.util.typehierarchy
 
CachedTypeHierarchy(IJavaProject) - Constructor for class edu.cmu.cs.crystal.util.typehierarchy.CachedTypeHierarchy
 
call(I) - Method in interface edu.cmu.cs.crystal.util.Lambda
 
call(I1, I2) - Method in interface edu.cmu.cs.crystal.util.Lambda2
 
call(T1, T2, T3) - Method in interface edu.cmu.cs.crystal.util.Lambda3
 
CastInstruction - Interface in edu.cmu.cs.crystal.tac.model
x = (T) y.
clear() - Method in class edu.cmu.cs.crystal.util.ConsList
 
clearConsole() - Method in class edu.cmu.cs.crystal.internal.UserConsoleView
Clears all text from the console
clearMarkersForCompUnit(ITypeRoot) - Method in interface edu.cmu.cs.crystal.IAnalysisReporter
For the given compilation unit, clear all the user problems which were reported, if necessary.
clearMarkersForCompUnit(ITypeRoot) - Method in class edu.cmu.cs.crystal.internal.StandardAnalysisReporter
 
ClearWarningHandler - Class in edu.cmu.cs.crystal.internal
Clears all Crystal warnings from every ICompilationUnit in the workspace.
ClearWarningHandler() - Constructor for class edu.cmu.cs.crystal.internal.ClearWarningHandler
 
clone() - Method in class edu.cmu.cs.crystal.cfg.BlockStack
 
clone() - Method in class edu.cmu.cs.crystal.cfg.ExceptionMap
 
collectAllSubs(HashSet<String>) - Method in class edu.cmu.cs.crystal.util.typehierarchy.TypeNode
Recursively adds all the subtypes of this node to the subs set
collectCompilationUnits(IJavaElement) - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
A recursive traversal of the IJavaModel starting from the given element to collect all ICompilationUnits.
collectCompilationUnits(IJavaElement, boolean) - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
A recursive traversal of the IJavaModel starting from the given element to collect all ITypeRoots, optionally including .class files available in libraries.
CollectionMethods - Class in edu.cmu.cs.crystal.util
 
CollectionMethods() - Constructor for class edu.cmu.cs.crystal.util.CollectionMethods
 
CollectionMethods.Mapping<I,O> - Interface in edu.cmu.cs.crystal.util
Interface used for the method in a map call.
compare(ICFGNode<?>, ICFGNode<?>) - Method in class edu.cmu.cs.crystal.flow.worklist.WorklistNodeOrderComparator
 
compilationUnits() - Method in interface edu.cmu.cs.crystal.IRunCrystalCommand
A list of compilation units that the analyses will be run on.
CompilationUnitTACs - Class in edu.cmu.cs.crystal.tac.eclipse
 
CompilationUnitTACs() - Constructor for class edu.cmu.cs.crystal.tac.eclipse.CompilationUnitTACs
 
completedDown() - Method in class edu.cmu.cs.crystal.util.typehierarchy.TypeNode
To be called when this type knows all of its subtypes.
concat(List<? extends T>, List<? extends T>) - Static method in class edu.cmu.cs.crystal.util.CollectionMethods
Concatenates two lists.
concat(ConsList<T>, ConsList<T>) - Static method in class edu.cmu.cs.crystal.util.ConsList
Concatenate the two given lists.
ConcurrentFlowAnalysis<LE> - Class in edu.cmu.cs.crystal.flow.concur
An implementation of IFlowAnalysis that analyzes methods in concurrently.
ConcurrentFlowAnalysis(ITransferFunction<LE>, List<MethodDeclaration>, Crystal) - Constructor for class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
Creates a new concurrent flow analysis and begins to analyze the given method bodies immediately.
ConcurrentFlowAnalysis(ITransferFunction<LE>, Crystal) - Constructor for class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
Creates a new concurrent flow analysis but does not analyze any methods immediately.
cons(T, ConsList<T>) - Static method in class edu.cmu.cs.crystal.util.ConsList
Create a new ConsList with hd as the first element and tl as the rest of the list.
ConsList<T> - Class in edu.cmu.cs.crystal.util
An immutable cons list.
ConsList() - Constructor for class edu.cmu.cs.crystal.util.ConsList
 
ConstantAnalysis - Class in edu.cmu.cs.crystal.analysis.constant
 
ConstantAnalysis() - Constructor for class edu.cmu.cs.crystal.analysis.constant.ConstantAnalysis
 
ConstantAnalysis.DeadBranchChecker - Class in edu.cmu.cs.crystal.analysis.constant
 
ConstantAnalysis.DeadBranchChecker() - Constructor for class edu.cmu.cs.crystal.analysis.constant.ConstantAnalysis.DeadBranchChecker
 
ConstantTransferFunction - Class in edu.cmu.cs.crystal.analysis.constant
 
ConstantTransferFunction() - Constructor for class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
ConstructorCallInstruction - Interface in edu.cmu.cs.crystal.tac.model
x(y1, ..., yn), where x is "this" or "super".
contains(Object) - Method in class edu.cmu.cs.crystal.util.ConsList
 
containsAll(Collection<?>) - Method in class edu.cmu.cs.crystal.util.ConsList
 
copy(AliasLE) - Method in class edu.cmu.cs.crystal.analysis.alias.SingleObjectAliasOps
 
copy(BooleanConstantLE) - Method in class edu.cmu.cs.crystal.analysis.constant.BooleanConstantLatticeOps
 
copy(LiveVariableLE) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableLatticeOps
 
copy(LE) - Method in class edu.cmu.cs.crystal.bridge.LatticeElementOps
 
copy(LE) - Method in interface edu.cmu.cs.crystal.flow.IAbstractLatticeOperations
Creates a new deep copy of the given analysis information.
copy(LE) - Method in interface edu.cmu.cs.crystal.flow.ILatticeOperations
Creates a new deep copy of the given analysis information.
copy(LE) - Method in class edu.cmu.cs.crystal.simple.SimpleLatticeOperations
Creates a new deep copy of the given analysis information.
copy(TupleLatticeElement<K, LE>) - Method in class edu.cmu.cs.crystal.simple.TupleLatticeOperations
 
copy() - Method in interface edu.cmu.cs.crystal.util.Copyable
Creates a new deep copy of this C.
Copyable<C extends Copyable<C>> - Interface in edu.cmu.cs.crystal.util
 
CopyInstruction - Interface in edu.cmu.cs.crystal.tac.model
x = y.
create(Set<ObjectLabel>) - Static method in class edu.cmu.cs.crystal.analysis.alias.AliasLE
Create new lattice element with the given set of labels; do not mutate the given set after this call.
create(ObjectLabel) - Static method in class edu.cmu.cs.crystal.analysis.alias.AliasLE
Create new lattice element with only the given label in the label set.
create(LE) - Static method in class edu.cmu.cs.crystal.bridge.LatticeElementOps
Create lattice operations for a given bottom element.
create(ArrayAccess, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(ArrayCreation, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(ArrayInitializer, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(Assignment, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(BooleanLiteral, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(CastExpression, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(CharacterLiteral, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(ClassInstanceCreation, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(ConditionalExpression, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(ConstructorInvocation, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(EnhancedForStatement, EclipseTAC) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(FieldAccess, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
This is not the only AST node that could represent a field access
create(InfixExpression, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(InstanceofExpression, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(MethodInvocation, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(NullLiteral, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(NumberLiteral, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(PostfixExpression, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(PrefixExpression, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(QualifiedName, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(ReturnStatement, EclipseTAC) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(SimpleName, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(StringLiteral, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(SuperConstructorInvocation, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(SuperFieldAccess, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(SuperMethodInvocation, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(ThisExpression, ThisVariable, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(TypeLiteral, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(VariableDeclaration, IEclipseVariableQuery) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
 
create(A, B) - Static method in class edu.cmu.cs.crystal.util.Pair
 
createBranchInsensitiveWorklist(MethodDeclaration, ITransferFunction<LE>) - Method in class edu.cmu.cs.crystal.flow.worklist.WorklistFactory
Creates a worklist object that performs a conventional flow analysis on the given method with the given transfer function.
createBranchSensitiveWorklist(MethodDeclaration, IBranchSensitiveTransferFunction<LE>) - Method in class edu.cmu.cs.crystal.flow.worklist.WorklistFactory
Creates a worklist object that performs a branch-sensitive flow analysis on the given method with the given transfer function.
createCrystalAnnotation(IType) - Method in class edu.cmu.cs.crystal.annotations.AnnotationDatabase
See AnnotationDatabase.createCrystalAnnotation(ITypeBinding).
createCrystalAnnotation(ITypeBinding) - Method in class edu.cmu.cs.crystal.annotations.AnnotationDatabase
 
createEntryValue(MethodDeclaration) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
createEntryValue(MethodDeclaration) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
createEntryValue(MethodDeclaration) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
createEntryValue(MethodDeclaration) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysisDefinition
Creates entry analysis information for analyzing a given method.
createGraph(MethodDeclaration) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
createPartControl(Composite) - Method in class edu.cmu.cs.crystal.internal.UserConsoleView
Called by the framework to open the view.
createPostOrderAndPopulateNodeMap(IControlFlowGraph<N>, Map<N, Set<ICFGNode<N>>>, boolean) - Static method in class edu.cmu.cs.crystal.flow.worklist.WorklistNodeOrderComparator
Builds a post-order comparator for the nodes in the given CFG, in which a node is bigger than all of its successors (predecessors) if isForward is true (false), and populates a map from AST nodes to all their corresponding nodes in the given CFG.
createResult(List<ILabel>, LE) - Static method in class edu.cmu.cs.crystal.flow.LabeledResult
Create a result for the given labels with the given default value.
createResult(LE) - Static method in class edu.cmu.cs.crystal.flow.LabeledResult
Create a result with the given default value but no labels.
createResult(LE, Collection<ILabel>) - Static method in class edu.cmu.cs.crystal.flow.LabeledSingleResult
Creates a result that maps the given labels to the given lattice element.
createResult(LE, ILabel...) - Static method in class edu.cmu.cs.crystal.flow.LabeledSingleResult
Creates a result that maps the given labels to the given lattice element.
createSetWithoutElement(Set<T>, T) - Static method in class edu.cmu.cs.crystal.util.CollectionMethods
 
createTriple(F, S, T) - Static method in class edu.cmu.cs.crystal.util.Triple
 
Crystal - Class in edu.cmu.cs.crystal.internal
Provides the ability to run the analyses.
Crystal() - Constructor for class edu.cmu.cs.crystal.internal.Crystal
 
CrystalAnnotation - Class in edu.cmu.cs.crystal.annotations
The simplest kind of ICrystalAnnotation.
CrystalAnnotation(String) - Constructor for class edu.cmu.cs.crystal.annotations.CrystalAnnotation
 
CrystalAnnotation() - Constructor for class edu.cmu.cs.crystal.annotations.CrystalAnnotation
 
CrystalFileAction - Class in edu.cmu.cs.crystal.internal
An action that will be called when a popup menu is used to run Crystal.
CrystalFileAction() - Constructor for class edu.cmu.cs.crystal.internal.CrystalFileAction
Constructor for Action1.
CrystalPlugin - Class in edu.cmu.cs.crystal.internal
Deprecated. 
CrystalPlugin() - Constructor for class edu.cmu.cs.crystal.internal.CrystalPlugin
Deprecated.  
CrystalPreferences - Class in edu.cmu.cs.crystal.internal
 
CrystalPreferences() - Constructor for class edu.cmu.cs.crystal.internal.CrystalPreferences
 
CrystalRuntimeException - Exception in edu.cmu.cs.crystal.internal
 
CrystalRuntimeException(String) - Constructor for exception edu.cmu.cs.crystal.internal.CrystalRuntimeException
 
CrystalUIAction - Class in edu.cmu.cs.crystal.internal
Begins the execution of the Crystal framework when the corresponding GUI element is triggered.
CrystalUIAction() - Constructor for class edu.cmu.cs.crystal.internal.CrystalUIAction
 

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