ГОСТ 1» ИСО/МЭК 8824-1-2001
ExccptionSpec :: ~ Т exceptionIdentification | empty
Exceplionldentification : : -» SignedNumber J
DefinedValuc|
TypeValue
SubtypeConstraint: : ~ ElcmentSctSpcc
ElcmcniSctSpccs : : =
RootElcmcntSctSpcc |
Root ElcmentSctSpcc" |
RootElcmcntSctSpcc"... “ Additional ElcmentSctSpcc
RootElcmcntSctSpcc : :ElcmentSctSpcc
AdditionalElcmcntSctSpcc : : " ElcmentSctSpcc
ElcmentSctSpcc :: » Unions | ALL Exclusions
Unions ::Intersections |
UElems UnionMart; Intersections
UEiems : :Unions
Intersections :: «■IntcrscctionElcmcnts | lElcms Inters cctionMark IntersectionElements
lEIems : : = Intersections
IntcrscctionElcmcnts : : = Elements | Elems Exclusions
Elems : ; =* Elements
Exclusions : : ■= EXCEPT Elements
UmonMark :: -
J
|UNION
IntcrscctionMark : : - Нл" INTERSECTION
Elements :: *
SubtvpcElcmcnts |
ObjcctSctElements |
"(" ElcmentSctSpcc *)"
Subtype Elements : ; =
SinglcValuc|
ContainedSubtype
Value Range
PcrmittcdAlphabct
SizeConstramt
TypeConstraint
InnerTypeConstraints
SinglcValuc : ; =■V’aluc
ContainedSubtype :: ■* Includes Type
Includes : : ■■INCLUDES | empty
ValueRange :: = LowerEndpoint".." UpperEndpoint
LowerEndpoint : : = LowcrEndValue | LowcrEndValuc "<"
UpperEndpoint ; : *■UppcrEndValuc |LppcrEndValuc
LowcrEndValuc ;;Value
J
MIN
UppcrEndValuc :: «■Value | MAX
SizeConstramt : ; ~ SIZE Constraint
PcrmittcdAlphabct : : ■“ FROM Constraint
TypeConstraint ; : =• Type
InnerTypeConstraints: : »-
WITH COMPONENT SinglcTvpcConsiramtf
WITH COMPONENTS MultipIcTypcConslraints
SinglcTypcConstraint : : ~ Constraint
MultipIcTypcConslraints ; ; « FullSpccification j PanialSpecification
Full Specification :: *{" TypeConstraints "J"
PartialSpccification ;: » "{" "..."TypeConstraints ’}"
TypeConstraints :: -
NamedConstraint|
NamedConstraintTypeConstraints
NamedConstraint ; ; «
identifier ComponentConstraint
ComponentConstraint :: = ValucConstraint PresenccConstraint
ValueConstraint:: ■=Constraint | empty
PresenccConstraint;: *• PRESENT J ABSENT ■OPTIONAL | empty
11)4