ua.gradsoft.termware.debug
Class SetFactsDebugStub

java.lang.Object
  extended by ua.gradsoft.termware.debug.SetFactsDebugStub

public abstract class SetFactsDebugStub
extends Object

Debug stub, generated for setting facts.

Author:
rssh

Constructor Summary
SetFactsDebugStub(TermSystem s, Term a, TransformationContext ctx)
           
 
Method Summary
abstract  boolean getResult()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SetFactsDebugStub

public SetFactsDebugStub(TermSystem s,
                         Term a,
                         TransformationContext ctx)
                  throws TermWareException
Throws:
TermWareException
Method Detail

getResult

public abstract boolean getResult()