ubc.cs.JLog.Terms
Class PredicateExpectedException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              ubc.cs.JLog.Terms.PredicateExpectedException

All Implemented Interfaces:

Serializable

public class PredicateExpectedException
extends RuntimeException

See Also:

Serialized Form

Field Summary

protected jTerm

term

Constructor Summary

PredicateExpectedException(jTerm t)

PredicateExpectedException(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(String s,
                                  jTerm t)

Method Detail

getTerm

public jTerm getTerm()