Interval

Overview

Another kind of structure commonly needed in rich data is the interval. The definition of the Interval<T> class here is an intensional one, i.e. it states its members by implication from its limits, rather than enumerating them. To support the common need for defining times in models that could be either a fixed point in time or a time interval, the classes Point_interval<T> and Proper_interval<T> are provided. If Interval<X> is defined as the type of a feature in a class in an openEHR model, where X is some descendant of Ordered, then at runtime, either a Point_interval or Proper_interval may be attached.

In addition to the generic interval types, the derived types Multiplicity_interval and Cardinality are provided, for use in models to represent multiplicity, optionality, and cardinality.

The following UML diagram illustrates the interval package.

BASE foundation types.interval
Figure 1. base.foundation_types.interval package

Class Definitions

Interval Class

  • Definition

  • Effective

  • BMM

  • UML

Class

Interval<T> (abstract)

Description

Interval abstraction, featuring upper and lower limits that may be open or closed, included or not included.

Inherit

Any

Attributes

Signature

Meaning

0..1

lower: T

Lower bound.

0..1

upper: T

Upper bound.

1..1

lower_unbounded: Boolean

lower boundary open (i.e. = -infinity).

1..1

upper_unbounded: Boolean

upper boundary open (i.e. = +infinity).

1..1

lower_included: Boolean

lower boundary value included in range if not lower_unbounded.

1..1

upper_included: Boolean

upper boundary value included in range if not upper_unbounded.

Functions

Signature

Meaning

1..1
(abstract)

has (
e: T[1]
): Boolean

Post_result: Result = (lower_unbounded or lower_included and v >= lower) or v > lower and (upper_unbounded or upper_included and v <= upper or v < upper)

True if the value e is properly contained in this Interval.

1..1
(abstract)

intersects (
other: Interval[1]
): Boolean

True if there is any overlap between intervals represented by Current and other. True if at least one limit of other is strictly inside the limits of this interval.

1..1
(abstract)

contains (
other: Interval[1]
): Boolean

True if current interval properly contains other? True if all points of other are inside the current interval.

1..1
(abstract)

is_equal (
other: Any[1]
): Boolean

True if current object’s interval is semantically same as other.

Invariants

Lower_included_valid: lower_unbounded implies not lower_included

Upper_included_valid: upper_unbounded implies not upper_included

Limits_consistent: (not upper_unbounded and not lower_unbounded) implies lower <= upper

Limits_comparable: (not upper_unbounded and not lower_unbounded) implies lower.strictly_comparable_to (upper)
Interval<T> (abstract)

Interval abstraction, featuring upper and lower limits that may be open or closed, included or not included.

Inherits: Any

Attributes

lower: T [0..1]

Lower bound.

upper: T [0..1]

Upper bound.

lower_unbounded: Boolean [1..1]

lower boundary open (i.e. = -infinity).

upper_unbounded: Boolean [1..1]

upper boundary open (i.e. = +infinity).

lower_included: Boolean [1..1]

lower boundary value included in range if not lower_unbounded.

upper_included: Boolean [1..1]

upper boundary value included in range if not upper_unbounded.

Functions

(abstract) is_equal (
other: Any[1]
): Boolean [1..1]

True if current object’s interval is semantically same as other.

equal alias "=", "==" (
other: Any[1]
): Boolean [1..1]

Reference equality for reference types, value equality for value types.
Inherited from Any

Parameters
other

Other object for comparison.

instance_of (
a_type: String[1]
): Any [1..1]

Create new instance of a type.
Inherited from Any

type_of (
an_object: Any[1]
): String [1..1]

Type name of an object as a string. May include generic parameters, as in "Interval<Time>".
Inherited from Any

not_equal alias "!=", "≠" (
other: Ordered[1]
): Boolean [1..1]

True if current object not equal to other. Returns not equal().
Inherited from Any

(abstract) has (
e: T[1]
): Boolean

Post_result: Result = (lower_unbounded or lower_included and v >= lower) or v > lower and (upper_unbounded or upper_included and v <= upper or v < upper) [1..1]

True if the value e is properly contained in this Interval.

