|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Crystal | |
---|---|
edu.cmu.cs.crystal.flow.concur | This experimental package is for running analyses concurrently. |
edu.cmu.cs.crystal.internal | An internal package for Crystal to interact with Eclipse and start running the analyses. |
Uses of Crystal in edu.cmu.cs.crystal.flow.concur |
---|
Constructors in edu.cmu.cs.crystal.flow.concur with parameters of type Crystal | |
---|---|
ConcurrentFlowAnalysis(ITransferFunction<LE> transferFunction,
Crystal crystal)
Creates a new concurrent flow analysis but does not analyze any methods immediately. |
|
ConcurrentFlowAnalysis(ITransferFunction<LE> transferFunction,
List<MethodDeclaration> methods,
Crystal crystal)
Creates a new concurrent flow analysis and begins to analyze the given method bodies immediately. |
Uses of Crystal in edu.cmu.cs.crystal.internal |
---|
Methods in edu.cmu.cs.crystal.internal that return Crystal | |
---|---|
static Crystal |
AbstractCrystalPlugin.getCrystalInstance()
|
Methods in edu.cmu.cs.crystal.internal with parameters of type Crystal | |
---|---|
void |
CrystalPlugin.setupCrystalAnalyses(Crystal crystal)
Deprecated. Modify this method to instantiate and register the analyses you want the framework to run. |
abstract void |
AbstractCrystalPlugin.setupCrystalAnalyses(Crystal crystal)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |