## Uses of Interface
org.eclipse.jst.jsf.common.sets.AxiomaticSet

Packages that use AxiomaticSet
org.eclipse.jst.jsf.common.sets: Axiomatic Sets framework.
org.eclipse.jst.jsf.common.sets.constraint: Classes for creating validation constraints on sets.
org.eclipse.jst.jsf.common.sets.mapping: Classes for creating member mappings between sets.
org.eclipse.jst.jsf.core.set.constraint: JSF Core Set Constraints.
org.eclipse.jst.jsf.core.tagmatcher: JSF Core Tag Matching Support.

Uses of AxiomaticSet in org.eclipse.jst.jsf.common.sets

Classes in org.eclipse.jst.jsf.common.sets that implement AxiomaticSet
`class` `ConcreteAxiomaticSet` Implements a simple axiomatic set based on a hashset Provisional API - subject to change
`class` `NodeSet` A set backed by a W3C NodeList so as to avoid copying.

Methods in org.eclipse.jst.jsf.common.sets that return AxiomaticSet
`AxiomaticSet` `NodeSet.intersect(AxiomaticSet set)`
`AxiomaticSet` `ConcreteAxiomaticSet.intersect(AxiomaticSet set)`
`AxiomaticSet` `AxiomaticSet.intersect(AxiomaticSet set)`
`AxiomaticSet` `NodeSet.subtract(AxiomaticSet set)`
`AxiomaticSet` `ConcreteAxiomaticSet.subtract(AxiomaticSet set)`
`AxiomaticSet` `AxiomaticSet.subtract(AxiomaticSet set)` The set constructed by the removing the intersection of this with set from this.
`static AxiomaticSet` `AxiomaticSetUtil.subtract(AxiomaticSet firstOperand, AxiomaticSet secondOperand)`
`AxiomaticSet` `NodeSet.union(AxiomaticSet set)`
`AxiomaticSet` `ConcreteAxiomaticSet.union(AxiomaticSet set)`
`AxiomaticSet` `AxiomaticSet.union(AxiomaticSet set)`

Methods in org.eclipse.jst.jsf.common.sets with parameters of type AxiomaticSet
`AxiomaticSet` `NodeSet.intersect(AxiomaticSet set)`
`AxiomaticSet` `ConcreteAxiomaticSet.intersect(AxiomaticSet set)`
`AxiomaticSet` `AxiomaticSet.intersect(AxiomaticSet set)`
`static void` `AxiomaticSetUtil.intersect(AxiomaticSet newSet, AxiomaticSet firstSet, AxiomaticSet secondSet)` Creates an intersection of firstSet and secondSet in newSet
`boolean` `NodeSet.isDisjoint(AxiomaticSet set)`
`boolean` `ConcreteAxiomaticSet.isDisjoint(AxiomaticSet set)`
`boolean` `AxiomaticSet.isDisjoint(AxiomaticSet set)`
`static boolean` `AxiomaticSetUtil.isDisjoint(AxiomaticSet firstSet, AxiomaticSet secondSet)`
`boolean` `NodeSet.isEquivalent(AxiomaticSet toSet)`
`boolean` `ConcreteAxiomaticSet.isEquivalent(AxiomaticSet toSet)`
`boolean` `AxiomaticSet.isEquivalent(AxiomaticSet toSet)` Implementations should aim to provide O(mn) time cost where n is the number of elements in this set and m is the cost to check membership of an element in this set in toSet.
`AxiomaticSet` `NodeSet.subtract(AxiomaticSet set)`
`AxiomaticSet` `ConcreteAxiomaticSet.subtract(AxiomaticSet set)`
`AxiomaticSet` `AxiomaticSet.subtract(AxiomaticSet set)` The set constructed by the removing the intersection of this with set from this.
`static AxiomaticSet` `AxiomaticSetUtil.subtract(AxiomaticSet firstOperand, AxiomaticSet secondOperand)`
`AxiomaticSet` `NodeSet.union(AxiomaticSet set)`
`AxiomaticSet` `ConcreteAxiomaticSet.union(AxiomaticSet set)`
`AxiomaticSet` `AxiomaticSet.union(AxiomaticSet set)`
`static void` `AxiomaticSetUtil.union(AxiomaticSet newSet, AxiomaticSet firstSet, AxiomaticSet secondSet)` Creates the union of firstSet and secondSet in newSet.

Uses of AxiomaticSet in org.eclipse.jst.jsf.common.sets.constraint

Methods in org.eclipse.jst.jsf.common.sets.constraint with parameters of type AxiomaticSet
`boolean` `AbstractSetConstraint.failsConstraint(AxiomaticSet set)` Convenience method

`abstract Diagnostic`

`AbstractSetConstraint.isSatisfied(AxiomaticSet set)`
The following post-conditions must hold: 1) if the set satisfies the constraint with no caveats, the returned diagnostic must in turn satisfy Diagnostic.getSeverity() == Diagnostic.OK 2) if the set does not satisfy the constraint, the returned diagnostic must satisfy Diagnostic.getSeverity() == Diagnostic.ERROR 3) if the set strictly satisfies the constraint but the constraint includes parameters that can only be heuristically applied, the constraint may choose to return a diagnostic where Diagnostic.getSeverity() == Diagnostic.WARNING The diagnostic returned should _never_ have any other severity but OK, ERROR or WARNING Algorithmically: Constraint is satisfied can be tested by Diagnostic.getSeverity() !

`Diagnostic` `AbstractMemberConstraint.isSatisfied(AxiomaticSet set)`
`boolean` `AbstractSetConstraint.passesConstraint(AxiomaticSet set)` Convenience method

Uses of AxiomaticSet in org.eclipse.jst.jsf.common.sets.mapping

Methods in org.eclipse.jst.jsf.common.sets.mapping that return AxiomaticSet
`AxiomaticSet` `AxiomaticSetMapping.map(AxiomaticSet set)`
`AxiomaticSet` `AbstractObjectInjectiveSetMapping.map(AxiomaticSet set)`

Methods in org.eclipse.jst.jsf.common.sets.mapping with parameters of type AxiomaticSet
`AxiomaticSet` `AxiomaticSetMapping.map(AxiomaticSet set)`
`AxiomaticSet` `AbstractObjectInjectiveSetMapping.map(AxiomaticSet set)`
`java.util.Iterator` `ObjectInjectiveSetMapping.mapIterator(AxiomaticSet set)` This method optimizes the case where a client wants to apply some mapping or constraint to each element of a set until a particular condition applies and then stop.
`java.util.Iterator` `AbstractObjectInjectiveSetMapping.mapIterator(AxiomaticSet set)`

Uses of AxiomaticSet in org.eclipse.jst.jsf.core.set.constraint

Methods in org.eclipse.jst.jsf.core.set.constraint with parameters of type AxiomaticSet
`Diagnostic` `MemberConstraint.isSatisfied(AxiomaticSet set)` Members of set must be comparable with thos in mustBeMembers using equals()

Constructors in org.eclipse.jst.jsf.core.set.constraint with parameters of type AxiomaticSet
`MemberConstraint(AxiomaticSet mustBeMembers)`

Uses of AxiomaticSet in org.eclipse.jst.jsf.core.tagmatcher

Methods in org.eclipse.jst.jsf.core.tagmatcher that return AxiomaticSet
`AxiomaticSet` `TagMatchingAlgorithm.evaluate(org.w3c.dom.Node applyTo)`