orc.type.inference
Class InferenceContinuation

java.lang.Object
  orc.type.inference.InferenceContinuation

public abstract class InferenceContinuation
extends java.lang.Object

A continuation to invoke type argument inference during type checking. Whenever the typechecker enters the context of a Call which has no type arguments, an inference continuation is added to the context which will infer those arguments if they are needed.

Author:

dkitchin

Constructor Summary

InferenceContinuation()

Method Summary

abstract Type

inferFrom(ArrowType arrowType)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InferenceContinuation

public InferenceContinuation()

Method Detail

inferFrom

public abstract Type inferFrom(ArrowType arrowType)
                        throws TypeException

Throws:

TypeException