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

G

get(ILabel) - Method in interface edu.cmu.cs.crystal.flow.IResult
Clients should not modify the returned value.
get(ILabel) - Method in class edu.cmu.cs.crystal.flow.LabeledResult
 
get(ILabel) - Method in class edu.cmu.cs.crystal.flow.LabeledSingleResult
 
get(ILabel) - Method in class edu.cmu.cs.crystal.flow.SingleResult
 
get(K) - Method in class edu.cmu.cs.crystal.simple.TupleLatticeElement
Retrieves the lattice information for a given key.
get(int) - Method in class edu.cmu.cs.crystal.util.ConsList
 
get(K) - Method in interface edu.cmu.cs.crystal.util.SimpleMap
 
getAccessedArrayOperand() - Method in interface edu.cmu.cs.crystal.tac.model.TACArrayAccess
Returns the array from which a cell is loaded.
getAccessedObject() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseAbstractFieldAccess
 
getAccessedObject() - Method in interface edu.cmu.cs.crystal.tac.eclipse.IEclipseFieldAccess
Returns the variable representing the target of the field access.
getAccessedObjectOperand() - Method in interface edu.cmu.cs.crystal.tac.model.TACFieldAccess
Returns the object of which this field is a part.
getAfterAliases(Variable, ASTNode) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
Get the aliases of a variable at a particular node.
getAfterAliasLabels(Variable, ASTNode) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
 
getAfterAliasLabels(String, ASTNode) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
 
getAfterAliasLabels(ITypeBinding, ASTNode) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
 
getAliasOps() - Static method in class edu.cmu.cs.crystal.analysis.alias.SingleObjectAliasOps
Returns the singleton instance of this class.
getAllLabelsAfter(TACInstruction) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
 
getAllLabelsBefore(TACInstruction) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
 
getAnalyses() - Method in class edu.cmu.cs.crystal.internal.Crystal
 
getAnalysisContext() - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
getAnalysisContext() - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
getAnalysisDirection() - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
getAnalysisDirection() - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
getAnalysisDirection() - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysisDefinition
Informs Crystal in which direction to perform the analysis.
getAnalysisDirection() - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
getAnalysisDirection() - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
Returns AnalysisDirection.FORWARD_ANALYSIS.
getAnalyzedMethod() - Method in interface edu.cmu.cs.crystal.tac.ITACAnalysisContext
 
getAnnoDB() - Method in interface edu.cmu.cs.crystal.IAnalysisInput
 
getAnnosForType(IType) - Method in class edu.cmu.cs.crystal.annotations.AnnotationDatabase
This method will return the list of annotations associated with the given type.
getAnnosForType(ITypeBinding) - Method in class edu.cmu.cs.crystal.annotations.AnnotationDatabase
This method will return the list of annotations associated with the given type.
getAnnosForVariable(IVariableBinding) - Method in class edu.cmu.cs.crystal.annotations.AnnotationDatabase
This method will return the list of annotations associated with the given variable.
getArgOperands() - Method in interface edu.cmu.cs.crystal.tac.model.ConstructorCallInstruction
 
getArgOperands() - Method in interface edu.cmu.cs.crystal.tac.model.TACInvocation
Returns the operands for the arguments passed into an invocation.
getArrayIndex() - Method in interface edu.cmu.cs.crystal.tac.model.TACArrayAccess
Returns the operand representing the index of the array access.
getArrayType() - Method in interface edu.cmu.cs.crystal.tac.model.NewArrayInstruction
Returns the type of the array being created.
getASTNode() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
getASTNode() - Method in interface edu.cmu.cs.crystal.cfg.ICFGNode
 
getASTNodeFromBinding(IBinding) - Method in class edu.cmu.cs.crystal.internal.Crystal
Retrieves the declaring ASTNode of the binding.
getASTNodeFromCompilationUnit(ITypeRoot) - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
Gets the root ASTNode for a compilation unit, with bindings on.
getBeforeAliases(Variable, ASTNode) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
Get the aliases of a variable at a particular node.
getBeforeAliasLabels(Variable, ASTNode) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
 