(abstract) intersects (
other: Interval[1]
): Boolean [1..1]

True if there is any overlap between intervals represented by Current and other. True if at least one limit of other is strictly inside the limits of this interval.

(abstract) contains (
other: Interval[1]
): Boolean [1..1]

True if current interval properly contains other? True if all points of other are inside the current interval.

Invariants

Lower_included_valid: lower_unbounded implies not lower_included

Upper_included_valid: upper_unbounded implies not upper_included

Limits_consistent: (not upper_unbounded and not lower_unbounded) implies lower <= upper

Limits_comparable: (not upper_unbounded and not lower_unbounded) implies lower.strictly_comparable_to (upper)

 
{
    "name": "Interval",
    "documentation": "Interval abstraction, featuring upper and lower limits that may be open or closed, included or not included.",
    "is_abstract": true,
    "ancestors": [
        "Any"
    ],
    "generic_parameter_defs": {
        "T": {
            "name": "T",
            "conforms_to_type": "Ordered"
        }
    },
    "properties": {
        "lower": {
            "_type": "P_BMM_SINGLE_PROPERTY_OPEN",
            "name": "lower",
            "documentation": "Lower bound.",
            "type": "T"
        },
        "upper": {
            "_type": "P_BMM_SINGLE_PROPERTY_OPEN",
            "name": "upper",
            "documentation": "Upper bound.",
            "type": "T"
        },
        "lower_unbounded": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "lower_unbounded",
            "documentation": "`lower` boundary open (i.e. = -infinity).",
            "is_mandatory": true,
            "type": "Boolean"
        },
        "upper_unbounded": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "upper_unbounded",
            "documentation": "`upper` boundary open (i.e. = +infinity).",
            "is_mandatory": true,
            "type": "Boolean"
        },
        "lower_included": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "lower_included",
            "documentation": "`lower` boundary value included in range if not `lower_unbounded`.",
            "is_mandatory": true,
            "type": "Boolean"
        },
        "upper_included": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "upper_included",
            "documentation": "`upper` boundary value included in range if not `upper_unbounded`.",
            "is_mandatory": true,
            "type": "Boolean"
        }
    },
    "functions": {
        "has": {
            "name": "has",
            "documentation": "True if the value `e` is properly contained in this Interval.",
            "is_abstract": true,
            "parameters": {
                "e": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER_OPEN",
                    "name": "e",
                    "type": "T"
                }
            },
            "post_conditions": {
                "Post_result": "Result = (lower_unbounded or lower_included and v >= lower) or v > lower and (upper_unbounded or upper_included and v <= upper or v < upper)"
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        },
        "intersects": {
            "name": "intersects",
            "documentation": "True if there is any overlap between intervals represented by Current and `_other_`. True if at least one limit of other is strictly inside the limits of this interval.",
            "is_abstract": true,
            "parameters": {
                "other": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "other",
                    "type": "Interval"
                }
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        },
        "contains": {
            "name": "contains",
            "documentation": "True if current interval properly contains `_other_`? True if all points of `_other_` are inside the current interval.",
            "is_abstract": true,
            "parameters": {
                "other": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "other",
                    "type": "Interval"
                }
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        },
        "is_equal": {
            "name": "is_equal",
            "documentation": "True if current object's interval is semantically same as `_other_`.",
            "is_abstract": true,
            "parameters": {
                "other": {
                    "_type": "P_BMM_SINGLE_FUNCTION_PARAMETER",
                    "name": "other",
                    "type": "Any"
                }
            },
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        }
    },
    "invariants": {
        "Lower_included_valid": "lower_unbounded implies not lower_included",
        "Upper_included_valid": "upper_unbounded implies not upper_included",
        "Limits_consistent": "(not upper_unbounded and not lower_unbounded) implies lower <= upper",
        "Limits_comparable": "(not upper_unbounded and not lower_unbounded) implies lower.strictly_comparable_to (upper)"
    }
}
interval

Point_interval Class

  • Definition

  • Effective

  • BMM

  • UML

Class

Point_interval<T>

Description

Type representing an Interval that happens to be a point value. Provides an efficient representation that is substitutable for Interval<T> where needed.

