jif.types
Interface ExternalPrincipal

All Superinterfaces:

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

All Known Implementing Classes:

ExternalPrincipal_c

public interface ExternalPrincipal

extends Principal

The external principal existing in the running system. It is specified by the name of a principal, such as "Alice" and "Bob".

Method Summary

java.lang.String

name()

Methods inherited from interface jif.types.Principal

labelOf, subst, subst, toJava, translate, uid

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

name

public java.lang.String name()