public interface JL5ProcedureInstance extends ProcedureInstance, MemberInstance
Modifier and Type | Method and Description |
---|---|
Annotations |
annotations()
Annotations on the declaration of this type.
|
JL5Subst |
erasureSubst()
Returns a subst suitable for the erased type: the subst
maps any type variables to their erasure.
|
boolean |
isVariableArity() |
void |
setAnnotations(Annotations annotations) |
void |
setTypeParams(java.util.List<TypeVariable> typeParams) |
java.util.List<TypeVariable> |
typeParams() |
callValid, callValidImpl, designator, formalTypes, hasFormals, hasFormalsImpl, moreSpecific, moreSpecificImpl, setFormalTypes, setThrowTypes, signature, throwsSubset, throwsSubsetImpl, throwTypes
flags
equalsImpl, isCanonical, position, typeSystem
container, flags, setContainer, setFlags
boolean isVariableArity()
void setTypeParams(java.util.List<TypeVariable> typeParams)
java.util.List<TypeVariable> typeParams()
JL5Subst erasureSubst()
Annotations annotations()
void setAnnotations(Annotations annotations)