Interface TopPrincipal

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

public interface TopPrincipal
extends Principal

The top principal is able to act for all other principals. The top principal can never appear in an authority clause, caller clause, etc.---it can only appear in a policy.

Method Summary
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