ua.gradsoft.termware.debug
Class DebugStubGenerator

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