Inherit

Interval

Attributes

Signature

Meaning

1..1
(redefined)

lower_unbounded: Boolean
{default = false}

Lower boundary open (i.e. = -infinity).

1..1
(redefined)

upper_unbounded: Boolean
{default = false}

Upper boundary open (i.e. = +infinity).

1..1
(redefined)

lower_included: Boolean
{default = true}

Lower boundary value included in range if not lower_unbounded.

1..1
(redefined)

upper_included: Boolean
{default = true}

Upper boundary value included in range if not upper_unbounded.

Invariants

Inv_point: lower = upper
Point_interval<T>

Type representing an Interval that happens to be a point value. Provides an efficient representation that is substitutable for Interval<T> where needed.

Inherits: Any, Interval

Attributes

lower: T [0..1]

Lower bound.
Inherited from Interval

upper: T [0..1]

Upper bound.
Inherited from Interval

lower_unbounded: Boolean [1..1]
{default = false}

Lower boundary open (i.e. = -infinity).

upper_unbounded: Boolean [1..1]
{default = false}

Upper boundary open (i.e. = +infinity).

lower_included: Boolean [1..1]
{default = true}

Lower boundary value included in range if not lower_unbounded.

upper_included: Boolean [1..1]
{default = true}

Upper boundary value included in range if not upper_unbounded.

Functions

(abstract) is_equal (
other: Any[1]
): Boolean [1..1]

True if current object’s interval is semantically same as other.
Inherited from Interval

equal alias "=", "==" (
other: Any[1]
): Boolean [1..1]

Reference equality for reference types, value equality for value types.
Inherited from Any

Parameters
other

Other object for comparison.

instance_of (
a_type: String[1]
): Any [1..1]

Create new instance of a type.
Inherited from Any

type_of (
an_object: Any[1]
): String [1..1]

Type name of an object as a string. May include generic parameters, as in "Interval<Time>".
Inherited from Any

not_equal alias "!=", "≠" (
other: Ordered[1]
): Boolean [1..1]

True if current object not equal to other. Returns not equal().
Inherited from Any

(abstract) has (
e: T[1]
): Boolean

Post_result: Result = (lower_unbounded or lower_included and v >= lower) or v > lower and (upper_unbounded or upper_included and v <= upper or v < upper) [1..1]

True if the value e is properly contained in this Interval.
Inherited from Interval

(abstract) intersects (
other: Interval[1]
): Boolean [1..1]

True if there is any overlap between intervals represented by Current and other. True if at least one limit of other is strictly inside the limits of this interval.
Inherited from Interval

(abstract) contains (
other: Interval[1]
): Boolean [1..1]

True if current interval properly contains other? True if all points of other are inside the current interval.
Inherited from Interval

Invariants

Lower_included_valid: lower_unbounded implies not lower_included
Inherited from Interval

Upper_included_valid: upper_unbounded implies not upper_included
Inherited from Interval

Limits_consistent: (not upper_unbounded and not lower_unbounded) implies lower <= upper
Inherited from Interval

Limits_comparable: (not upper_unbounded and not lower_unbounded) implies lower.strictly_comparable_to (upper)
Inherited from Interval

Inv_point: lower = upper

 
{
    "name": "Point_interval",
    "documentation": "Type representing an Interval that happens to be a point value. Provides an efficient representation that is substitutable for `Interval<T>` where needed.",
    "ancestors": [
        "Interval"
    ],
    "generic_parameter_defs": {
        "T": {
            "name": "T",
            "conforms_to_type": "Ordered"
        }
    },
    "properties": {
        "lower_unbounded": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "lower_unbounded",
            "documentation": "Lower boundary open (i.e. = -infinity).",
            "is_mandatory": true,
            "type": "Boolean",
            "default": false
        },
        "upper_unbounded": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "upper_unbounded",
            "documentation": "Upper boundary open (i.e. = +infinity).",
            "is_mandatory": true,
            "type": "Boolean",
            "default": false
        },
        "lower_included": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "lower_included",
            "documentation": "Lower boundary value included in range if not `_lower_unbounded_`.",
            "is_mandatory": true,
            "type": "Boolean",
            "default": true
        },
        "upper_included": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "upper_included",
            "documentation": "Upper boundary value included in range if not `_upper_unbounded_`.",
            "is_mandatory": true,
            "type": "Boolean",
            "default": true
        }
    },
    "invariants": {
        "Inv_point": "lower = upper"
    }
}
point interval

