|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
LE
- public interface IFlowAnalysis<LE>
All flow analyses must be able to return the information defined by this interface.
Method Summary | |
---|---|
LE |
getEndResults(MethodDeclaration decl)
Gets the lattice results at the end of a method. |
IResult<LE> |
getLabeledEndResult(MethodDeclaration d)
Gets the lattice results at the end of a method. |
IResult<LE> |
getLabeledResultsAfter(ASTNode node)
Retrieves the analysis state that exists after analyzing the node in the control flow graph. |
IResult<LE> |
getLabeledResultsBefore(ASTNode node)
Retrieves the analysis state that exists before analyzing the node in the control flow graph. |
IResult<LE> |
getLabeledStartResult(MethodDeclaration d)
Gets the lattice results at the start of a method. |
LE |
getResultsAfter(ASTNode node)
Deprecated. use getResultsAfterCFG(ASTNode) instead. |
LE |
getResultsAfterAST(ASTNode node)
Retrieves the analysis state that exists after analyzing the node in the abstract syntax tree. |
LE |
getResultsAfterCFG(ASTNode node)
Retrieves the analysis state that exists after analyzing the node in the control flow graph. |
LE |
getResultsBefore(ASTNode node)
Deprecated. Use getResultsBeforeCFG(ASTNode) instead. |
LE |
getResultsBeforeAST(ASTNode node)
Retrieves the analysis state that exists before analyzing the node in the abstract syntax tree. |
LE |
getResultsBeforeCFG(ASTNode node)
Retrieves the analysis state that exists before analyzing the node in the control flow graph. |
LE |
getStartResults(MethodDeclaration decl)
Gets the lattice results at the start of a method. |
Method Detail |
---|
@Deprecated LE getResultsBefore(ASTNode node)
getResultsBeforeCFG(ASTNode)
instead.
node
- the ASTNode
of interest
getResultsBeforeCFG(ASTNode)
@Deprecated LE getResultsAfter(ASTNode node)
getResultsAfterCFG(ASTNode)
instead.
node
- the ASTNode
of interest
LE getResultsBeforeCFG(ASTNode node)
node
- the ASTNode
of interest
getResultsBeforeAST(ASTNode)
,
getLabeledResultsBefore(ASTNode)
LE getResultsAfterCFG(ASTNode node)
getResultsAfterAST(ASTNode)
If there are multiple before lattices for this node, they are joined and returned.
node
- the ASTNode
of interest
getResultsAfterAST(ASTNode)
,
getLabeledResultsAfter(ASTNode)
LE getResultsBeforeAST(ASTNode node)
node
- the ASTNode
of interest
getResultsBeforeCFG(ASTNode)
LE getResultsAfterAST(ASTNode node)
getResultsAfterCFG(ASTNode)
If there are multiple before lattices for this node, they are joined and returned.
node
- the ASTNode
of interest
getResultsAfterCFG(ASTNode)
LE getStartResults(MethodDeclaration decl)
IFlowAnalysisDefinition.createEntryValue(MethodDeclaration)
decl
- The method declaration to get results for
IFlowAnalysisDefinition.createEntryValue(MethodDeclaration)
LE getEndResults(MethodDeclaration decl)
decl
- The method declaration to get results for
IResult<LE> getLabeledResultsBefore(ASTNode node)
getResultsBeforeCFG(ASTNode)
, except it keeps all the labels
separated in an IResult
node
- the ASTNode
of interest
getResultsBeforeCFG(ASTNode)
IResult<LE> getLabeledResultsAfter(ASTNode node)
getResultsAfterCFG(ASTNode)
, except it keeps all the labels
separated in an IResult
node
- the ASTNode
of interest
getResultsAfterCFG(ASTNode)
IResult<LE> getLabeledStartResult(MethodDeclaration d)
getStartResults(MethodDeclaration)
and
IFlowAnalysisDefinition.createEntryValue(MethodDeclaration)
. However, it might be different
for a system which keeps multiple possible contexts in which the method could be called from based
on some specifications.
decl
- The method declaration to get results for
IFlowAnalysisDefinition.createEntryValue(MethodDeclaration)
,
getStartResults(MethodDeclaration)
IResult<LE> getLabeledEndResult(MethodDeclaration d)
decl
- The method declaration to get results for
getEndResults(MethodDeclaration)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |