|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.AProgramPoint
tip.cfg.CBlockPoint
public class CBlockPoint
CBlockPoint
is a program point in a control flow graph associated with a
ABlock
.
Constructor Summary | |
---|---|
CBlockPoint(ABlock _node_)
Creates a new CBlockPoint associated with the ABlock _node_
with the label "" . |
|
CBlockPoint(ABlock _node_,
String _label_)
Creates a new CBlockPoint associated with the ABlock _node_
with the label _label_ . |
Method Summary | ||
---|---|---|
|
apply(CFGAnswer<A> caller)
Returns an answer by calling CFGAnswer.caseCBlockPoint(ABlock,CBlockPoint)
the visitor caller with this program point. |
|
|
apply(CFGQuestionAnswer<Q,A> caller,
Q question)
Returns an answer by calling CFGQuestionAnswer.caseCBlockPoint(ABlock,CBlockPoint,Object)
the visitor caller with this program point. |
|
boolean |
apply(ICFGAnalysis analysis)
Calls ICFGAnalysis.caseCBlockPoint(ABlock,CBlockPoint) on
analysis and returns the result. |
|
CBlockPoint |
clone()
Returns a clone of the program point with no predecessors or successors. |
|
ABlock |
getNode()
Returns the ABlock associated with this program point. |
|
String |
getNodeText(Answer<String> nodeText)
Returns a textual representation of this program point by calling the Answer.caseABlock(ABlock) on nodeText . |
|
String |
toString()
Returns a textual representation of this CBlockPoint . |
Methods inherited from class tip.cfg.AProgramPoint |
---|
addPredecessor, addSuccessor, getPredecessors, getSuccessors, getVicinity, removePredecessor, removeSuccessor |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public CBlockPoint(ABlock _node_)
CBlockPoint
associated with the ABlock
_node_
with the label ""
.
_node_
- the ABlock
associated the the program pointpublic CBlockPoint(ABlock _node_, String _label_)
CBlockPoint
associated with the ABlock
_node_
with the label _label_
.
_node_
- the ABlock
associated the the program point_label_
- the label of the program pointMethod Detail |
---|
public ABlock getNode()
ABlock
associated with this program point.
getNode
in interface IProgramPoint
getNode
in class AProgramPoint
ABlock
associated with this program pointpublic boolean apply(ICFGAnalysis analysis)
ICFGAnalysis.caseCBlockPoint(ABlock,CBlockPoint)
on
analysis
and returns the result.
ICFGAnalysis.caseCBlockPoint(ABlock,CBlockPoint)
on analysis
public String getNodeText(Answer<String> nodeText)
Answer.caseABlock(ABlock)
on nodeText
.
nodeText
- the Answer
used
public <A> A apply(CFGAnswer<A> caller)
CFGAnswer.caseCBlockPoint(ABlock,CBlockPoint)
the visitor caller
with this program point.
caller
- the Answer
used
caller
public <Q,A> A apply(CFGQuestionAnswer<Q,A> caller, Q question)
CFGQuestionAnswer.caseCBlockPoint(ABlock,CBlockPoint,Object)
the visitor caller
with this program point.
caller
- the QuestionAnswer
usedquestion
- the question used
caller
on question
public CBlockPoint clone()
clone
in interface IProgramPoint
clone
in class AProgramPoint
public String toString()
CBlockPoint
.
toString
in class Object
CBlockPoint
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |