|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
LE
- Analysis information being tracked as "lattice elements".public interface IFlowAnalysisDefinition<LE>
This interface contains operations common to any transfer function accepted by Crystal's flow analysis framework:
getAnalysisDirection()
#createLatticeOperations(MethodDeclaration)
createEntryValue(MethodDeclaration)
Method Summary | |
---|---|
LE |
createEntryValue(MethodDeclaration method)
Creates entry analysis information for analyzing a given method. |
AnalysisDirection |
getAnalysisDirection()
Informs Crystal in which direction to perform the analysis. |
ILatticeOperations<LE> |
getLatticeOperations()
Gets the lattice operations for computing flow analysis results for a given method. |
Method Detail |
---|
ILatticeOperations<LE> getLatticeOperations()
LE createEntryValue(MethodDeclaration method)
method
- the method to create the lattice operations for
AnalysisDirection getAnalysisDirection()
null
.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |