public class JifParsedPolyType_c extends polyglot.types.ParsedClassType_c implements JifParsedPolyType
JifParsedPolyType
interface.Modifier | Constructor and Description |
---|---|
protected |
JifParsedPolyType_c()
Used for deserializing types.
|
|
JifParsedPolyType_c(JifTypeSystem ts,
polyglot.types.LazyClassInitializer init,
polyglot.frontend.Source fromSource) |
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.
|
void |
kind(polyglot.types.ClassType.Kind kind) |
java.util.List<ParamInstance> |
params()
Declared parameters of the class.
|
ProviderLabel |
provider()
Returns the provider label of the implementation of this class.
|
void |
setAuthority(java.util.List<Principal> principals) |
void |
setConstraints(java.util.List<Assertion> constraints) |
void |
setInstantiatedFrom(polyglot.ext.param.types.PClass<ParamInstance,Param> pc) |
void |
setParams(java.util.List<ParamInstance> params) |
ThisLabel |
thisLabel()
Returns this class's "this" label.
|
ThisLabel |
thisLabel(polyglot.util.Position p) |
java.lang.String |
toString() |
JifTypeSystem |
typeSystem() |
addConstructor, addField, addInterface, addMemberClass, addMethod, constructors, defaultConstructorNeeded, fieldNamed, flags, flags, fromSource, init, initializer, inStaticContext, inStaticContext, interfaces, job, kind, memberClasses, membersAdded, methods, methodsNamed, name, name, needSerialization, needSerialization, numSignaturesUnresolved, outer, outer, package_, package_, position, setConstructors, setContainer, setFields, setFlags, setInit, setInitializer, setInterfaces, setJob, setMemberClasses, setMembersAdded, setMethods, setSignaturesResolved, setSupertypesResolved, signaturesResolved, superType, superType, supertypesResolved
container, copy, declaration, descendsFromImpl, fullName, hasEnclosingInstance, hasEnclosingInstanceImpl, isAnonymous, isCanonical, isCastValidImpl, isClass, isEnclosed, isEnclosedImpl, isImplicitCastValidImpl, isInner, isInnerClass, isLocal, isMember, isNested, isThrowable, isTopLevel, isUncheckedException, memberClassNamed, members, print, resolver, setDeclaration, toClass, translate
hasMethod, hasMethodImpl, isReference, methods, 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, typeEqualsImpl
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
addConstructor, addField, addInterface, addMemberClass, addMethod, defaultConstructorNeeded, flags, fromSource, inStaticContext, membersAdded, name, needSerialization, needSerialization, numSignaturesUnresolved, outer, package_, position, setConstructors, setFields, setInterfaces, setJob, setMemberClasses, setMembersAdded, setMethods, setSignaturesResolved, setSupertypesResolved, signaturesResolved, superType, supertypesResolved
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
protected JifParsedPolyType_c()
public JifParsedPolyType_c(JifTypeSystem ts, polyglot.types.LazyClassInitializer init, polyglot.frontend.Source fromSource)
public JifTypeSystem typeSystem()
typeSystem
in interface JifClassType
typeSystem
in interface polyglot.types.TypeObject
typeSystem
in class polyglot.types.TypeObject_c
public polyglot.ext.param.types.PClass<ParamInstance,Param> instantiatedFrom()
instantiatedFrom
in interface polyglot.ext.param.types.InstType<ParamInstance,Param>
public void setInstantiatedFrom(polyglot.ext.param.types.PClass<ParamInstance,Param> pc)
setInstantiatedFrom
in interface JifParsedPolyType
public void kind(polyglot.types.ClassType.Kind kind)
kind
in interface polyglot.types.ParsedClassType
kind
in class polyglot.types.ParsedClassType_c
public java.util.List<? extends polyglot.types.FieldInstance> fields()
fields
in interface polyglot.types.ReferenceType
fields
in class polyglot.types.ParsedClassType_c
public java.util.List<Principal> authority()
JifClassType
authority
in interface JifClassType
public java.util.List<Principal> constructorCallAuthority()
JifClassType
constructorCallAuthority
in interface JifClassType
public java.util.List<ParamInstance> params()
JifPolyType
ParamInstance
s.params
in interface JifPolyType
ParamInstance
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 ThisLabel thisLabel()
JifClassType
thisLabel
in interface JifClassType
ThisLabel
public ThisLabel thisLabel(polyglot.util.Position p)
thisLabel
in interface JifClassType
public void setParams(java.util.List<ParamInstance> params)
setParams
in interface JifParsedPolyType
public void setAuthority(java.util.List<Principal> principals)
setAuthority
in interface JifParsedPolyType
public java.util.List<Assertion> constraints()
JifClassType
constraints
in interface JifClassType
public void setConstraints(java.util.List<Assertion> constraints)
setConstraints
in interface JifParsedPolyType
public java.lang.String toString()
toString
in interface polyglot.types.Type
toString
in class polyglot.types.ParsedClassType_c
public ProviderLabel provider()
JifClassType
provider
in interface JifClassType
public boolean isUnsafe()
JifClassType
isUnsafe
in interface JifClassType