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
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
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