|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
T - contained data typepublic interface SET<T extends ANY>
A value that contains other distinct values in no particular order.
template<ANY T>
type Set<T> alias SET<T> specializes ANY {
BL contains(T element);
BL isEmpty;
BL notEmpty;
BL contains(SET<T> subset);
INT cardinality;
SET<T> union(SET<T> otherset);
SET<T> union(T element);
SET<T> except(T element);
SET<T> except(SET<T> otherset);
SET<T> intersection(SET<T> otherset);
literal ST;
promotion SET<T> (T x);
IVL<T> hull;
};
| Method Summary | |
|---|---|
T |
any()
return "any" element of the set * |
INT |
cardinality()
|
BL |
contains(SET<T> subset)
|
BL |
contains(T element)
A relation of the set with its elements, true if the given value is an element of the set. |
SET<T> |
except(SET<T> otherset)
|
SET<T> |
except(T element)
|
SET<T> |
intersection(SET<T> otherset)
|
BL |
isEmpty()
|
BL |
nonEmpty()
|
SET<T> |
select(Criterion<T> c)
Allow an element of this set to be selected according to a Criterion |
SET<T> |
union(SET<T> otherset)
|
| Methods inherited from interface org.hl7.types.ANY |
|---|
equal, isNull, isNullJ, nonNull, nonNullJ, notApplicable, notApplicableJ, nullFlavor, other, otherJ, unknown, unknownJ |
| Method Detail |
|---|
BL contains(T element)
A relation of the set with its elements, true if the given value is an element of the set.
This is the primitive semantic property of a set, based on which all other properties are defined.
A set may only contain distinct non-NULL elements. Exceptional values (NULL-values) cannot be elements of a set.
invariant(SET<T> s, T n)
where s.nonNull.and(n.isNull) {
s.contains(n).not;
};
element -
BL isEmpty()
BL nonEmpty()
BL contains(SET<T> subset)
INT cardinality()
SET<T> union(SET<T> otherset)
SET<T> except(T element)
SET<T> except(SET<T> otherset)
SET<T> intersection(SET<T> otherset)
SET<T> select(Criterion<T> c)
T any()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||