ГОСТ Р И С 013606-2—2012
c_excludes:
| SVM_EXCLUDE invariants
c_existence:
| SYM_EXISTENCE SYM_MATCHES SYM_START_CBLOCK existence.spec SYM_END„CBLOCK
existence_spoc:
V_INTEGER
| V_INTEGER SYM_ELLIPSIS VJNTEGER
c_cardinaiily:
SYM_CARDINALITY SYM_MATCHES SYM_START_CBLOCK cardinatity_spec
SYM_END_CBLOCK
cardinality_spec:
occurrence_spec
| occurrence_spec: SYM_ORDERED
| occurrence_spec: SYM_UNORDERED
| occurronce_spec: SYMJJNIQUE
| occurrence_spec; SYM_ORDERED; SYMJJNIQUE
| occunrence_spec: SYMJJNORDERED ; SYM_UNIQUE
| occurrence_spec; SYM_UNIQUE: SYM_ORDERED
| occurrence_spec; SYM„UNIQUE; SYM_UNORDERED
cardinalityJimit_value:
integer_value
I ‘
c_occurrences:
|SYM_OCCURRENCES SYM_MATCHES SYM_START_CBLOCKoccurrence_spec
SYM_END_CBLOCK
|SYM_OCCURRENCES error
occurrence_spec:
cardinality_limit_value
|VJNTEGER SYM_ELLIPSIS cardinalityJimit_value
cjnteger_spec:
integer_value
| integer_list_value
| integer_interval_value
| occurrence_spec
c_integer:
cJntegerspec
| c_integer_spec; integer_value
| cJnteger_spoc; error
c_real_spec:
real_value
| real_list_value
| real_interval_value
c_real:
c_real_spec
I c_real_spec: real_value
I c_real_spec; error
c_date_constraint:
VJSO8601_DATE_CONSTRAINT_PATTERN
| date_value
| datejnterval_value
79