Proper_interval Class

  • Definition

  • Effective

  • BMM

  • UML

Class

Proper_interval<T>

Description

Type representing a 'proper' Interval, i.e. any two-sided or one-sided interval.

Inherit

Interval

Invariants

Inv_not_point: lower /= upper
Proper_interval<T>

Type representing a 'proper' Interval, i.e. any two-sided or one-sided interval.

Inherits: Any, Interval

Attributes

lower: T [0..1]

Lower bound.
Inherited from Interval

upper: T [0..1]

Upper bound.
Inherited from Interval

lower_unbounded: Boolean [1..1]

lower boundary open (i.e. = -infinity).
Inherited from Interval

upper_unbounded: Boolean [1..1]

upper boundary open (i.e. = +infinity).
Inherited from Interval

lower_included: Boolean [1..1]

lower boundary value included in range if not lower_unbounded.
Inherited from Interval

upper_included: Boolean [1..1]

upper boundary value included in range if not upper_unbounded.
Inherited from Interval

Functions

(abstract) is_equal (
other: Any[1]
): Boolean [1..1]

True if current object’s interval is semantically same as other.
Inherited from Interval

equal alias "=", "==" (
other: Any[1]
): Boolean [1..1]

Reference equality for reference types, value equality for value types.
Inherited from Any

Parameters
other

Other object for comparison.

instance_of (
a_type: String[1]
): Any [1..1]

Create new instance of a type.
Inherited from Any

type_of (
an_object: Any[1]
): String [1..1]

Type name of an object as a string. May include generic parameters, as in "Interval<Time>".
Inherited from Any

not_equal alias "!=", "≠" (
other: Ordered[1]
): Boolean [1..1]

True if current object not equal to other. Returns not equal().
Inherited from Any

(abstract) has (
e: T[1]
): Boolean

Post_result: Result = (lower_unbounded or lower_included and v >= lower) or v > lower and (upper_unbounded or upper_included and v <= upper or v < upper) [1..1]

True if the value e is properly contained in this Interval.
Inherited from Interval

(abstract) intersects (
other: Interval[1]
): Boolean [1..1]

True if there is any overlap between intervals represented by Current and other. True if at least one limit of other is strictly inside the limits of this interval.
Inherited from Interval

(abstract) contains (
other: Interval[1]
): Boolean [1..1]

True if current interval properly contains other? True if all points of other are inside the current interval.
Inherited from Interval

Invariants

Lower_included_valid: lower_unbounded implies not lower_included
Inherited from Interval

Upper_included_valid: upper_unbounded implies not upper_included
Inherited from Interval

Limits_consistent: (not upper_unbounded and not lower_unbounded) implies lower <= upper
Inherited from Interval

Limits_comparable: (not upper_unbounded and not lower_unbounded) implies lower.strictly_comparable_to (upper)
Inherited from Interval

Inv_not_point: lower /= upper

 
{
    "name": "Proper_interval",
    "documentation": "Type representing a 'proper' Interval, i.e. any two-sided or one-sided interval.",
    "ancestors": [
        "Interval"
    ],
    "generic_parameter_defs": {
        "T": {
            "name": "T",
            "conforms_to_type": "Ordered"
        }
    },
    "invariants": {
        "Inv_not_point": "lower /= upper"
    }
}
proper interval

Multiplicity_interval Class

  • Definition

  • Effective

  • BMM

  • UML

Class

Multiplicity_interval

Description

An Interval of Integer, used to represent multiplicity, cardinality and optionality in models.

Inherit

Proper_interval

Constants

Signature

Meaning

1..1

Multiplicity_range_marker: String = ".."

Marker to use in string form of interval between limits.

1..1

Multiplicity_unbounded_marker: Character = '*'

