ubc.cs.JLog.Terms
Class PredicateExpectedException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by ubc.cs.JLog.Terms.PredicateExpectedException
All Implemented Interfaces:
java.io.Serializable

public class PredicateExpectedException
extends java.lang.RuntimeException

See Also:
Serialized Form

Field Summary
protected  jTerm term
           
 
Constructor Summary
PredicateExpectedException(jTerm t)
           
PredicateExpectedException(java.lang.String s, jTerm t)
           
 
Method Summary
 jTerm getTerm()
           
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

term

protected jTerm term
Constructor Detail

PredicateExpectedException

public PredicateExpectedException(jTerm t)

PredicateExpectedException

public PredicateExpectedException(java.lang.String s,
                                  jTerm t)
Method Detail

getTerm

public jTerm getTerm()