Versions Compared

Old Version 2

changes.mady.by.user Sally Cassells

Saved on

compared with

New Version 3

changes.mady.by.user Sam Hume

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: made SoftHard optional

Body:

((CheckValue+ | FormalExpression+), MeasurementUnitRef?, ErrorMessage?)

Attributes:

Comparator(LT | LE | GT | GE | EQ | NE | IN | NOTIN)
(optional)
Comparison operator used to compare the item and value(s).(optional)
SoftHard(Soft | Hard)
(optional)


Contained in:

ItemDef

A RangeCheck defines a constraint on the value of the enclosing item. It represents an expression that evaluates to True when the ItemData value is valid or False when the ItemData value is invalid. The expression is specified using either Comparator and CheckValue or using FormalExpressions.

...

For the following comparison operators, one Check Value is required.

LTLess than
LELess than or equal to
GTGreater than
GEGreater than or equal to
EQEqual to
NENot equal to


A set of Check Values is required for these comparators:

INOne of listed values
NOTINNot any of list values


If a Measurement Unit is specified, the corresponding Item values must have interconvertible Measurement Units (either explicitly or by default). Proper conversion of units must be done as part of the Range Check. If a Measurement Unit is not specified, the corresponding Item values must not have Measurement Units (either explicitly or by default).

Examples: 


Value must be positive

Code Block
<RangeCheck Comparator="GT">
    <CheckValue>0</CheckValue>
</RangeCheck>


Value must be between 18 and 65 inclusive


Code Block
<RangeCheck Comparator="GE">
    <CheckValue>18</CheckValue>
</RangeCheck>
<RangeCheck Comparator="LE">
    <CheckValue>65</CheckValue>
</RangeCheck>

Value must be one of (1, 5, 7)

Code Block
<RangeCheck Comparator="IN">
    <CheckValue>1</CheckValue>
    <CheckValue>3</CheckValue>
    <CheckValue>5</CheckValue>
</RangeCheck>




Range Checks using FormalExpression
When using FormalExpression a Range Check can represent anything, e.g., one sided or multi-sided checks. These type of checks must not provide CheckValue, Comparator or MeasurementUnitRef as they would all be expressed in the FormalExpression itself. The FormalExpression takes the value of the ItemData element and returns a boolean value which is the result of the expression. Multiple FormalExpressions can be provided if each has a different Context attribute, allowing the same expression to be represented in forms appropriate to multiple systems. Multiple different expressions, with different meanings, must be represented as separate RangeChecks

...