jif.types
Interface ParamInstance
- All Superinterfaces:
- java.lang.Cloneable, polyglot.util.Copy, polyglot.types.Declaration, java.io.Serializable, polyglot.types.TypeObject, polyglot.types.VarInstance
- All Known Implementing Classes:
- ParamInstance_c
public interface ParamInstance
- extends polyglot.types.VarInstance
A parameter instance. A wrapper of all the type information
related to a label/principal parameter.
Methods inherited from interface polyglot.types.VarInstance |
constantValue, constantValueSet, flags, isConstant, name, setConstantValue, setFlags, setName, setNotConstant, setType, type |
Methods inherited from interface polyglot.types.Declaration |
declaration, setDeclaration |
INVARIANT_LABEL
static final ParamInstance.Kind INVARIANT_LABEL
COVARIANT_LABEL
static final ParamInstance.Kind COVARIANT_LABEL
PRINCIPAL
static final ParamInstance.Kind PRINCIPAL
container
JifClassType container()
container
ParamInstance container(JifClassType container)
kind
ParamInstance.Kind kind()
kind
ParamInstance kind(ParamInstance.Kind kind)
name
ParamInstance name(java.lang.String name)
isPrincipal
boolean isPrincipal()
isLabel
boolean isLabel()
isInvariantLabel
boolean isInvariantLabel()
isCovariantLabel
boolean isCovariantLabel()