getBeforeAliasLabels(ITypeBinding, ASTNode) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
Get all the object labels at this node which have the given type, regardless of who the alias is.
getBeforeAliasLabels(String, ASTNode) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
 
getBinding() - Method in class edu.cmu.cs.crystal.tac.model.SourceVariable
We can get the original java source binding.
getBooleanLabel(boolean) - Static method in class edu.cmu.cs.crystal.flow.BooleanLabel
 
getBranchValue() - Method in class edu.cmu.cs.crystal.flow.BooleanLabel
 
getBreakPoint(String) - Method in class edu.cmu.cs.crystal.cfg.BlockStack
 
getCastToTypeNode() - Method in interface edu.cmu.cs.crystal.tac.model.CastInstruction
Returns the type the operand is being casted to.
getCatchNode(ITypeBinding) - Method in class edu.cmu.cs.crystal.cfg.ExceptionMap
 
getCfgEndNode() - Method in class edu.cmu.cs.crystal.flow.worklist.AnalysisResult
 
getCfgStartNode() - Method in class edu.cmu.cs.crystal.flow.worklist.AnalysisResult
 
getComUnitTACs() - Method in interface edu.cmu.cs.crystal.IAnalysisInput
 
getConstructionObject() - Method in interface edu.cmu.cs.crystal.tac.model.ConstructorCallInstruction
Returns variable for the object being constructed, i.e., this or super.
getContinuePoint(String) - Method in class edu.cmu.cs.crystal.cfg.BlockStack
 
getCrystalInstance() - Static method in class edu.cmu.cs.crystal.internal.AbstractCrystalPlugin
 
getDeclaredVariable() - Method in interface edu.cmu.cs.crystal.tac.model.SourceVariableDeclaration
Returns the variable being declared.
getDeclNodeFromType(IType) - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
Given an IType from the model, this method will return the ast node associated with that type, or null if it doesn't exist.
getDefault() - Method in class edu.cmu.cs.crystal.simple.TupleLatticeOperations
 
getDestinationArray() - Method in interface edu.cmu.cs.crystal.tac.model.StoreArrayInstruction
Returns the array being written into.
getDestinationObject() - Method in interface edu.cmu.cs.crystal.tac.model.StoreFieldInstruction
Returns the object being stored into.
getDimensionOperands() - Method in interface edu.cmu.cs.crystal.tac.model.NewArrayInstruction
Returns the list of operands specifying dimensions of the allocated array.
getDimensions() - Method in interface edu.cmu.cs.crystal.tac.model.NewArrayInstruction
Returns the number of dimensions in the new array.
getDotGraph() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
getDotGraph() - Method in interface edu.cmu.cs.crystal.cfg.IControlFlowGraph
 
getEnabledAnalyses() - Static method in class edu.cmu.cs.crystal.internal.AbstractCrystalPlugin
Returns the set of analyses that are enabled at the moment this method is called.
getEnclosingInstanceSpecifier() - Method in interface edu.cmu.cs.crystal.tac.model.ConstructorCallInstruction
Specifier of an enclosing instance passed into the constructor, if any.
getEnd() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
getEnd() - Method in interface edu.cmu.cs.crystal.cfg.ICFGNode
 
getEndNode() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
getEndNode() - Method in interface edu.cmu.cs.crystal.cfg.IControlFlowGraph
 
getEndResults(MethodDeclaration) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
 
getEndResults(MethodDeclaration) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Gets the lattice results at the end of a method.
getEndResults(MethodDeclaration) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
 
getExceptionalExits() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
getExceptionalExits() - Method in interface edu.cmu.cs.crystal.cfg.IControlFlowGraph
 
getExceptionType() - Method in class edu.cmu.cs.crystal.flow.ExceptionalLabel
 
getFieldName() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseBrokenFieldAccess
 
