|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IProgramPoint
IProgramPoint
defines the interface for a program point in a control
flow graph.
Method Summary | ||
---|---|---|
void |
addPredecessor(IProgramPoint predecessor)
Adds predecessor to the set of predecessors of this program point. |
|
void |
addSuccessor(IProgramPoint successor)
Adds successor to the set of successors of this program point. |
|
|
apply(CFGAnswer<A> caller)
Returns an answer by calling the visitor caller with this program
point. |
|
|
apply(CFGQuestionAnswer<Q,A> caller,
Q question)
Returns an answer by calling the visitor caller with this program
point and the question . |
|
boolean |
apply(ICFGAnalysis analysis)
Calls the appropriate case -method on analysis and returns
the result. |
|
IProgramPoint |
clone()
Returns a clone of the program point with no predecessors or successors. |
|
Node |
getNode()
Returns the Node in the AST associated with this program point. |
|
String |
getNodeText(Answer<String> nodeText)
Returns a textual representation of this program point using the Answer nodeText . |
|
Set<IProgramPoint> |
getPredecessors()
Returns the set of predecessors to this program point. |
|
Set<IProgramPoint> |
getSuccessors()
Returns the set of successors to this program point. |
|
Set<IProgramPoint> |
getVicinity(int distance)
Returns the set of program points reachable from this point following at most distance successors
or predecessors. |
|
void |
removePredecessor(IProgramPoint predecessor)
Removes predecessor from the set of predecessors of this program point. |
|
void |
removeSuccessor(IProgramPoint successor)
Removes successor to the set of successors of this program point. |
Method Detail |
---|
boolean apply(ICFGAnalysis analysis)
case
-method on analysis
and returns
the result.
case
-method on
analysis
void addPredecessor(IProgramPoint predecessor)
predecessor
to the set of predecessors of this program point.
The program point as implicitly added to the successor set of the the
predecessor. A program point can only be predecessor of a program point once.
predecessor
- the program point added to the predecessor setvoid removePredecessor(IProgramPoint predecessor)
predecessor
from the set of predecessors of this program point.
The program point as implicitly removed from the successor set of the the
predecessor.
predecessor
- the program point removed from the predecessor setvoid addSuccessor(IProgramPoint successor)
successor
to the set of successors of this program point.
The program point as implicitly added to the predecessor set of the the
successor. A program point can only be successor of a program point once.
successor
- the program point added to the successor setvoid removeSuccessor(IProgramPoint successor)
successor
to the set of successors of this program point.
The program point as implicitly removes from the predecessor set of the the
successor.
successor
- the program point removed from the successor setSet<IProgramPoint> getPredecessors()
Set<IProgramPoint> getSuccessors()
Set<IProgramPoint> getVicinity(int distance)
distance
successors
or predecessors.
distance
- the maximum distance of points returned
distance
-vicinity of this pointNode getNode()
Node
in the AST associated with this program point.
Node
in the AST associated with this program pointString getNodeText(Answer<String> nodeText)
Answer
nodeText
.
nodeText
- the Answer
used
<A> A apply(CFGAnswer<A> caller)
caller
with this program
point.
caller
- the Answer
used
caller
<Q,A> A apply(CFGQuestionAnswer<Q,A> caller, Q question)
caller
with this program
point and the question
.
caller
- the QuestionAnswer
usedquestion
- the question used
caller
on question
IProgramPoint clone()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |