ua.gradsoft.termware.debug
Class SetFactsDebugStub

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