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
B
beforeAllCompilationUnits()
- Method in class edu.cmu.cs.crystal.
AbstractCompilationUnitAnalysis
beforeAllCompilationUnits()
- Method in class edu.cmu.cs.crystal.
AbstractCrystalMethodAnalysis
beforeAllCompilationUnits()
- Method in interface edu.cmu.cs.crystal.
ICrystalAnalysis
Inform the analysis that the analysis process is about to begin.
beforeAllMethods(ITypeRoot, CompilationUnit)
- Method in class edu.cmu.cs.crystal.
AbstractCrystalMethodAnalysis
This method is invoked once before any methods are analyzed.
BinaryOperation
- Interface in
edu.cmu.cs.crystal.tac.model
x = y binop z, representing
all
binary operations.
BinaryOperator
- Enum in
edu.cmu.cs.crystal.tac.model
Binary operators including arithmetic, relational, and bitwise operators as well as bit shifts and string concatenation.
BlockStack
<
Node
extends
ICFGNode
> - Class in
edu.cmu.cs.crystal.cfg
Protocol to using block Stack is: call push/pop labeled and push/pop breakable in pairs.
BlockStack()
- Constructor for class edu.cmu.cs.crystal.cfg.
BlockStack
BlockStack.Block
- Class in
edu.cmu.cs.crystal.cfg
BooleanConstantLatticeOps
- Class in
edu.cmu.cs.crystal.analysis.constant
BooleanConstantLatticeOps()
- Constructor for class edu.cmu.cs.crystal.analysis.constant.
BooleanConstantLatticeOps
BooleanConstantLE
- Enum in
edu.cmu.cs.crystal.analysis.constant
BooleanLabel
- Class in
edu.cmu.cs.crystal.flow
A boolean label is a label which is either true or false.
bottom()
- Static method in class edu.cmu.cs.crystal.analysis.alias.
AliasLE
Returns a bottom lattice element.
bottom()
- Method in class edu.cmu.cs.crystal.analysis.alias.
SingleObjectAliasOps
bottom()
- Method in class edu.cmu.cs.crystal.analysis.constant.
BooleanConstantLatticeOps
bottom()
- Method in class edu.cmu.cs.crystal.analysis.live.
LiveVariableLatticeOps
bottom()
- Method in class edu.cmu.cs.crystal.bridge.
LatticeElementOps
bottom()
- Method in interface edu.cmu.cs.crystal.flow.
IAbstractLatticeOperations
Responsible for returning a lattice that represents no knowledge.
bottom()
- Method in interface edu.cmu.cs.crystal.flow.
ILatticeOperations
Responsible for returning a lattice that represents no knowledge.
bottom()
- Method in class edu.cmu.cs.crystal.simple.
SimpleLatticeOperations
bottom()
- Method in class edu.cmu.cs.crystal.simple.
TupleLatticeOperations
Box
<
T
> - Class in
edu.cmu.cs.crystal.util
Holds a boxed value.
Box(T)
- Constructor for class edu.cmu.cs.crystal.util.
Box
box(T)
- Static method in class edu.cmu.cs.crystal.util.
Box
BranchInsensitiveWorklist
<
LE
> - Class in
edu.cmu.cs.crystal.flow.worklist
This is the branch-
in
sensitive version of the worklist algorithm.
BranchInsensitiveWorklist(MethodDeclaration, ITransferFunction<LE>)
- Constructor for class edu.cmu.cs.crystal.flow.worklist.
BranchInsensitiveWorklist
Creates a worklist instance for the given method and transfer function.
BranchInsensitiveWorklist(MethodDeclaration, IProgressMonitor, ITransferFunction<LE>)
- Constructor for class edu.cmu.cs.crystal.flow.worklist.
BranchInsensitiveWorklist
Creates a worklist instance for the given method and transfer function.
BranchSensitiveWorklist
<
LE
> - Class in
edu.cmu.cs.crystal.flow.worklist
This is the branch-sensitive version of the worklist algorithm.
BranchSensitiveWorklist(MethodDeclaration, IBranchSensitiveTransferFunction<LE>)
- Constructor for class edu.cmu.cs.crystal.flow.worklist.
BranchSensitiveWorklist
Creates a worklist instance for the given method and transfer function.
BranchSensitiveWorklist(MethodDeclaration, IProgressMonitor, IBranchSensitiveTransferFunction<LE>)
- Constructor for class edu.cmu.cs.crystal.flow.worklist.
BranchSensitiveWorklist
Creates a worklist instance for the given method and transfer function.
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