ua.gradsoft.termware.debug
Class SubstitutionDebugStub

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

public abstract class SubstitutionDebugStub
extends Object

Base for debug stub which generated for substitution.

Author:
rssh

Field Summary
protected  Term result
           
protected  Substitution substitution
           
protected  Term term
           
 
Constructor Summary
SubstitutionDebugStub(Term t, Substitution s)
           
 
Method Summary
abstract  Term getResult()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

term

protected Term term

substitution

protected Substitution substitution

result

protected Term result
Constructor Detail

SubstitutionDebugStub

public SubstitutionDebugStub(Term t,
                             Substitution s)
                      throws TermWareException
Throws:
TermWareException
Method Detail

getResult

public abstract Term getResult()