ua.gradsoft.termware.debug
Class ConditionDebugStub

java.lang.Object
  ua.gradsoft.termware.debug.ConditionDebugStub

public abstract class ConditionDebugStub
extends Object

Author:

rssh

Field Summary

protected Term	condition
protected boolean	result
protected TermSystem	system
protected TransformationContext	transformationContext

Constructor Summary

ConditionDebugStub(TermSystem ts, Term c, TransformationContext ctx)
Creates a new instance of ConditionDebugStub

Method Summary

abstract boolean

getResult()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

system

protected TermSystem system

condition

protected Term condition

transformationContext

protected TransformationContext transformationContext

result

protected boolean result

Constructor Detail

ConditionDebugStub

public ConditionDebugStub(TermSystem ts,
                          Term c,
                          TransformationContext ctx)
                   throws TermWareException

Creates a new instance of ConditionDebugStub

Throws:

TermWareException

Method Detail

getResult

public abstract boolean getResult()