|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
The policy label of the form owner: r1,...,rn
| Method Summary | |
|---|---|
Principal |
owner()
|
java.util.Collection |
readers()
|
| Methods inherited from interface jif.types.label.Label |
|---|
components, componentString, componentString, description, hasVariables, isBottom, isComparable, isCovariant, isDisambiguated, isEnumerable, isInvariant, isRuntimeRepresentable, isSingleton, isTop, join, labelCheck, leq_, setDescription, simplify, singletonComponent, subst, throwTypes, toJava, toString, variables |
| Methods inherited from interface jif.types.Param |
|---|
isCanonical |
| Methods inherited from interface polyglot.types.TypeObject |
|---|
equalsImpl, position, typeSystem |
| Methods inherited from interface polyglot.util.Copy |
|---|
copy |
| Method Detail |
public Principal owner()
public java.util.Collection readers()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||