Symbol to use to indicate upper limit unbounded.

Functions

Signature

Meaning

1..1

is_open (): Boolean

True if this interval imposes no constraints, i.e. is set to 0..*.

1..1

is_optional (): Boolean

True if this interval expresses optionality, i.e. 0..1.

1..1

is_mandatory (): Boolean

True if this interval expresses mandation, i.e. 1..1.

1..1

is_prohibited (): Boolean

True if this interval is set to 0..0.
Multiplicity_interval

An Interval of Integer, used to represent multiplicity, cardinality and optionality in models.

Inherits: Any, Interval, Proper_interval

Constants

Multiplicity_range_marker: String = ".." [1..1]

Marker to use in string form of interval between limits.

Multiplicity_unbounded_marker: Character = '*' [1..1]

Symbol to use to indicate upper limit unbounded.

Attributes

lower: T [0..1]

Lower bound.
Inherited from Interval

upper: T [0..1]

Upper bound.
Inherited from Interval

lower_unbounded: Boolean [1..1]

lower boundary open (i.e. = -infinity).
Inherited from Interval

upper_unbounded: Boolean [1..1]

upper boundary open (i.e. = +infinity).
Inherited from Interval

lower_included: Boolean [1..1]

lower boundary value included in range if not lower_unbounded.
Inherited from Interval

upper_included: Boolean [1..1]

upper boundary value included in range if not upper_unbounded.
Inherited from Interval

Functions

(abstract) is_equal (
other: Any[1]
): Boolean [1..1]

True if current object’s interval is semantically same as other.
Inherited from Interval

equal alias "=", "==" (
other: Any[1]
): Boolean [1..1]

Reference equality for reference types, value equality for value types.
Inherited from Any

Parameters
other

Other object for comparison.

instance_of (
a_type: String[1]
): Any [1..1]

Create new instance of a type.
Inherited from Any

type_of (
an_object: Any[1]
): String [1..1]

Type name of an object as a string. May include generic parameters, as in "Interval<Time>".
Inherited from Any

not_equal alias "!=", "≠" (
other: Ordered[1]
): Boolean [1..1]

True if current object not equal to other. Returns not equal().
Inherited from Any

(abstract) has (
e: T[1]
): Boolean

Post_result: Result = (lower_unbounded or lower_included and v >= lower) or v > lower and (upper_unbounded or upper_included and v <= upper or v < upper) [1..1]

True if the value e is properly contained in this Interval.
Inherited from Interval

(abstract) intersects (
other: Interval[1]
): Boolean [1..1]

True if there is any overlap between intervals represented by Current and other. True if at least one limit of other is strictly inside the limits of this interval.
Inherited from Interval

(abstract) contains (
other: Interval[1]
): Boolean [1..1]

True if current interval properly contains other? True if all points of other are inside the current interval.
Inherited from Interval

is_open (): Boolean [1..1]

True if this interval imposes no constraints, i.e. is set to 0..*.

is_optional (): Boolean [1..1]

True if this interval expresses optionality, i.e. 0..1.

is_mandatory (): Boolean [1..1]

True if this interval expresses mandation, i.e. 1..1.

is_prohibited (): Boolean [1..1]

True if this interval is set to 0..0.

Invariants

Lower_included_valid: lower_unbounded implies not lower_included
Inherited from Interval

Upper_included_valid: upper_unbounded implies not upper_included
Inherited from Interval

Limits_consistent: (not upper_unbounded and not lower_unbounded) implies lower <= upper
Inherited from Interval

Limits_comparable: (not upper_unbounded and not lower_unbounded) implies lower.strictly_comparable_to (upper)
Inherited from Interval

