|
mwalk Platform 0.3.0 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--mwalk.visitor.AbstractVisitor | +--mwalk.visitor.RandomPathVisitor
A visitor used to mark the primary path for each randomly selected receiver as active.
Fields inherited from class mwalk.visitor.AbstractVisitor |
CFG_BASE,
eval,
seen,
verbose |
Constructor Summary | |
RandomPathVisitor()
Default constructor. |
Method Summary | |
TreeNode[] |
getParents(Tree tree,
TreeNode node)
Retrieve the list of parents of this node. |
boolean |
nextReceiver(Tree tree,
Receiver recv)
Check whether the next receiver should start a visiting path. |
void |
reset(Tree tree)
Reset the visitor for a new pass over the tree. |
Methods inherited from class mwalk.visitor.AbstractVisitor |
again,
cfgBoolean,
cfgInt,
cfgString,
cfgVisitor,
evaluator,
evaluator,
getChildren,
getReceivers,
haveSeen,
haveVisited,
init,
markSeen,
markVisited,
postfix,
prefix,
verbose,
visitDown,
visitDown,
visitUp,
visitUp,
walkDown,
walkUp |
Methods inherited from class java.lang.Object |
|
Constructor Detail |
public RandomPathVisitor()
Method Detail |
public void reset(Tree tree)
Tree
- vistited treepublic boolean nextReceiver(Tree tree, Receiver recv)
Tree
- current tree instanceReceiver
- next receiverboolean
whether to visit next receiverpublic TreeNode[] getParents(Tree tree, TreeNode node)
Tree
- vistited treeTreeNode
- currently visited nodeTreeNode[]
array of parent nodes of currently visited node
|
mwalk Platform 0.3.0 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |