public class JifSubstClassType_c extends polyglot.ext.param.types.SubstClassType_c<ParamInstance,Param> implements JifSubstType
Constructor and Description |
---|
JifSubstClassType_c(JifTypeSystem ts,
polyglot.util.Position pos,
polyglot.types.ClassType base,
JifSubst subst) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Param> |
actuals()
Returns a list of
Param s, being the parameters with which
this class is instantiated. |
java.util.List<Principal> |
authority()
The principals that grant authority to objects of this class, that is,
the principals listed in the authority clause.
|
java.util.List<Assertion> |
constraints()
Constraints on the principal hierarchy.
|
java.util.List<Principal> |
constructorCallAuthority()
The principals whose authority is required by the context that creates a
new instance of this class.
|
java.util.List<? extends polyglot.types.FieldInstance> |
fields() |
polyglot.ext.param.types.PClass<ParamInstance,Param> |
instantiatedFrom() |
boolean |
isUnsafe()
Returns whether this class has been label-checked.
|
ProviderLabel |
provider()
Returns the provider label of the implementation of this class.
|
ThisLabel |
thisLabel()
Returns this class's "this" label.
|
ThisLabel |
thisLabel(polyglot.util.Position p) |
java.lang.String |
toString() |
JifTypeSystem |
typeSystem() |
base, constructors, deepCopy, entries, equalsImpl, flags, fullName, hashCode, inStaticContext, interfaces, job, kind, memberClasses, methods, name, outer, package_, setContainer, setFlags, subst, superType, translate, typeEqualsImpl
container, copy, declaration, descendsFromImpl, fieldNamed, hasEnclosingInstance, hasEnclosingInstanceImpl, isAnonymous, isCanonical, isCastValidImpl, isClass, isEnclosed, isEnclosedImpl, isImplicitCastValidImpl, isInner, isInnerClass, isLocal, isMember, isNested, isThrowable, isTopLevel, isUncheckedException, memberClassNamed, members, print, resolver, setDeclaration, toClass
hasMethod, hasMethodImpl, isReference, methods, methodsNamed, toReference
arrayOf, arrayOf, descendsFrom, isArray, isBoolean, isByte, isCastValid, isChar, isComparable, isDouble, isFloat, isImplicitCastValid, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPackage, isPrimitive, isShort, isSubtype, isSubtypeImpl, isType, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, toArray, toNull, toPackage, toPrimitive, toType, typeEquals
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
constructors, fieldNamed, hasEnclosingInstance, hasEnclosingInstanceImpl, inStaticContext, isAnonymous, isEnclosed, isEnclosedImpl, isInner, isInnerClass, isLocal, isMember, isNested, isTopLevel, kind, memberClasses, memberClassNamed, outer, resolver
hasMethod, hasMethodImpl, interfaces, members, methods, methods, methodsNamed, superType
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, translate, typeEquals, typeEqualsImpl
public JifSubstClassType_c(JifTypeSystem ts, polyglot.util.Position pos, polyglot.types.ClassType base, JifSubst subst)
public java.util.List<? extends polyglot.types.FieldInstance> fields()
fields
in interface polyglot.types.ReferenceType
fields
in class polyglot.ext.param.types.SubstClassType_c<ParamInstance,Param>
public polyglot.ext.param.types.PClass<ParamInstance,Param> instantiatedFrom()
instantiatedFrom
in interface polyglot.ext.param.types.InstType<ParamInstance,Param>
public java.util.List<Param> actuals()
JifClassType
Param
s, being the parameters with which
this class is instantiated.actuals
in interface JifClassType
actuals
in interface polyglot.ext.param.types.InstType<ParamInstance,Param>
public JifTypeSystem typeSystem()
typeSystem
in interface JifClassType
typeSystem
in interface polyglot.types.TypeObject
typeSystem
in class polyglot.types.TypeObject_c
public java.util.List<Principal> authority()
JifClassType
authority
in interface JifClassType
public java.util.List<Assertion> constraints()
JifClassType
constraints
in interface JifClassType
public java.util.List<Principal> constructorCallAuthority()
JifClassType
constructorCallAuthority
in interface JifClassType
public ThisLabel thisLabel()
JifClassType
thisLabel
in interface JifClassType
ThisLabel
public ThisLabel thisLabel(polyglot.util.Position p)
thisLabel
in interface JifClassType
public java.lang.String toString()
toString
in interface polyglot.types.Type
toString
in class polyglot.ext.param.types.SubstClassType_c<ParamInstance,Param>
public ProviderLabel provider()
JifClassType
provider
in interface JifClassType
public boolean isUnsafe()
JifClassType
isUnsafe
in interface JifClassType