Inv_not_point: lower /= upper
Inherited from Proper_interval

 
{
    "name": "Multiplicity_interval",
    "documentation": "An Interval of Integer, used to represent multiplicity, cardinality and optionality in models. ",
    "ancestors": [
        "Proper_interval"
    ],
    "constants": {
        "Multiplicity_range_marker": {
            "name": "Multiplicity_range_marker",
            "documentation": "Marker to use in string form of interval between limits.",
            "type": "String",
            "value": "\"..\""
        },
        "Multiplicity_unbounded_marker": {
            "name": "Multiplicity_unbounded_marker",
            "documentation": "Symbol to use to indicate upper limit unbounded.",
            "type": "Character",
            "value": "'&#42;'"
        }
    },
    "functions": {
        "is_open": {
            "name": "is_open",
            "documentation": "True if this interval imposes no constraints, i.e. is set to `0..*`.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        },
        "is_optional": {
            "name": "is_optional",
            "documentation": "True if this interval expresses optionality, i.e. `0..1`.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        },
        "is_mandatory": {
            "name": "is_mandatory",
            "documentation": "True if this interval expresses mandation, i.e. `1..1`.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        },
        "is_prohibited": {
            "name": "is_prohibited",
            "documentation": "True if this interval is set to `0..0`.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        }
    }
}
multiplicity interval

Cardinality Class

  • Definition

  • Effective

  • BMM

  • UML

Class

Cardinality

Description

Express constraints on the cardinality of container objects which are the values of multiply-valued attributes, including uniqueness and ordering, providing the means to state that a container acts like a logical list, set or bag.

Attributes

Signature

Meaning

1..1

interval: Multiplicity_interval

The interval of this cardinality.

1..1

is_ordered: Boolean

True if the members of the container attribute to which this cardinality refers are ordered.

1..1

is_unique: Boolean

True if the members of the container attribute to which this cardinality refers are unique.

Functions

Signature

Meaning

1..1

is_bag (): Boolean

True if the semantics of this cardinality represent a bag, i.e. unordered, non-unique membership.

1..1

is_list (): Boolean

True if the semantics of this cardinality represent a list, i.e. ordered, non-unique membership.

1..1

is_set (): Boolean

True if the semantics of this cardinality represent a set, i.e. unordered, unique membership.
Cardinality

Express constraints on the cardinality of container objects which are the values of multiply-valued attributes, including uniqueness and ordering, providing the means to state that a container acts like a logical list, set or bag.

Attributes

interval: Multiplicity_interval [1..1]

The interval of this cardinality.

is_ordered: Boolean [1..1]

True if the members of the container attribute to which this cardinality refers are ordered.

is_unique: Boolean [1..1]

True if the members of the container attribute to which this cardinality refers are unique.

Functions

is_bag (): Boolean [1..1]

True if the semantics of this cardinality represent a bag, i.e. unordered, non-unique membership.

is_list (): Boolean [1..1]

True if the semantics of this cardinality represent a list, i.e. ordered, non-unique membership.

is_set (): Boolean [1..1]

True if the semantics of this cardinality represent a set, i.e. unordered, unique membership.

 
{
    "name": "Cardinality",
    "documentation": "Express constraints on the cardinality of container objects which are the values of multiply-valued attributes, including uniqueness and ordering, providing the means to state that a container acts like a logical list, set or bag.",
    "properties": {
        "interval": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "interval",
            "documentation": "The interval of this cardinality. ",
            "is_mandatory": true,
            "type": "Multiplicity_interval"
        },
        "is_ordered": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "is_ordered",
            "documentation": "True if the members of the container attribute to which this cardinality refers are ordered. ",
            "is_mandatory": true,
            "type": "Boolean"
        },
        "is_unique": {
            "_type": "P_BMM_SINGLE_PROPERTY",
            "name": "is_unique",
            "documentation": "True if the members of the container attribute to which this cardinality refers are unique.",
            "is_mandatory": true,
            "type": "Boolean"
        }
    },
    "functions": {
        "is_bag": {
            "name": "is_bag",
            "documentation": "True if the semantics of this cardinality represent a bag, i.e. unordered, non-unique membership.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        },
        "is_list": {
            "name": "is_list",
            "documentation": "True if the semantics of this cardinality represent a list, i.e. ordered, non-unique membership.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        },
        "is_set": {
            "name": "is_set",
            "documentation": "True if the semantics of this cardinality represent a set, i.e. unordered, unique membership.",
            "result": {
                "_type": "P_BMM_SIMPLE_TYPE",
                "type": "Boolean"
            }
        }
    }
}
cardinality