proof.type
Class TypecheckFailedException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--proof.type.TypecheckFailedException

All Implemented Interfaces:

java.io.Serializable

public class TypecheckFailedException

extends java.lang.Exception

Exception indicating that something didn't typecheck.

See Also:

Serialized Form

Constructor Summary

TypecheckFailedException()

TypecheckFailedException(java.lang.String message)
Constructor, specifying an error message.

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Detail

TypecheckFailedException

public TypecheckFailedException()

TypecheckFailedException

public TypecheckFailedException(java.lang.String message)

Constructor, specifying an error message.