jif.lang

Class JoinIntegPolicy

java.lang.Object

jif.lang.AbstractPolicy

jif.lang.JoinPolicy

jif.lang.JoinIntegPolicy

All Implemented Interfaces:

IntegPolicy, Policy

public final class JoinIntegPolicy
extends JoinPolicy
implements IntegPolicy

Represents the join of integrity policies

Field Summary

Fields inherited from class jif.lang.AbstractPolicy

labelUtil

Method Summary

Modifier and Type	Method and Description
IntegPolicy	join(IntegPolicy p)
IntegPolicy	join(IntegPolicy p, boolean simplify)
IntegPolicy	join(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s) Return the join of this policy and p.
IntegPolicy	join(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s, boolean simplify)
IntegPolicy	meet(IntegPolicy p)
IntegPolicy	meet(IntegPolicy p, boolean simplify)
IntegPolicy	meet(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
IntegPolicy	meet(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s, boolean simplify)

Methods inherited from class jif.lang.JoinPolicy

equals, hashCode, joinComponents, relabelsTo, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface jif.lang.Policy

relabelsTo

Method Detail

join

public IntegPolicy join(IntegPolicy p,
                        java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)

Description copied from interface: IntegPolicy

Return the join of this policy and p. The set s contains all delegations (i.e., DelegationPairs) that this join result depends upon.

Specified by:

join in interface IntegPolicy

meet

public IntegPolicy meet(IntegPolicy p,
                        java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)

Specified by:

meet in interface IntegPolicy

join

public IntegPolicy join(IntegPolicy p)

Specified by:

join in interface IntegPolicy

meet

public IntegPolicy meet(IntegPolicy p)

Specified by:

meet in interface IntegPolicy

join

public IntegPolicy join(IntegPolicy p,
                        boolean simplify)

Specified by:

join in interface IntegPolicy

meet

public IntegPolicy meet(IntegPolicy p,
                        boolean simplify)

Specified by:

meet in interface IntegPolicy

join

public IntegPolicy join(IntegPolicy p,
                        java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s,
                        boolean simplify)

Specified by:

join in interface IntegPolicy

meet

public IntegPolicy meet(IntegPolicy p,
                        java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s,
                        boolean simplify)

Specified by:

meet in interface IntegPolicy