|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Option | |
---|---|
edu.cmu.cs.crystal | The core package for Crystal; start here for making your own Crystal analysis. |
edu.cmu.cs.crystal.flow | This package is used for flow analyses. |
edu.cmu.cs.crystal.internal | An internal package for Crystal to interact with Eclipse and start running the analyses. |
edu.cmu.cs.crystal.util | Several utilities that other analysis writers have found useful. |
Uses of Option in edu.cmu.cs.crystal |
---|
Methods in edu.cmu.cs.crystal that return Option | |
---|---|
Option<CompilationUnitTACs> |
IAnalysisInput.getComUnitTACs()
|
Option<org.eclipse.core.runtime.IProgressMonitor> |
IAnalysisInput.getProgressMonitor()
|
Uses of Option in edu.cmu.cs.crystal.flow |
---|
Methods in edu.cmu.cs.crystal.flow with parameters of type Option | |
---|---|
void |
MotherFlowAnalysis.setMonitor(Option<org.eclipse.core.runtime.IProgressMonitor> monitor)
Use the given progress monitor to cancel subsequent flow analysis runs. |
Uses of Option in edu.cmu.cs.crystal.internal |
---|
Methods in edu.cmu.cs.crystal.internal that return Option | |
---|---|
static Option<TypeDeclaration> |
WorkspaceUtilities.getDeclNodeFromType(IType type)
Given an IType from the model, this method will return the ast node associated with that type, or null if it doesn't exist. |
static Option<MethodDeclaration> |
WorkspaceUtilities.getMethodDeclFromModel(IMethod method)
Returns the AST node associated with the given model element, which in this case is a method. |
Uses of Option in edu.cmu.cs.crystal.util |
---|
Methods in edu.cmu.cs.crystal.util that return Option | ||
---|---|---|
static
|
Option.none()
|
|
static
|
Option.some(T t)
|
|
static
|
Option.wrap(T t)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |