orc.error.compiletime
Class NonlinearPatternException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          orc.error.OrcException
              orc.error.compiletime.CompilationException
                  orc.error.compiletime.PatternException
                      orc.error.compiletime.NonlinearPatternException

All Implemented Interfaces:

java.io.Serializable, Locatable, Located

public class NonlinearPatternException
extends PatternException

See Also:

Serialized Form

Field Summary

Fields inherited from class orc.error.compiletime.CompilationException

location

Constructor Summary

NonlinearPatternException(FreeVariable x)

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

NonlinearPatternException

public NonlinearPatternException(FreeVariable x)