jif.types.principal
Interface ParamPrincipal

All Superinterfaces:

java.lang.Cloneable, polyglot.util.Copy, Param, Principal, java.io.Serializable, polyglot.types.TypeObject

All Known Implementing Classes:

ParamPrincipal_c

public interface ParamPrincipal
extends Principal

The principal derived from a principal parameter.

Method Summary

ParamInstance

paramInstance()

Methods inherited from interface jif.types.principal.Principal

hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, simplify, subst, throwTypes, toJava, variables

Methods inherited from interface jif.types.Param

isCanonical, isRuntimeRepresentable

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

paramInstance

ParamInstance paramInstance()