jif.types.principal
Interface DynamicPrincipal

All Superinterfaces:

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

All Known Implementing Classes:

DynamicPrincipal_c

public interface DynamicPrincipal
extends Principal

Dynamic principal.

Method Summary

AccessPath

path()

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

path

AccessPath path()