|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ABlock | |
---|---|
tip.analysis | Provides the analysis utility classes for the TIP ASTs. |
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
tip.cfg.cfa | Provides a collection of control flow analyses for TIP programs. |
tip.node | Provides node classes for representing the TIP ASTs. |
Uses of ABlock in tip.analysis |
---|
Methods in tip.analysis with parameters of type ABlock | |
---|---|
void |
ReversedDepthFirstAdapter.caseABlock(ABlock node)
Calls ReversedDepthFirstAdapter.inABlock(ABlock) , traverses the children of ABlock in
the reverse order of the order they are defined in the grammar, and finally
calls ReversedDepthFirstAdapter.outABlock(ABlock) . |
void |
DepthFirstAdapter.caseABlock(ABlock node)
Calls DepthFirstAdapter.inABlock(ABlock) , traverses the children of ABlock in
the order they are defined in the grammar, and finally
calls DepthFirstAdapter.outABlock(ABlock) . |
A |
AnswerAdapter.caseABlock(ABlock node)
Returns the default answer for a ABlock node. |
A |
Answer.caseABlock(ABlock node)
Called by ABlock from apply(Answer) . |
void |
AnalysisAdapter.caseABlock(ABlock node)
Called by the ABlock node from ABlock#apply(Switch) . |
void |
Analysis.caseABlock(ABlock node)
Called by the ABlock node from ABlock#apply(Switch) . |
A |
QuestionAnswerAdapter.caseABlock(ABlock node,
Q question)
Returns the default answer for a ABlock node. |
A |
QuestionAnswer.caseABlock(ABlock node,
Q question)
Called by ABlock from apply(QuestionAnswer,Object) . |
void |
QuestionAdapter.caseABlock(ABlock node,
Q question)
Action for applying a question to a ABlock node. |
void |
Question.caseABlock(ABlock node,
Q question)
Called by ABlock from apply(Question,Object) . |
void |
ReversedDepthFirstAdapter.inABlock(ABlock node)
Called by ReversedDepthFirstAdapter.caseABlock(ABlock) before traversing the children of ABlock . |
void |
DepthFirstAdapter.inABlock(ABlock node)
Called by DepthFirstAdapter.caseABlock(ABlock) before traversing the children of ABlock . |
void |
ReversedDepthFirstAdapter.outABlock(ABlock node)
Called by ReversedDepthFirstAdapter.caseABlock(ABlock) after traversing the children of ABlock . |
void |
DepthFirstAdapter.outABlock(ABlock node)
Called by DepthFirstAdapter.caseABlock(ABlock) after traversing the children of ABlock . |
Uses of ABlock in tip.cfg |
---|
Methods in tip.cfg that return ABlock | |
---|---|
ABlock |
CBlockPoint.getNode()
Returns the ABlock associated with this program point. |
Methods in tip.cfg with parameters of type ABlock | |
---|---|
boolean |
ICFGAnalysis.caseCBlockPoint(ABlock node,
CBlockPoint point)
caseCBlockPoint is called by a CBlockPoint from
CBlockPoint.apply(ICFGAnalysis) . |
A |
CFGAnswerAdapter.caseCBlockPoint(ABlock node,
CBlockPoint point)
Default implementation. |
A |
CFGAnswer.caseCBlockPoint(ABlock node,
CBlockPoint point)
caseCBlockPoint is called by a CBlockPoint from
CBlockPoint.apply(CFGAnswer) . |
boolean |
CFGAnalysisAdapter.caseCBlockPoint(ABlock node,
CBlockPoint point)
Default implementation. |
A |
CFGQuestionAnswerAdapter.caseCBlockPoint(ABlock node,
CBlockPoint point,
Q question)
Default implementation. |
A |
CFGQuestionAnswer.caseCBlockPoint(ABlock node,
CBlockPoint point,
Q question)
caseCBlockPoint is called by a CBlockPoint from
CBlockPoint.apply(CFGQuestionAnswer,Object) . |
void |
CFGBuilder.inABlock(ABlock node)
|
Constructors in tip.cfg with parameters of type ABlock | |
---|---|
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_ . |
Uses of ABlock in tip.cfg.cfa |
---|
Methods in tip.cfg.cfa with parameters of type ABlock | |
---|---|
void |
Normalization.caseABlock(ABlock node)
Handles blocks of statements. |
Uses of ABlock in tip.node |
---|
Methods in tip.node that return ABlock | |
---|---|
ABlock |
ABlock.clone()
Returns a deep clone of this ABlock node. |
ABlock |
ABlock.clone(Map<Node,Node> oldToNewMap)
Creates a deep clone of this ABlock node while putting all
old node-new node relations in the map oldToNewMap . |
abstract ABlock |
PBody.getBlock()
Returns the ABlock node which is the block child of this PBody node. |
ABlock |
ABody.getBlock()
Returns the ABlock node which is the block child of this ABody node. |
ABlock |
ABlockStm.getBlock()
Returns the ABlock node which is the block child of this ABlockStm node. |
Methods in tip.node with parameters of type ABlock | |
---|---|
abstract void |
PBody.setBlock(ABlock value)
Sets the block child of this PBody node. |
void |
ABody.setBlock(ABlock value)
Sets the block child of this ABody node. |
void |
ABlockStm.setBlock(ABlock value)
Sets the block child of this ABlockStm node. |
Constructors in tip.node with parameters of type ABlock | |
---|---|
ABlockStm(TLBrace _token_,
ABlock _block_)
Creates a new ABlockStm node with the given nodes as children. |
|
ABody(ABlock _block_)
Creates a new ABody node with the given nodes as children. |
|
ABody(ABlock _block_,
List<? extends Instruction> _instructions_)
Creates a new ABody node with the given nodes as children. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |