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

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