ua.gradsoft.termware.debug
Class SubstitutionDebugStub

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