orc.error.compiletime.typing
Class SubtypeFailureException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          orc.error.OrcException
              orc.error.compiletime.CompilationException
                  orc.error.compiletime.typing.TypeException
                      orc.error.compiletime.typing.SubtypeFailureException

All Implemented Interfaces:

java.io.Serializable, Locatable, Located

public class SubtypeFailureException
extends TypeException

See Also:

Serialized Form

Field Summary

Fields inherited from class orc.error.compiletime.CompilationException

location

Constructor Summary

SubtypeFailureException(Type S, Type T)

Method Summary

Methods inherited from class orc.error.compiletime.CompilationException

getMessage, getMessageOnly, getSourceLocation, setSourceLocation

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, 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

SubtypeFailureException

public SubtypeFailureException(Type S,
                               Type T)