orbital.logic.sign.type
Class TypeException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              orbital.logic.sign.type.TypeException

All Implemented Interfaces:

java.io.Serializable

public class TypeException
extends java.lang.RuntimeException

Thrown whenever an exception due to invalid typing occurs.

Author:

André Platzer

See Also:

Serialized Form

Constructor Summary

TypeException()

TypeException(java.lang.String message)

TypeException(java.lang.String message, Type required, Type occurred)

Method Summary

Type	getOccurred() Get the type that was actually found.
Type	getRequired() Get the type that would have been required.

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

Constructor Detail

TypeException

public TypeException()

TypeException

public TypeException(java.lang.String message)

TypeException

public TypeException(java.lang.String message,
                     Type required,
                     Type occurred)

Method Detail

getRequired

public Type getRequired()

Get the type that would have been required.

getOccurred

public Type getOccurred()

Get the type that was actually found.