public class JL5ConstructorInstance_c extends ConstructorInstance_c implements JL5ConstructorInstance
decl
container, flags, formalTypes, throwTypes
position, ts
Constructor and Description |
---|
JL5ConstructorInstance_c(JL5TypeSystem_c ts,
Position pos,
ClassType container,
Flags flags,
java.util.List<? extends Type> argTypes,
java.util.List<? extends Type> excTypes,
java.util.List<TypeVariable> typeParams) |
Modifier and Type | Method and Description |
---|---|
Annotations |
annotations()
Annotations on the declaration of this type.
|
boolean |
callValidImpl(java.util.List<? extends Type> argTypes)
Returns true if the procedure can be called with the given argument types.
|
JL5Subst |
erasureSubst()
Returns a subst suitable for the erased type: the subst
maps any type variables to their erasure.
|
boolean |
isCanonical()
Return true if the type object contains no unknown/ambiguous types.
|
boolean |
isVariableArity() |
void |
setAnnotations(Annotations annotations) |
void |
setTypeParams(java.util.List<TypeVariable> typeParams) |
java.util.List<TypeVariable> |
typeParams() |
container, declaration, designator, equalsImpl, flags, formalTypes, orig, setDeclaration, signature, throwTypes, toString
callValid, container, flags, formalTypes, hasFormals, hasFormalsImpl, hashCode, listIsCanonical, moreSpecific, moreSpecificImpl, setContainer, setFlags, setFormalTypes, setThrowTypes, throwsSubset, throwsSubsetImpl, throwTypes
copy, equals, position, typeSystem
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
container, flags, formalTypes, orig, throwTypes
declaration, setDeclaration
callValid, designator, formalTypes, hasFormals, hasFormalsImpl, moreSpecific, moreSpecificImpl, setFormalTypes, setThrowTypes, signature, throwsSubset, throwsSubsetImpl, throwTypes
flags
container, flags, setContainer, setFlags
public JL5ConstructorInstance_c(JL5TypeSystem_c ts, Position pos, ClassType container, Flags flags, java.util.List<? extends Type> argTypes, java.util.List<? extends Type> excTypes, java.util.List<TypeVariable> typeParams)
public boolean isVariableArity()
isVariableArity
in interface JL5ProcedureInstance
public boolean callValidImpl(java.util.List<? extends Type> argTypes)
ProcedureInstance
callValidImpl
in interface ProcedureInstance
callValidImpl
in class ProcedureInstance_c
public boolean isCanonical()
TypeObject
isCanonical
in interface TypeObject
isCanonical
in class ConstructorInstance_c
public void setTypeParams(java.util.List<TypeVariable> typeParams)
setTypeParams
in interface JL5ProcedureInstance
public java.util.List<TypeVariable> typeParams()
typeParams
in interface JL5ProcedureInstance
public JL5Subst erasureSubst()
JL5ProcedureInstance
erasureSubst
in interface JL5ProcedureInstance
public Annotations annotations()
JL5ProcedureInstance
annotations
in interface JL5ProcedureInstance
public void setAnnotations(Annotations annotations)
setAnnotations
in interface JL5ProcedureInstance