jif.types.principal
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 is used primarily for testing purposes. It is specified by the name of a principal, such as "Alice" and "Bob". See lib-src/jif/lang/ExternalPrincipal

Method Summary

java.lang.String

name()

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

name

java.lang.String name()