ubc.cs.JLog.Terms
Class UnknownPredicateException

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

All Implemented Interfaces:

Serializable

public class UnknownPredicateException
extends RuntimeException

See Also:

Serialized Form

Field Summary

protected iPredicate

predicate

Constructor Summary

UnknownPredicateException(iPredicate p)

UnknownPredicateException(String s, iPredicate p)

Method Summary

iPredicate

getPredicate()

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

predicate

protected iPredicate predicate

Constructor Detail

UnknownPredicateException

public UnknownPredicateException(iPredicate p)

UnknownPredicateException

public UnknownPredicateException(String s,
                                 iPredicate p)

Method Detail

getPredicate

public iPredicate getPredicate()