jif.types
Interface ParamInstance

All Superinterfaces:

java.lang.Cloneable, polyglot.util.Copy, 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.

Nested Class Summary

static class

ParamInstance.Kind

Field Summary

static ParamInstance.Kind	COVARIANT_LABEL
static ParamInstance.Kind	INVARIANT_LABEL
static ParamInstance.Kind	PRINCIPAL

Method Summary

JifClassType	container()
ParamInstance	container(JifClassType container)
boolean	isCovariantLabel()
boolean	isInvariantLabel()
boolean	isLabel()
boolean	isPrincipal()
ParamInstance.Kind	kind()
ParamInstance	kind(ParamInstance.Kind kind)
ParamInstance	name(java.lang.String name)

Methods inherited from interface polyglot.types.VarInstance

constantValue, constantValueSet, flags, isConstant, name, setConstantValue, setFlags, setName, setNotConstant, setType, type

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, isCanonical, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Field Detail

INVARIANT_LABEL

public static final ParamInstance.Kind INVARIANT_LABEL

COVARIANT_LABEL

public static final ParamInstance.Kind COVARIANT_LABEL

PRINCIPAL

public static final ParamInstance.Kind PRINCIPAL

Method Detail

container

public JifClassType container()

container

public ParamInstance container(JifClassType container)

kind

public ParamInstance.Kind kind()

kind

public ParamInstance kind(ParamInstance.Kind kind)

name

public ParamInstance name(java.lang.String name)

isPrincipal

public boolean isPrincipal()

isLabel

public boolean isLabel()

isInvariantLabel

public boolean isInvariantLabel()

isCovariantLabel

public boolean isCovariantLabel()