getFieldName() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseFieldDeclaration
 
getFieldName() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseImplicitFieldAccess
 
getFieldName() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseReferenceFieldAccess
 
getFieldName() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseSuperFieldAccess
 
getFieldName() - Method in interface edu.cmu.cs.crystal.tac.eclipse.IEclipseFieldAccess
Returns the name of the accessed field.
getFieldName() - Method in interface edu.cmu.cs.crystal.tac.model.TACFieldAccess
Returns the name of the field being accessed.
getFinallyToException(ITypeBinding) - Method in class edu.cmu.cs.crystal.cfg.ExceptionMap
Returns a stack of nodes that are the finally nodes up to the exception.
getImplicitThisVariable(IBinding) - Method in interface edu.cmu.cs.crystal.tac.ITACFlowAnalysis
Returns the implicit this variable for accessing a given method or field after previously analyzing the method surrounding the access. It is the caller's responsibility to make sure to call this method only when analysis results for the method surrounding the access are available.
getImplicitThisVariable(IBinding) - Method in class edu.cmu.cs.crystal.tac.TACFlowAnalysis
 
getInitOperand() - Method in interface edu.cmu.cs.crystal.tac.model.NewArrayInstruction
Returns the array initializer, if any.
getInitOperands() - Method in interface edu.cmu.cs.crystal.tac.model.ArrayInitInstruction
Returns the operands initializing the array.
getInput() - Method in class edu.cmu.cs.crystal.AbstractCompilationUnitAnalysis
 
getInput() - Method in class edu.cmu.cs.crystal.AbstractCrystalMethodAnalysis
 
getInput() - Method in interface edu.cmu.cs.crystal.ICrystalAnalysis
 
getInputEdges(ILabel) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
Filters the output edges by the label we are looking for.
getInputEdges(ILabel) - Method in interface edu.cmu.cs.crystal.cfg.ICFGNode
 
getInputs() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
getInputs() - Method in interface edu.cmu.cs.crystal.cfg.ICFGNode
 
getInstance() - Static method in class edu.cmu.cs.crystal.internal.UserConsoleView
The instance of this singleton can be retrieved through this method.
getIteratedOperand() - Method in interface edu.cmu.cs.crystal.tac.model.EnhancedForConditionInstruction
Returns the variable of the iterated-over Iterable.
getItrLabel(boolean) - Static method in class edu.cmu.cs.crystal.flow.IteratorLabel
 
getKeySet() - Method in class edu.cmu.cs.crystal.simple.TupleLatticeElement
Returns the set of keys for which lattice information was previously stored.
getKeyword() - Method in class edu.cmu.cs.crystal.tac.model.KeywordVariable
Which keyword does this variable represent?
getKeyword() - Method in class edu.cmu.cs.crystal.tac.model.SuperVariable
 
getKeyword() - Method in class edu.cmu.cs.crystal.tac.model.ThisVariable
 
getLabel() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGEdge
 
getLabel() - Method in interface edu.cmu.cs.crystal.cfg.ICFGEdge
 
getLabel() - Method in class edu.cmu.cs.crystal.flow.BooleanLabel
 
getLabel() - Method in class edu.cmu.cs.crystal.flow.ExceptionalLabel
 
getLabel() - Method in interface edu.cmu.cs.crystal.flow.ILabel
 
getLabel() - Method in class edu.cmu.cs.crystal.flow.IteratorLabel
 
getLabel() - Method in class edu.cmu.cs.crystal.flow.NormalLabel
 
getLabel() - Method in class edu.cmu.cs.crystal.flow.SwitchLabel
 
getLabeledEndResult(MethodDeclaration) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
 
getLabeledEndResult(MethodDeclaration) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Gets the lattice results at the end of a method.
getLabeledEndResult(MethodDeclaration) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
 
getLabeledResultsAfter(ASTNode) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
 
