|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ExternalPrincipal
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 |
---|
java.lang.String name()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |