prolog.util
Class ParameterMatchingError

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--prolog.util.ParameterMatchingError

All Implemented Interfaces:

java.io.Serializable

public class ParameterMatchingError

extends java.lang.Exception

See Also:

Serialized Form

Field Summary

protected IFact

fact

Fields inherited from class java.lang.Throwable

backtrace, detailMessage, serialVersionUID

Constructor Summary

ParameterMatchingError(java.lang.String s, IFact fact)

Method Summary

IFact

getFact()

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, getMessage, printStackTrace, printStackTrace, printStackTrace, printStackTrace0, toString

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

fact

protected IFact fact

Constructor Detail

ParameterMatchingError

public ParameterMatchingError(java.lang.String s,
                              IFact fact)

Method Detail

getFact

public IFact getFact()