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()