getLabeledResultsAfter(ASTNode) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Retrieves the analysis state that exists after analyzing the node in the control flow graph.
getLabeledResultsAfter(ASTNode) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
 
getLabeledResultsAfter() - Method in class edu.cmu.cs.crystal.flow.worklist.AnalysisResult
 
getLabeledResultsAfter(TACInstruction) - Method in interface edu.cmu.cs.crystal.tac.ITACFlowAnalysis
Retrieves the analysis state that exists after analyzing the instruction.
getLabeledResultsAfter(TACInstruction) - Method in class edu.cmu.cs.crystal.tac.TACFlowAnalysis
 
getLabeledResultsBefore(ASTNode) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
 
getLabeledResultsBefore(ASTNode) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Retrieves the analysis state that exists before analyzing the node in the control flow graph.
getLabeledResultsBefore(ASTNode) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
 
getLabeledResultsBefore() - Method in class edu.cmu.cs.crystal.flow.worklist.AnalysisResult
 
getLabeledResultsBefore(TACInstruction) - Method in interface edu.cmu.cs.crystal.tac.ITACFlowAnalysis
Retrieves the analysis state that exists before analyzing the instruction.
getLabeledResultsBefore(TACInstruction) - Method in class edu.cmu.cs.crystal.tac.TACFlowAnalysis
 
getLabeledStartResult(MethodDeclaration) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
 
getLabeledStartResult(MethodDeclaration) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Gets the lattice results at the start of a method.
getLabeledStartResult(MethodDeclaration) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
 
getLabels() - Method in interface edu.cmu.cs.crystal.analysis.alias.Aliasing
 
getLabels() - Method in class edu.cmu.cs.crystal.analysis.alias.AliasLE
 
getLattice() - Method in class edu.cmu.cs.crystal.flow.worklist.AnalysisResult
 
getLatticeOperations() - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
getLatticeOperations() - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
getLatticeOperations() - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
getLatticeOperations() - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysisDefinition
Gets the lattice operations for computing flow analysis results for a given method.
getLiteral() - Method in interface edu.cmu.cs.crystal.tac.model.LoadLiteralInstruction
This method returns the literal that is being assigned in this 3 address code statement.
getLoopDepth(ASTNode) - Method in class edu.cmu.cs.crystal.analysis.metrics.LoopCounter
 
getMatchExpression() - Method in class edu.cmu.cs.crystal.flow.SwitchLabel
 
getMethodDeclaration(ASTNode) - Static method in class edu.cmu.cs.crystal.util.Utilities
Finds the method declaration that this node is within.
getMethodDeclFromModel(IMethod) - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
Returns the AST node associated with the given model element, which in this case is a method.
getMethodName() - Method in interface edu.cmu.cs.crystal.tac.model.MethodCallInstruction
Returns the name of the called method.
getMethodTAC(MethodDeclaration) - Method in class edu.cmu.cs.crystal.tac.eclipse.CompilationUnitTACs
 
getName() - Method in class edu.cmu.cs.crystal.AbstractCompilationUnitAnalysis
 
getName() - Method in class edu.cmu.cs.crystal.AbstractCrystalMethodAnalysis
 
getName() - Method in class edu.cmu.cs.crystal.annotations.CrystalAnnotation
 
getName() - Method in interface edu.cmu.cs.crystal.annotations.ICrystalAnnotation
Returns the fully qualified name of the original annotation class used in the source.
getName() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
getName() - Method in interface edu.cmu.cs.crystal.ICrystalAnalysis
 
getNode(Variable, TACInstruction) - Method in interface edu.cmu.cs.crystal.tac.ITACFlowAnalysis
Returns for error-reporting purposes a AST node that surrounds or is represented by a variable mentioned in a given instruction.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.ArrayInitInstruction
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.BinaryOperation
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.CastInstruction
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.ConstructorCallInstruction
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.DotClassInstruction
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.EnhancedForConditionInstruction
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.InstanceofInstruction
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.InvocationInstruction
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.LoadArrayInstruction
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.LoadLiteralInstruction
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.NewArrayInstruction
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.NewObjectInstruction
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.SourceVariableDeclaration
Returns the node this instruction is for.
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.TACInstruction
Returns the node this instruction is for.
getNode() - Method in class edu.cmu.cs.crystal.tac.model.TempVariable
 
