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

S

scanForBindings(Map<ICompilationUnit, ASTNode>) - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
 
scanForBindings(ICompilationUnit, ASTNode) - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
 
scanForCompilationUnits() - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
Traverses the workspace for CompilationUnits.
scanForCompilationUnits(boolean) - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
Traverses the workspace for CompilationUnits and (optionally) class files.
scanForMethodDeclarations(Map<ICompilationUnit, ASTNode>) - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
Collects all top level methods from CompilationUnits.
scanForMethodDeclarationsFromAST(ASTNode) - Static method in class edu.cmu.cs.crystal.internal.WorkspaceUtilities
Collects all top level methods from an AST including embedded methods.
selectionChanged(IAction, ISelection) - Method in class edu.cmu.cs.crystal.internal.CrystalFileAction
 
selectionChanged(IAction, ISelection) - Method in class edu.cmu.cs.crystal.internal.CrystalUIAction
required by the IWorkbenchWindowActionDelegate interface
selectionChanged(IAction, ISelection) - Method in class edu.cmu.cs.crystal.internal.DisplayCrystalInfo
Selection in the workbench has been changed.
set(int, T) - Method in class edu.cmu.cs.crystal.util.ConsList
 
setActivePart(IAction, IWorkbenchPart) - Method in class edu.cmu.cs.crystal.internal.CrystalFileAction
 
setAnalysisContext(ITACAnalysisContext) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
setAnalysisContext(ITACAnalysisContext) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
setAnalysisContext(ITACAnalysisContext) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
setAnalysisContext(ITACAnalysisContext) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
This method is used to pass a variable query interface to the transfer function.
setAnalysisContext(ITACAnalysisContext) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
This method is used to pass a variable query interface to the transfer function.
setASTNode(ASTNode) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
setComponent1(A) - Method in class edu.cmu.cs.crystal.util.Pair
 
setComponent2(B) - Method in class edu.cmu.cs.crystal.util.Pair
 
setEnd(EclipseCFGNode) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
setExceptionType(ITypeBinding) - Method in class edu.cmu.cs.crystal.flow.ExceptionalLabel
 
setFocus() - Method in class edu.cmu.cs.crystal.internal.UserConsoleView
Provides the focus to the user console.
setMatchExpression(Expression) - Method in class edu.cmu.cs.crystal.flow.SwitchLabel
 
setMonitor(Option<IProgressMonitor>) - Method in class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
Use the given progress monitor to cancel subsequent flow analysis runs.
setMonitor(IProgressMonitor) - Method in class edu.cmu.cs.crystal.flow.worklist.WorklistFactory
Use the given progress monitor to listen to cancellation in subsequently created worklist instances.
setName(String) - Method in class edu.cmu.cs.crystal.annotations.CrystalAnnotation
 
setName(String) - Method in interface edu.cmu.cs.crystal.annotations.ICrystalAnnotation
The annotation database will use this method to populate the fully qualified name of the original annotation class.
setName(String) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
setObject(String, Object) - Method in class edu.cmu.cs.crystal.annotations.CrystalAnnotation
 
setObject(String, Object) - Method in interface edu.cmu.cs.crystal.annotations.ICrystalAnnotation
The annotation database will use this method to populate the explicit and implicit parameters of an annotation instance present in the analyzed source code.
setStart(EclipseCFGNode) - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
setupCrystalAnalyses(Crystal) - Method in class edu.cmu.cs.crystal.internal.AbstractCrystalPlugin
 
setupCrystalAnalyses(Crystal) - Method in class edu.cmu.cs.crystal.internal.CrystalPlugin
Deprecated. Modify this method to instantiate and register the analyses you want the framework to run.
setValue(T) - Method in class edu.cmu.cs.crystal.util.Box
 
ShortFormatter - Class in edu.cmu.cs.crystal.internal
This class is intended as a 1-line formatter for Formatter log messages.
ShortFormatter() - Constructor for class edu.cmu.cs.crystal.internal.ShortFormatter
 
SimpleInstructionVisitor - Class in edu.cmu.cs.crystal.tac
Extend this class to visit every 3-address code instruction in a method exactly once.
SimpleInstructionVisitor() - Constructor for class edu.cmu.cs.crystal.tac.SimpleInstructionVisitor
Default constructor.
SimpleInstructionVisitor(AnalysisDirection) - Constructor for class edu.cmu.cs.crystal.tac.SimpleInstructionVisitor
Construct a visitor with the given direction.
SimpleLatticeOperations<LE> - Class in edu.cmu.cs.crystal.simple
This is the interface for the operations you must provide on your lattice in order for the dataflow analysis to work.
SimpleLatticeOperations() - Constructor for class edu.cmu.cs.crystal.simple.SimpleLatticeOperations
 
