orc.type.inference
Class Constraint

java.lang.Object
  orc.type.inference.Constraint

public class Constraint
extends java.lang.Object

Upper and lower bound constraints on a type variable.

Author:

dkitchin

Field Summary

Type	lower
Type	upper

Constructor Summary

Constraint()

Method Summary

void	atLeast(Type T)
void	atMost(Type T)
Type	minimal(Variance v)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

lower

public Type lower

upper

public Type upper

Constructor Detail

Constraint

public Constraint()

Method Detail

atLeast

public void atLeast(Type T)
             throws TypeException

Throws:

TypeException

atMost

public void atMost(Type T)
            throws TypeException

Throws:

TypeException

minimal

public Type minimal(Variance v)
             throws TypeException

Throws:

TypeException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object