|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.AProgramPoint
public abstract class AProgramPoint
AProgramPoint
implements the basic functionality of the generated
program points.
Constructor Summary | |
---|---|
AProgramPoint(Node _node_)
Creates a new program point associated with _node_ . |
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. |
abstract AProgramPoint |
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. |
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. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface tip.cfg.IProgramPoint |
---|
apply, apply, apply, getNodeText |
Constructor Detail |
---|
public AProgramPoint(Node _node_)
_node_
.
_node_
- the Node
associated with this program pointMethod Detail |
---|
public 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.
addPredecessor
in interface IProgramPoint
predecessor
- the program point added to the predecessor setpublic void 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.
removePredecessor
in interface IProgramPoint
predecessor
- the program point removed from the predecessor setpublic void 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.
addSuccessor
in interface IProgramPoint
successor
- the program point added to the successor setpublic void 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.
removeSuccessor
in interface IProgramPoint
successor
- the program point removed from the successor setpublic Set<IProgramPoint> getPredecessors()
getPredecessors
in interface IProgramPoint
public Set<IProgramPoint> getSuccessors()
getSuccessors
in interface IProgramPoint
public Set<IProgramPoint> getVicinity(int distance)
distance
successors
or predecessors.
getVicinity
in interface IProgramPoint
distance
- the maximum distance of points returned
distance
-vicinity of this pointpublic Node getNode()
Node
in the AST associated with this program point.
getNode
in interface IProgramPoint
Node
in the AST associated with this program pointpublic abstract AProgramPoint clone()
clone
in interface IProgramPoint
clone
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |