Save This Page
Home » openjdk-7 » com.sun.tools » javac » code » [javadoc | source]
com.sun.tools.javac.code
public static class: Type.ForAll [javadoc | source]
java.lang.Object
   com.sun.tools.javac.code.Type
      com.sun.tools.javac.code.Type.DelegatedType
         com.sun.tools.javac.code.Type$ForAll

All Implemented Interfaces:
    ExecutableType, PrimitiveType

Direct Known Subclasses:
    UninferredReturnType

Nested Class Summary:
public enum class  ForAll.ConstraintKind  Kind of type-constraint derived during type inference 
Field Summary
public  List<Type> tvars     
Fields inherited from com.sun.tools.javac.code.Type$DelegatedType:
qtype
Fields inherited from com.sun.tools.javac.code.Type:
noType,  moreInfo,  tag,  tsym
Constructor:
 public ForAll(List<Type> tvars,
    Type qtype) 
Method from com.sun.tools.javac.code.Type$ForAll Summary:
accept,   accept,   asMethodType,   complete,   contains,   getConstraints,   getKind,   getTypeArguments,   getTypeVariables,   inst,   isErroneous,   map,   toString
Methods from com.sun.tools.javac.code.Type$DelegatedType:
allparams,   getEnclosingType,   getParameterTypes,   getReturnType,   getThrownTypes,   getTypeArguments,   getUpperBound,   isErroneous,   toString
Methods from com.sun.tools.javac.code.Type:
accept,   accept,   allparams,   argtypes,   asElement,   asMethodType,   baseType,   baseTypes,   complete,   constType,   constValue,   contains,   contains,   containsAny,   containsAny,   equals,   filter,   getEnclosingType,   getKind,   getLowerBound,   getModelType,   getModelTypes,   getParameterTypes,   getReturnType,   getThrownTypes,   getTypeArguments,   getUpperBound,   hashCode,   isCompound,   isErroneous,   isErroneous,   isExtendsBound,   isFalse,   isFinal,   isInterface,   isParameterized,   isPrimitive,   isRaw,   isSuperBound,   isTrue,   isUnbound,   map,   map,   stringValue,   toString,   toString,   withTypeVar
Methods from java.lang.Object:
clone,   equals,   finalize,   getClass,   hashCode,   notify,   notifyAll,   toString,   wait,   wait,   wait
Method from com.sun.tools.javac.code.Type$ForAll Detail:
 public R accept(Visitor<R, S> v,
    S s) 
 public R accept(TypeVisitor<R, P> v,
    P p) 
 public MethodType asMethodType() 
 public  void complete() 
 public boolean contains(Type elem) 
 public List<Type> getConstraints(TypeVar tv,
    ConstraintKind ck) 
    Get the type-constraints of a given kind for a given type-variable of this ForAll type. Subclasses should override in order to return more accurate sets of constraints.
 public TypeKind getKind() 
 public List<Type> getTypeArguments() 
 public List<TypeVar> getTypeVariables() 
 public Type inst(List<Type> actuals,
    Types types) 
    Replaces this ForAll's typevars with a set of concrete Java types and returns the instantiated generic type. Subclasses should override in order to check that the list of types is a valid instantiation of the ForAll's typevars.
 public boolean isErroneous() 
 public Type map(Mapping f) 
 public String toString()