mlsub.typing
Class TypeConstructorLeqMonotypeCst 
java.lang.Object
mlsub.typing.AtomicConstraint
mlsub.typing.TypeConstructorLeqMonotypeCst
- public final class TypeConstructorLeqMonotypeCst
- extends AtomicConstraint
Constraint a type constructor to be lower than a monotype's head.
The constraint is posed on the raw monotype, after the nullness marker.
t1
private TypeConstructor t1
t2
private Monotype t2
TypeConstructorLeqMonotypeCst
public TypeConstructorLeqMonotypeCst(TypeConstructor t1,
Monotype t2)
substitute
AtomicConstraint substitute(java.util.Map map)
- Perform type symbol substitution inside the constraint.
Does not need to create a new object, but must not
imperatively modify the constraint.
- Specified by:
substitute in class AtomicConstraint
enter
public void enter()
throws TypingEx
- Specified by:
enter in class AtomicConstraint
toString
public java.lang.String toString()
- Description copied from class:
java.lang.Object
- Convert this Object to a human-readable String.
There are no limits placed on how long this String
should be or what it should contain. We suggest you
make it as intuitive as possible to be able to place
it into System.out.println() 55
and such.
It is typical, but not required, to ensure that this method
never completes abruptly with a java.lang.RuntimeException.
This method will be called when performing string
concatenation with this object. If the result is
null, string concatenation will instead
use "null".
The default implementation returns
getClass().getName() + "@" +
Integer.toHexString(hashCode()).
t1
public TypeConstructor t1()
t2
public Monotype t2()
JAVADOC |