public interface SubstType<Formal extends Param,Actual extends TypeObject> extends Type
Modifier and Type | Method and Description |
---|---|
Type |
base()
The type on which substitutions are performed.
|
java.util.Iterator<java.util.Map.Entry<Formal,Actual>> |
entries()
Entries of underlying substitution map.
|
Subst<Formal,Actual> |
subst()
The substitution function.
|
arrayOf, arrayOf, descendsFrom, descendsFromImpl, isArray, isBoolean, isByte, isCastValid, isCastValidImpl, isChar, isClass, isComparable, isDouble, isFloat, isImplicitCastValid, isImplicitCastValidImpl, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPrimitive, isReference, isShort, isSubtype, isSubtypeImpl, isThrowable, isUncheckedException, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, print, toArray, toClass, toNull, toPrimitive, toReference, toString, translate, typeEquals, typeEqualsImpl
equalsImpl, isCanonical, position, typeSystem