Interface ExternalPrincipal

All Superinterfaces:
java.lang.Cloneable, polyglot.util.Copy, Param, Principal, java.io.Serializable, polyglot.types.TypeObject
All Known Implementing Classes:

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

Method Detail


java.lang.String name()