jltools.ext.jif.types
Interface ParamPrincipal

All Superinterfaces:

java.lang.Cloneable, Copy, Param, Principal, java.io.Serializable, TypeObject

All Known Implementing Classes:

ParamPrincipal_c

public interface ParamPrincipal

extends Principal

The principal derived from a principal parameter.

Methods inherited from interface jltools.ext.jif.types.Principal

labelOf, subst, substArg, translate, uid

Methods inherited from interface jltools.ext.jif.types.Param

isCanonical, isRuntimeRepresentable

Methods inherited from interface jltools.types.TypeObject

position, restore, typeSystem

Methods inherited from interface jltools.util.Copy

copy