As specified by ISO 21090, a general abstract DataValue type that defines the basic properties of every data value. Conceptually
this is an abstract type, meaning that is is not possible to create direct instances of the class - any instances must be
a concrete specialisation of ANY.
Specializes
Attributes
| Name |
Data type |
Occurs |
Description |
|
nullFlavor
|
NullFlavor
|
0..1 |
As specified by ISO 21090, if a data type instance isNull then the value of this coded attribute indicates the reason.
|
|
updateMode
|
UpdateMode
|
0..1 |
As specified by ISO 21090 and subject to the requirements of LRA update semantics1, this property allows a sending
system to identify the role that the attribute plays in processing the instance that is being represented. If no value for
updateMode is specified, there is no information as to how the instance updates any existing information.
1. To be defined.
|
|
flavorId
|
String
|
0..1 |
As specified by ISO 21090, this attribute indicates the imposition of a set of constraints on the data type.
The sole purpose of specifying that a constraint that has been used to further constrain the data type is to support validation
of the instance: a validation engine can look up the rules expressed for the type and confirm that the instance conforms to
the rules for the flavor. ISO 21090 specifies the following constraints regarding use of this attribute.
- No other semantic or computational use SHALL depend on the value of this property.
- If this value is populated, the data type flavor SHALL be a valid constraint on the type of the value.
|
Constraints
| Type |
Name |
Specification |
| definition: definesProperty() |
LRA Definition |
def: definesProperty(x: OclAny) : Boolean = not x.oclIsUndefined()
|
| definition: isNull |
Invariant |
def: isNull : Boolean = not nullFlavor.oclIsUndefined
|
| no ANY unless null |
Invariant |
inv: (isNotNull or invalid) implies not oclIsTypeOf("ANY") |
