# Logical Record Architecture for Health and Social Care
## Discharge Summary Release 0.02

Contents
The content of this release is not comprehensive and is not fully validated and must not be used in live system implementations.
# Reference Model Class: ValueSetSpecification
Specification of a value set to constrain the value space of an instance of a primitive type (of type Boolean or kind Real or kind String). An value set with one member represents the imposition of a fixed value on the constrained instance. ## Specializes ## ValueSpaceSpecification ## Attributes
Name | Data type | Occurs | Description
--- | --- | --- | ---
value | Expression | 0..1 | The computable intension of this EnumerationSpecification.
## Relationships
Name | Class | Occurs | Description
--- | --- | --- | ---
code | EnumerationLiteral | 0..* | A literal value of this ValueSet.
## Constraints
Type | Name | Specification
--- | --- | ---
Enumeration type conforms to type of instance being constrained. | Invariant | inv: self.value.ancestorOrSelf()-&gt;intersection(constraint.contraintBinding.element.oclAsType(Instance).type.ancestorOrSelf())
Specification is by value exclusively or by enumeration exclusively or by reference exclusively. | Invariant | inv: if not self.value.oclIsUndefined() then self.valueRef.oclIsUndefined() and self.enumeration.oclIsUndefined() else if not self.valueRef.oclIsUndefined() then self.value.oclIsUndefined() and self.enumeration.oclIsUndefined() else not self.valueRef.oclIsUndefined() endif
## Reference Model Type ##