Class UType

All Implemented Interfaces:
Unifiable<>,<Choice<Unifier>,​Unifier>, Serializable
Direct Known Subclasses:
UClassType, UForAll, UIntersectionClassType, UMethodType, UTypeVar

public abstract class UType
implements Unifiable<>
A serializable representation of a type template, used for enforcing type constraints on target ASTs.
Louis Wasserman
See Also:
Serialized Form
  • Constructor Summary

    Constructor Description
  • Method Summary

    Modifier and Type Method Description inline​(Inliner inliner)  
    Choice<Unifier> unify​( target, Unifier unifier)
    Returns all valid unification paths (if any) from this Unifier that unify this with target.
    Choice<Unifier> visitType​( t, Unifier unifier)  

    Methods inherited from class

    visitCapturedType, visitForAll, visitUndetVar

    Methods inherited from class

    visit, visitArrayType, visitClassType, visitErrorType, visitMethodType, visitModuleType, visitPackageType, visitTypeVar, visitWildcardType

    Methods inherited from class java.lang.Object

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