ua.gradsoft.termware.debug
Class ConditionDebugStub

java.lang.Object
  extended by 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()