Class UForAll

All Implemented Interfaces:
Unifiable<>,<Choice<Unifier>,​Unifier>, Serializable

public abstract class UForAll
extends UType
UType version of Type.ForAll.
Author: (Louis Wasserman)
See Also:
Serialized Form
  • Constructor Summary

    Constructor Description
  • Method Summary

    Modifier and Type Method Description
    static UForAll create​(List<UTypeVar> typeVars, UType quantifiedType)  
    abstract UType getQuantifiedType()  
    abstract<UTypeVar> getTypeVars() inline​(Inliner inliner)  
    Choice<Unifier> visitForAll​( target, Unifier unifier)  

    Methods inherited from class

    unify, visitType

    Methods inherited from class

    visitCapturedType, 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