getNode() - Method in interface edu.cmu.cs.crystal.tac.model.UnaryOperation
Returns the node this instruction is for.
getNode(Variable, TACInstruction) - Method in class edu.cmu.cs.crystal.tac.TACFlowAnalysis
 
getNodeMap() - Method in class edu.cmu.cs.crystal.flow.worklist.AnalysisResult
 
getNormalLabel() - Static method in class edu.cmu.cs.crystal.flow.NormalLabel
 
getObject(String) - Method in class edu.cmu.cs.crystal.annotations.CrystalAnnotation
 
getObject(String) - Method in interface edu.cmu.cs.crystal.annotations.ICrystalAnnotation
Returns the value of an annotation parameter with the given name.
getOperand() - Method in interface edu.cmu.cs.crystal.tac.model.OneOperandInstruction
Returns the one operand to this one operand-instruction.
getOperand1() - Method in interface edu.cmu.cs.crystal.tac.model.BinaryOperation
Returns the first operand.
getOperand2() - Method in interface edu.cmu.cs.crystal.tac.model.BinaryOperation
Returns the second operand.
getOperator() - Method in interface edu.cmu.cs.crystal.tac.model.BinaryOperation
Returns the binary operator.
getOperator() - Method in interface edu.cmu.cs.crystal.tac.model.UnaryOperation
Returns the unary operator.
getOuterObjectSpecifierOperand() - Method in interface edu.cmu.cs.crystal.tac.model.NewObjectInstruction
Returns the outer object specifier, if any.
getOutputEdges(ILabel) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
Filters the output edges by the label we are looking for.
getOutputEdges(ILabel) - Method in interface edu.cmu.cs.crystal.cfg.ICFGNode
 
getOutputs() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
getOutputs() - Method in interface edu.cmu.cs.crystal.cfg.ICFGNode
 
getParameter(int) - Method in class edu.cmu.cs.crystal.annotations.AnnotationSummary
 
getParameter(int, String) - Method in class edu.cmu.cs.crystal.annotations.AnnotationSummary
Returns the (first) annotation of the given type for the given parameter, if any.
getParameter(String, String) - Method in class edu.cmu.cs.crystal.annotations.AnnotationSummary
Returns the (first) annotation of the given type for the given parameter, if any.
getParameterName(int) - Method in class edu.cmu.cs.crystal.annotations.AnnotationSummary
 
getParameterNames() - Method in class edu.cmu.cs.crystal.annotations.AnnotationSummary
 
getPoint(boolean) - Method in class edu.cmu.cs.crystal.cfg.BlockStack.Block
 
getPrintWriter() - Method in class edu.cmu.cs.crystal.internal.UserConsoleView
Creates a PrintWriter object to allow for text to be printed to the console
getProgressMonitor() - Method in interface edu.cmu.cs.crystal.IAnalysisInput
 
getQualifier() - Method in class edu.cmu.cs.crystal.tac.model.KeywordVariable
Returns the qualifier.
getReceiverOperand() - Method in interface edu.cmu.cs.crystal.tac.model.MethodCallInstruction
Returns the receiver of this call, if any.
getReporter() - Method in class edu.cmu.cs.crystal.AbstractCompilationUnitAnalysis
 
getReporter() - Method in class edu.cmu.cs.crystal.AbstractCrystalMethodAnalysis
 
getReporter() - Method in interface edu.cmu.cs.crystal.ICrystalAnalysis
 
getResultsAfter(TACInstruction) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
 
getResultsAfter(TACInstruction) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantAnalysis
 
