orc.type
Class InferenceRequest

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

All Implemented Interfaces:

java.io.Serializable, Locatable, Located

public class InferenceRequest
extends TypeException

A special exception raised and caught within the typechecker to request the inference of missing type parameters on a call.

Author:

dkitchin

See Also:

Serialized Form

Field Summary

ArrowType

requestedType

Fields inherited from class orc.error.compiletime.CompilationException

location

Constructor Summary

InferenceRequest(ArrowType requestedType)

Method Summary

Methods inherited from class orc.error.compiletime.CompilationException

getMessage, 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

Field Detail

requestedType

public ArrowType requestedType

Constructor Detail

InferenceRequest

public InferenceRequest(ArrowType requestedType)