orc.type.inference
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.inference.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

boolean	replay
ArrowType	requestedType

Fields inherited from class orc.error.compiletime.CompilationException

location

Constructor Summary

InferenceRequest(ArrowType requestedType)

Method Summary

java.lang.Exception

addReplay()

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

Field Detail

requestedType

public ArrowType requestedType

replay

public boolean replay

Constructor Detail

InferenceRequest

public InferenceRequest(ArrowType requestedType)

Method Detail

addReplay

public java.lang.Exception addReplay()

Returns:

this InferenceRequest