getResultsAfter(ASTNode) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
Deprecated. 
getResultsAfter(ASTNode) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Deprecated. use IFlowAnalysis.getResultsAfterCFG(ASTNode) instead.
getResultsAfter(ASTNode) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
Deprecated. 
getResultsAfter(TACInstruction) - Method in interface edu.cmu.cs.crystal.tac.ITACFlowAnalysis
Retrieves the analysis state that exists after analyzing the instruction.
getResultsAfter(TACInstruction) - Method in class edu.cmu.cs.crystal.tac.TACFlowAnalysis
 
getResultsAfterAST(ASTNode) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
 
getResultsAfterAST(ASTNode) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Retrieves the analysis state that exists after analyzing the node in the abstract syntax tree.
getResultsAfterAST(ASTNode) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
 
getResultsAfterCFG(ASTNode) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
 
getResultsAfterCFG(ASTNode) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Retrieves the analysis state that exists after analyzing the node in the control flow graph.
getResultsAfterCFG(ASTNode) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
 
getResultsBefore(TACInstruction) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
 
getResultsBefore(TACInstruction) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantAnalysis
 
getResultsBefore(ASTNode) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
Deprecated. 
getResultsBefore(ASTNode) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Deprecated. Use IFlowAnalysis.getResultsBeforeCFG(ASTNode) instead.
getResultsBefore(ASTNode) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
Deprecated. 
getResultsBefore(TACInstruction) - Method in interface edu.cmu.cs.crystal.tac.ITACFlowAnalysis
Retrieves the analysis state that exists before analyzing the instruction.
getResultsBefore(TACInstruction) - Method in class edu.cmu.cs.crystal.tac.TACFlowAnalysis
 
getResultsBeforeAST(ASTNode) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
 
getResultsBeforeAST(ASTNode) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Retrieves the analysis state that exists before analyzing the node in the abstract syntax tree.
getResultsBeforeAST(ASTNode) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
 
getResultsBeforeCFG(ASTNode) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
 
getResultsBeforeCFG(ASTNode) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Retrieves the analysis state that exists before analyzing the node in the control flow graph.
getResultsBeforeCFG(ASTNode) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
 
getReturn() - Method in class edu.cmu.cs.crystal.annotations.AnnotationSummary
 
getReturn(String) - Method in class edu.cmu.cs.crystal.annotations.AnnotationSummary
Returns the (first) return annotation of the given type, if any.
getReturnedVariable() - Method in class edu.cmu.cs.crystal.tac.eclipse.ReturnInstructionImpl
 
getReturnedVariable() - Method in interface edu.cmu.cs.crystal.tac.model.ReturnInstruction
Returns the variable carrying the value being returned.
getSink() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGEdge
 
getSink() - Method in interface edu.cmu.cs.crystal.cfg.ICFGEdge
 
getSource() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGEdge
 
getSource() - Method in interface edu.cmu.cs.crystal.cfg.ICFGEdge
 
getSourceArray() - Method in interface edu.cmu.cs.crystal.tac.model.LoadArrayInstruction
Returns the array from which a cell is loaded.
getSourceObject() - Method in interface edu.cmu.cs.crystal.tac.model.LoadFieldInstruction
Returns the object being read from.
getSourceOperand() - Method in interface edu.cmu.cs.crystal.tac.model.StoreInstruction
Returns the variable being stored.
getSourceString() - Method in class edu.cmu.cs.crystal.tac.model.TempVariable
 
getSourceString() - Method in class edu.cmu.cs.crystal.tac.model.Variable
Returns a string representing this variable in the source.
getSourceVariable(IVariableBinding) - Method in interface edu.cmu.cs.crystal.tac.ITACAnalysisContext
Returns the variable for a given parameter or local.
getSourceVariable(IVariableBinding) - Method in interface edu.cmu.cs.crystal.tac.ITACFlowAnalysis
Returns the variable for a given parameter or local after previously analyzing the method declaring the parameter or local. It is the caller's responsibility to make sure to call this method only when analysis results for the declaring method are available.
getSourceVariable(IVariableBinding) - Method in class edu.cmu.cs.crystal.tac.TACFlowAnalysis
 
