trace
Class VisuWrapper
java.lang.Object
trace.VisuWrapper
public class VisuWrapper
- extends Object
A wrapper to communicate with the Visualization, used in weaved code.
- Since:
- 9 d�c. 2010
- Author:
- Charles Prud'homme
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
init
public void init()
beforeInitialPropagation
public void beforeInitialPropagation()
afterInitialPropagation
public void afterInitialPropagation()
setBranchingDecision
public void setBranchingDecision(IntBranchingDecision currentDecision)
tryNode
public void tryNode()
hasFailed
public void hasFailed()
failNode
public void failNode()
succNode
public void succNode()
Copyright © 2012. All Rights Reserved.