Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.types.label
Class MeetIntegPolicy_c

    java.lang.Object
      polyglot.types.TypeObject_c
          jif.types.label.Policy_c
              jif.types.label.MeetPolicy_c
                  jif.types.label.MeetIntegPolicy_c

All Implemented Interfaces:
  java.io.Serializable, java.lang.Cloneable, IntegPolicy, Policy, polyglot.types.TypeObject, polyglot.util.Copy

    public class MeetIntegPolicy_c

extends MeetPolicy_c
implements IntegPolicy

Represents the meet of a number of integrity policies.

See Also:
  Serialized Form

Field Summary

Fields inherited from class polyglot.types.TypeObject_c
`position, ts`

Constructor Summary
`MeetIntegPolicy_c(java.util.Set components, JifTypeSystem ts, polyglot.util.Position pos)`

Method Summary
`protected Policy` | `constructMeetPolicy(java.util.Set components, polyglot.util.Position pos)`
`boolean` | `isBottomIntegrity()`
`boolean` | `isTopIntegrity()`
`IntegPolicy` | `join(IntegPolicy p)`
`boolean` | `leq_(IntegPolicy p, LabelEnv env, LabelEnv.SearchState state)`
`IntegPolicy` | `meet(IntegPolicy p)`

Methods inherited from class jif.types.label.MeetPolicy_c
`equalsImpl, hashCode, hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, leq_, meetComponents, simplifyImpl, subst, throwTypes, toString`

Methods inherited from class jif.types.label.Policy_c
`copy, simplify, toString`

Methods inherited from class polyglot.types.TypeObject_c
`equals, position, typeSystem`

Methods inherited from class java.lang.Object
`clone, finalize, getClass, notify, notifyAll, wait, wait, wait`

Methods inherited from interface jif.types.label.Policy
`hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, simplify, subst, throwTypes, toString`

Methods inherited from interface polyglot.types.TypeObject
`equalsImpl, position, typeSystem`

Methods inherited from interface polyglot.util.Copy
`copy`

Constructor Detail

### MeetIntegPolicy_c

    public MeetIntegPolicy_c(java.util.Set components,
                             JifTypeSystem ts,
                             polyglot.util.Position pos)

Method Detail

### constructMeetPolicy

    protected Policy constructMeetPolicy(java.util.Set components,
                                         polyglot.util.Position pos)

  Specified by:
    `constructMeetPolicy` in class `MeetPolicy_c`

### isBottomIntegrity

    public boolean isBottomIntegrity()

  Specified by:
    `isBottomIntegrity` in interface `IntegPolicy`

### isTopIntegrity

    public boolean isTopIntegrity()

  Specified by:
    `isTopIntegrity` in interface `IntegPolicy`

### leq_

    public boolean leq_(IntegPolicy p,
                        LabelEnv env,
                        LabelEnv.SearchState state)

  Specified by:
    `leq_` in interface `IntegPolicy`

### meet

    public IntegPolicy meet(IntegPolicy p)

  Specified by:
    `meet` in interface `IntegPolicy`

### join

    public IntegPolicy join(IntegPolicy p)

  Specified by:
    `join` in interface `IntegPolicy`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD