jif.types.label
Interface PolicyLabel

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

public interface PolicyLabel
extends Label

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

owner

public Principal owner()

readers

public java.util.Collection readers()