uk.ac.ox.cs.fdr
public class DebugContext extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected boolean |
swigCMemOwn |
Modifier | Constructor and Description |
---|---|
protected |
DebugContext(long cPtr,
boolean cMemoryOwn) |
|
DebugContext(PropertyCounterexample counterexample,
boolean elide_uninteresting_behaviours) |
|
DebugContext(RefinementCounterexample counterexample,
boolean elide_uninteresting_behaviours) |
Modifier and Type | Method and Description |
---|---|
BehaviourList |
behaviourChildren(Behaviour behaviour) |
void |
delete() |
protected void |
finalize() |
CompiledEventList |
fullAlphabet() |
protected static long |
getCPtr(DebugContext obj) |
void |
initialise(Canceller canceller) |
Behaviour |
revealTau(Behaviour behaviour,
long index) |
CompiledEventList |
revealTausInTrace(Behaviour behaviour) |
BehaviourList |
rootBehaviours() |
long |
rootTaskId() |
protected DebugContext(long cPtr, boolean cMemoryOwn)
public DebugContext(RefinementCounterexample counterexample, boolean elide_uninteresting_behaviours)
public DebugContext(PropertyCounterexample counterexample, boolean elide_uninteresting_behaviours)
protected static long getCPtr(DebugContext obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public void initialise(Canceller canceller)
public long rootTaskId()
public BehaviourList rootBehaviours()
public BehaviourList behaviourChildren(Behaviour behaviour)
public CompiledEventList fullAlphabet()
public CompiledEventList revealTausInTrace(Behaviour behaviour)