ua.gradsoft.termware.debug
Class DebugStubGenerator

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

public class DebugStubGenerator
extends Object

Generate debug stubs.


Constructor Summary
DebugStubGenerator(TermWareInstance instance)
          Creates a new instance of DebugStubGenerator
 
Method Summary
 Class<? extends ConditionDebugStub> generateConditionDebugStub(Term condition)
           
 Class<? extends SubstitutionDebugStub> generateFactsSubstitutionDebugStub(Term action)
           
 Class<? extends SetFactsDebugStub> generateSetFactsDebugStub(Term action)
           
 Class<? extends SubstitutionDebugStub> generateSubstitutionDebugStub(Term outPattern)
           
 Class<? extends UnificationDebugStub> generateUnificationDebugStub(Term inPattern)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DebugStubGenerator

public DebugStubGenerator(TermWareInstance instance)
Creates a new instance of DebugStubGenerator

Method Detail

generateUnificationDebugStub

public Class<? extends UnificationDebugStub> generateUnificationDebugStub(Term inPattern)
                                                                   throws TermWareException
Throws:
TermWareException

generateSubstitutionDebugStub

public Class<? extends SubstitutionDebugStub> generateSubstitutionDebugStub(Term outPattern)
                                                                     throws TermWareException
Throws:
TermWareException

generateSetFactsDebugStub

public Class<? extends SetFactsDebugStub> generateSetFactsDebugStub(Term action)
                                                             throws TermWareException
Throws:
TermWareException

generateFactsSubstitutionDebugStub

public Class<? extends SubstitutionDebugStub> generateFactsSubstitutionDebugStub(Term action)
                                                                          throws TermWareException
Throws:
TermWareException

generateConditionDebugStub

public Class<? extends ConditionDebugStub> generateConditionDebugStub(Term condition)
                                                               throws TermWareException
Throws:
TermWareException