SimpleMap<K,V> - Interface in edu.cmu.cs.crystal.util
That's right, a really simple map interface.
SimpleTACFlowAnalysis<LE> - Class in edu.cmu.cs.crystal.simple
Simple flow analysis driver for a transfer function based on three-address code.
SimpleTACFlowAnalysis(ITACTransferFunction<LE>, IAnalysisInput) - Constructor for class edu.cmu.cs.crystal.simple.SimpleTACFlowAnalysis
Creates a simple flow analysis with the given transfer function.
SingleObjectAliasOps - Class in edu.cmu.cs.crystal.analysis.alias
Lattice operations for AliasLE.
SingleResult<LE> - Class in edu.cmu.cs.crystal.flow
This is a degenerate result that maps all labels to a single lattice element and only knows a single label, NormalLabel.
SingleResult(LE) - Constructor for class edu.cmu.cs.crystal.flow.SingleResult
Create a result that maps all labels to the given lattice element.
singleton(T) - Static method in class edu.cmu.cs.crystal.util.ConsList
Create a list with one element.
SINGLETON_OPS - Static variable in enum edu.cmu.cs.crystal.flow.SingletonLatticeElement
 
SingletonLatticeElement - Enum in edu.cmu.cs.crystal.flow
This is a degenerate lattice element class with exactly one element in it.
size() - Method in class edu.cmu.cs.crystal.util.ConsList
 
snd() - Method in class edu.cmu.cs.crystal.util.Pair
 
snd() - Method in class edu.cmu.cs.crystal.util.Triple
 
some(T) - Static method in class edu.cmu.cs.crystal.util.Option
 
sourceVar(SourceVariable) - Method in interface edu.cmu.cs.crystal.tac.model.IVariableVisitor
 
sourceVariable(IVariableBinding) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTAC
 
sourceVariable(IVariableBinding) - Method in interface edu.cmu.cs.crystal.tac.eclipse.IEclipseVariableQuery
Determines the variable for the given parameter or local variable binding.
SourceVariable - Class in edu.cmu.cs.crystal.tac.model
A source variable is a variable in three address code that actually existed in the original Java source code.
SourceVariable(String, IVariableBinding, boolean) - Constructor for class edu.cmu.cs.crystal.tac.model.SourceVariable
Creates a new source variable object for a local with the given name and binding.
SourceVariableDeclaration - Interface in edu.cmu.cs.crystal.tac.model
T x.
SourceVariableReadInstruction - Interface in edu.cmu.cs.crystal.tac.model
This instruction indicates reading a variable that appears in the source program, i.e.
StandardAnalysisReporter - Class in edu.cmu.cs.crystal.internal
An analysis reporter to be used when running analyses through Eclipse.
StandardAnalysisReporter() - Constructor for class edu.cmu.cs.crystal.internal.StandardAnalysisReporter
 
start(BundleContext) - Method in class edu.cmu.cs.crystal.internal.AbstractCrystalPlugin
 
stop(BundleContext) - Method in class edu.cmu.cs.crystal.internal.AbstractCrystalPlugin
 
StoreArrayInstruction - Interface in edu.cmu.cs.crystal.tac.model
x[y] = z.
StoreFieldInstruction - Interface in edu.cmu.cs.crystal.tac.model
x.f = y, where f is a field.
StoreInstruction - Interface in edu.cmu.cs.crystal.tac.model
This interface represents a store, i.e., a write into memory from a source.
StudentRuntimeException - Exception in edu.cmu.cs.crystal.internal
 
StudentRuntimeException(String) - Constructor for exception edu.cmu.cs.crystal.internal.StudentRuntimeException
 
subList(int, int) - Method in class edu.cmu.cs.crystal.util.ConsList
 
superVar(SuperVariable) - Method in interface edu.cmu.cs.crystal.tac.model.IVariableVisitor
 
superVariable(Name) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTAC
 
superVariable(Name) - Method in interface edu.cmu.cs.crystal.tac.eclipse.IEclipseVariableQuery
Determines the super variable, taking a possible qualifier into account.
SuperVariable - Class in edu.cmu.cs.crystal.tac.model
The Super class represents the super keyword.
SuperVariable(EclipseTAC) - Constructor for class edu.cmu.cs.crystal.tac.model.SuperVariable
Creates an unqualified super variable.
SuperVariable(EclipseTAC, Name) - Constructor for class edu.cmu.cs.crystal.tac.model.SuperVariable
Creates an qualified super variable.
SwitchLabel - Class in edu.cmu.cs.crystal.flow
A switch label occurs from the switch control flow.
SwitchLabel(Expression) - Constructor for class edu.cmu.cs.crystal.flow.SwitchLabel
 

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