getStart() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
getStart() - Method in interface edu.cmu.cs.crystal.cfg.ICFGNode
 
getStartNode() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
getStartNode() - Method in interface edu.cmu.cs.crystal.cfg.IControlFlowGraph
 
getStartResults(MethodDeclaration) - Method in class edu.cmu.cs.crystal.flow.concur.ConcurrentFlowAnalysis
 
getStartResults(MethodDeclaration) - Method in interface edu.cmu.cs.crystal.flow.IFlowAnalysis
Gets the lattice results at the start of a method.
getStartResults(MethodDeclaration) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
 
getSummaryForMethod(IMethodBinding) - Method in class edu.cmu.cs.crystal.annotations.AnnotationDatabase
Given a method binding, returns a summary that represents annotation info for that method declaration.
getSuperVariable() - Method in interface edu.cmu.cs.crystal.tac.ITACAnalysisContext
Returns the super variable for the analyzed method, if any.
getTarget() - Method in interface edu.cmu.cs.crystal.tac.model.AssignmentInstruction
Returns the target variable of this assignment.
getTestedTypeNode() - Method in interface edu.cmu.cs.crystal.tac.model.InstanceofInstruction
Returns the type tested with instanceof
getThisVar(MethodDeclaration) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasAnalysis
 
getThisVariable() - Method in interface edu.cmu.cs.crystal.tac.ITACAnalysisContext
Returns the this variable for the analyzed method.
getThisVariable(MethodDeclaration) - Method in interface edu.cmu.cs.crystal.tac.ITACFlowAnalysis
Returns the this variable for a given method after previously analyzing that method. It is the caller's responsibility to make sure to call this method only when analysis results for the given method are available.
getThisVariable(MethodDeclaration) - Method in class edu.cmu.cs.crystal.tac.TACFlowAnalysis
 
getType() - Method in class edu.cmu.cs.crystal.analysis.alias.DefaultObjectLabel
 
getType() - Method in interface edu.cmu.cs.crystal.analysis.alias.ObjectLabel
 
getType() - Method in class edu.cmu.cs.crystal.tac.model.TypeVariable
Because this class represents a type variable, getType and resolveType both return the same value; the type represented by this variable.
getTypeNode() - Method in interface edu.cmu.cs.crystal.tac.model.DotClassInstruction
Returns the type of the class object being loaded.
getUberReturn() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
getUberReturn() - Method in interface edu.cmu.cs.crystal.cfg.IControlFlowGraph
 
getUnallocated() - Method in interface edu.cmu.cs.crystal.tac.model.NewArrayInstruction
Returns the number of dimensions that will be initialized with null cells.
getUndeclaredExit() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
 
getUndeclaredExit() - Method in interface edu.cmu.cs.crystal.cfg.IControlFlowGraph
 
getValue(Variable, ASTNode, boolean) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantAnalysis
 
getValue() - Method in class edu.cmu.cs.crystal.util.Box
 
getVariable(ASTNode) - Method in interface edu.cmu.cs.crystal.tac.ITACAnalysisContext
Returns the TAC variable for a given ASTNode.
getVariable(ASTNode) - Method in interface edu.cmu.cs.crystal.tac.ITACFlowAnalysis
Returns the TAC variable for a given ASTNode after previously analyzing the method surrounding the given node. It is the caller's responsibility to make sure to call this method only when analysis results for the surrounding method are available.
getVariable() - Method in interface edu.cmu.cs.crystal.tac.model.SourceVariableReadInstruction
Returns the variable being read, of type SourceVariable or KeywordVariable.
getVariable(ASTNode) - Method in class edu.cmu.cs.crystal.tac.TACFlowAnalysis
 
getWorkspaceRelativeName(IJavaElement) - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
Walks up the Java model hierarchy and separates the names of encountered elements by forward slashes

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