Context Navigation

← Previous Revision
Latest Revision
Next Revision →
Blame
Revision Log

ttcn3-4.2.1-draft.bnf @ 5

Last change on this file since 5 was 5, checked in by zeiss, 14 years ago

File size: 56.6 KB

Line
1	grammar ttcn3;
2
3	A.1.6 TTCN 3 syntax BNF productions
4	A.1.6.0 TTCN 3 module
5	1. TTCN3Module ::= TTCN3ModuleKeyword TTCN3ModuleId
6	"{"
7	[ModuleDefinitionsPart]
8	[ModuleControlPart]
9	"}"
10	[WithStatement] [SemiColon]
11	2. TTCN3ModuleKeyword ::= "module"
12	3. TTCN3ModuleId ::= ModuleId
13	4. ModuleId ::= GlobalModuleId [LanguageSpec]
14	5. GlobalModuleId ::= ModuleIdentifier
15	6. ModuleIdentifier ::= Identifier
16	7. LanguageSpec ::= LanguageKeyword FreeText { "," FreeText }
17	8. LanguageKeyword ::= "language"
18
19	A.1.6.1 Module definitions part
20	A.1.6.1.0 General
21	9. ModuleDefinitionsPart ::= ModuleDefinitionsList
22	10. ModuleDefinitionsList ::= {ModuleDefinition [SemiColon]}+
23	11. ModuleDefinition ::= ( ([Visibility]
24	( TypeDef \|
25	ConstDef \|
26	TemplateDef \|
27	ModuleParDef \|
28	FunctionDef \|
29	SignatureDef \|
30	TestcaseDef \|
31	AltstepDef \|
32	ImportDef \|
33	ExtFunctionDef \|
34	ExtConstDef )
35	) \|
36	(["public"] GroupDef ) \|
37	(["private"] FriendModuleDef )
38	) [WithStatement]
39	12. Visibility ::= "public" \| "friend" \| "private"
40
41	A.1.6.1.1 Typedef definitions
42	13. TypeDef ::= TypeDefKeyword TypeDefBody
43	14. TypeDefBody ::= StructuredTypeDef \| SubTypeDef
44	15. TypeDefKeyword ::= "type"
45	16. StructuredTypeDef ::= RecordDef \|
46	UnionDef \|
47	SetDef \|
48	RecordOfDef \|
49	SetOfDef \|
50	EnumDef \|
51	PortDef \|
52	ComponentDef
53	17. RecordDef ::= RecordKeyword StructDefBody
54	18. RecordKeyword ::= "record"
55	19. StructDefBody ::= (StructTypeIdentifier \| AddressKeyword)
56	"{" [StructFieldDef {"," StructFieldDef}] "}"
57	20. StructTypeIdentifier ::= Identifier
58	21. StructFieldDef ::= (Type \| NestedTypeDef) StructFieldIdentifier [ArrayDef] [SubTypeSpec]
59	[OptionalKeyword]
60	22. NestedTypeDef ::= NestedRecordDef \|
61	NestedUnionDef \|
62	NestedSetDef \|
63	NestedRecordOfDef \|
64	NestedSetOfDef \|
65	NestedEnumDef
66	23. NestedRecordDef ::= RecordKeyword "{" [StructFieldDef {"," StructFieldDef}] "}"
67	24. NestedUnionDef ::= UnionKeyword "{" UnionFieldDef {"," UnionFieldDef} "}"
68	25. NestedSetDef ::= SetKeyword "{" [StructFieldDef {"," StructFieldDef}] "}"
69	26. NestedRecordOfDef ::= RecordKeyword [StringLength] OfKeyword (Type \| NestedTypeDef)
70	27. NestedSetOfDef ::= SetKeyword [StringLength] OfKeyword (Type \| NestedTypeDef)
71	28. NestedEnumDef ::= EnumKeyword "{" EnumerationList "}"
72	29. StructFieldIdentifier ::= Identifier
73	30. OptionalKeyword ::= "optional"
74	31. UnionDef ::= UnionKeyword UnionDefBody
75	32. UnionKeyword ::= "union"
76	33. UnionDefBody ::= (StructTypeIdentifier \| AddressKeyword)
77	"{" UnionFieldDef {"," UnionFieldDef} "}"
78	34. UnionFieldDef ::= (Type \| NestedTypeDef) StructFieldIdentifier [ArrayDef] [SubTypeSpec]
79	35. SetDef ::= SetKeyword StructDefBody
80	36. SetKeyword ::= "set"
81	37. RecordOfDef ::= RecordKeyword [StringLength] OfKeyword StructOfDefBody
82	38. OfKeyword ::= "of"
83	39. StructOfDefBody ::= (Type \| NestedTypeDef) (StructTypeIdentifier \| AddressKeyword) [SubTypeSpec]
84	40. SetOfDef ::= SetKeyword [StringLength] OfKeyword StructOfDefBody
85	41. EnumDef ::= EnumKeyword (EnumTypeIdentifier \| AddressKeyword)
86	"{" EnumerationList "}"
87	42. EnumKeyword ::= "enumerated"
88	43. EnumTypeIdentifier ::= Identifier
89	44. EnumerationList ::= Enumeration {"," Enumeration}
90	45. Enumeration ::= EnumerationIdentifier ["("[Minus] Number ")"]
91	46. EnumerationIdentifier ::= Identifier
92	47. SubTypeDef ::= Type (SubTypeIdentifier \| AddressKeyword) [ArrayDef] [SubTypeSpec]
93	48. SubTypeIdentifier ::= Identifier
94	49. SubTypeSpec ::= AllowedValues [StringLength] \| StringLength
95	/* STATIC SEMANTICS - AllowedValues shall be of the same type as the field being subtyped */
96	50. AllowedValues ::= "(" (ValueOrRange {"," ValueOrRange}) \| CharStringMatch ")"
97	51. ValueOrRange ::= RangeDef \| ConstantExpression \| Type
98	/* STATIC SEMANTICS - RangeDef production shall only be used with integer, charstring, universal charstring or float based types */
99	/* STATIC SEMANTICS - When subtyping charstring or universal charstring range and values shall not be mixed in the same SubTypeSpec */
100	52. RangeDef ::= LowerBound ".." UpperBound
101	53. StringLength ::= LengthKeyword "(" SingleConstExpression [".." UpperBound] ")"
102	/* STATIC SEMANTICS - StringLength shall only be used with String types or to limit set of and record of. SingleConstExpression and UpperBound shall evaluate to non-negative integer values (in case of UpperBound including infinity) */
103	54. LengthKeyword ::= "length"
104	55. PortType ::= [GlobalModuleId Dot] PortTypeIdentifier
105	56. PortDef ::= PortKeyword PortDefBody
106	57. PortDefBody ::= PortTypeIdentifier PortDefAttribs
107	58. PortKeyword ::= "port"
108	59. PortTypeIdentifier ::= Identifier
109	60. PortDefAttribs ::= MessageAttribs \| ProcedureAttribs \| MixedAttribs
110	61. MessageAttribs ::= MessageKeyword
111	"{" {MessageList [SemiColon]}+ "}"
112	62. MessageList ::= Direction AllOrTypeList
113	63. Direction ::= InParKeyword \| OutParKeyword \| InOutParKeyword
114	64. MessageKeyword ::= "message"
115	65. AllOrTypeList ::= AllKeyword \| TypeList
116	/* NOTE: The use of AllKeyword in port definitions is deprecated */
117	66. AllKeyword ::= "all"
118	67. TypeList ::= Type {"," Type}
119	68. ProcedureAttribs ::= ProcedureKeyword
120	"{" {ProcedureList [SemiColon]}+ "}"
121	69. ProcedureKeyword ::= "procedure"
122	70. ProcedureList ::= Direction AllOrSignatureList
123	71. AllOrSignatureList ::= AllKeyword \| SignatureList
124	72. SignatureList ::= Signature {"," Signature}
125	73. MixedAttribs ::= MixedKeyword
126	"{" {MixedList [SemiColon]}+ "}"
127	74. MixedKeyword ::= "mixed"
128	75. MixedList ::= Direction ProcOrTypeList
129	76. ProcOrTypeList ::= AllKeyword \| (ProcOrType {"," ProcOrType})
130	77. ProcOrType ::= Signature \| Type
131	78. ComponentDef ::= ComponentKeyword ComponentTypeIdentifier
132	[ExtendsKeyword ComponentType {"," ComponentType}]
133	"{" [ComponentDefList] "}"
134	79. ComponentKeyword ::= "component"
135	80. ExtendsKeyword ::= "extends"
136	81. ComponentType ::= [GlobalModuleId Dot] ComponentTypeIdentifier
137	82. ComponentTypeIdentifier ::= Identifier
138	83. ComponentDefList ::= {ComponentElementDef [SemiColon]}
139	84. ComponentElementDef ::= PortInstance \| VarInstance \| TimerInstance \| ConstDef
140	85. PortInstance ::= PortKeyword PortType PortElement {"," PortElement}
141	86. PortElement ::= PortIdentifier [ArrayDef]
142	87. PortIdentifier ::= Identifier
143
144	A.1.6.1.2 Constant definitions
145	88. ConstDef ::= ConstKeyword Type ConstList
146	89. ConstList ::= SingleConstDef {"," SingleConstDef}
147	90. SingleConstDef ::= ConstIdentifier [ArrayDef] AssignmentChar ConstantExpression
148	91. ConstKeyword ::= "const"
149	92. ConstIdentifier ::= Identifier
150
151	A.1.6.1.3 Template definitions
152	93. TemplateDef ::= TemplateKeyword [TemplateRestriction] BaseTemplate [DerivedDef]
153	AssignmentChar TemplateBody
154	94. BaseTemplate ::= (Type \| Signature) TemplateIdentifier ["(" TemplateFormalParList ")"]
155	95. TemplateKeyword ::= "template"
156	96. TemplateIdentifier ::= Identifier
157	97. DerivedDef ::= ModifiesKeyword TemplateRef
158	98. ModifiesKeyword ::= "modifies"
159	99. TemplateFormalParList ::= TemplateFormalPar {"," TemplateFormalPar}
160	100. TemplateFormalPar ::= FormalValuePar \| FormalTemplatePar
161	/* STATIC SEMANTICS - FormalValuePar shall resolve to an in parameter */
162	101. TemplateBody ::= (SimpleSpec \| FieldSpecList \| ArrayValueOrAttrib) [ExtraMatchingAttributes]
163	/* STATIC SEMANTICS - Within TeplateBody the ArrayValueOrAttrib can be used for array, record, record of and set of types. */
164	102. SimpleSpec ::= SingleValueOrAttrib
165	103. FieldSpecList ::= "{"[FieldSpec {"," FieldSpec}] "}"
166	104. FieldSpec ::= FieldReference AssignmentChar TemplateBody
167	105. FieldReference ::= StructFieldRef \| ArrayOrBitRef \| ParRef
168	106. StructFieldRef ::= StructFieldIdentifier\| PredefinedType \| TypeReference
169	/* STATIC SEMANTICS - PredefinedType and TypeReference shall be used for anytype value notation only. PredefinedType shall not be AnyTypeKeyword.*/
170	107. ParRef ::= SignatureParIdentifier
171	/* STATIC SEMANTICS - SignatureParIdentifier shall be a formal parameter identifier from the associated signature definition */
172	108. SignatureParIdentifier ::= ValueParIdentifier
173	109. ArrayOrBitRef ::= "[" FieldOrBitNumber "]"
174	/* STATIC SEMANTICS - ArrayRef shall be optionally used for array types and TTCN 3 record of and set of. The same notation can be used for a Bit reference inside an TTCN 3 charstring, universal charstring, bitstring, octetstring and hexstring type */
175	110. FieldOrBitNumber ::= SingleExpression
176	/* STATIC SEMANTICS - SingleExpression will resolve to a value of integer type */
177	111. SingleValueOrAttrib ::= MatchingSymbol \|
178	SingleExpression \|
179	( TemplateRefWithParList [ ExtendedFieldReference ] )
180	/* STATIC SEMANTIC - VariableIdentifier (accessed via singleExpression) may only be used in in-line template definitions to reference variables in the current scope */
181	112. ArrayValueOrAttrib ::= "{" ArrayElementSpecList "}"
182	113. ArrayElementSpecList ::= ArrayElementSpec {"," ArrayElementSpec}
183	114. ArrayElementSpec ::= NotUsedSymbol \| PermutationMatch \| TemplateBody
184	115. NotUsedSymbol ::= Dash
185	116. MatchingSymbol ::= Complement \|
186	AnyValue \|
187	AnyOrOmit \|
188	ValueOrAttribList \|
189	Range \|
190	BitStringMatch \|
191	HexStringMatch \|
192	OctetStringMatch \|
193	CharStringMatch \|
194	SubsetMatch \|
195	SupersetMatch
196	117. ExtraMatchingAttributes ::= LengthMatch \| IfPresentMatch \| (LengthMatch IfPresentMatch)
197	118. BitStringMatch ::= "'" {BinOrMatch} "'" "B"
198	119. BinOrMatch ::= Bin \| AnyValue \| AnyOrOmit
199	120. HexStringMatch ::= "'" {HexOrMatch} "'" "H"
200	121. HexOrMatch ::= Hex \| AnyValue \| AnyOrOmit
201	122. OctetStringMatch ::= "'" {OctOrMatch} "'" "O"
202	123. OctOrMatch ::= Oct \| AnyValue \| AnyOrOmit
203	124. CharStringMatch ::= PatternKeyword Pattern {"&" (Pattern \| ReferencedValue)}
204	125. PatternKeyword ::= "pattern"
205	126. Pattern ::= """ { PatternElement } """
206	127. PatternElement ::=
207	("\" ("?" \| "*" \| "\" \| "[" \| "]" \| "{" \| "}" \| """ \| "\|" \| "(" \| ")" \| "#" \| "+" \|
208	"d" \| "w" \| "t" \| "n" \| "r" \| "s" \| "b")) \|
209	("?" \| "*" \| "\" \| "\|" \| "+") \|
210	("[" ["^"] [ {PatternChar ["-" PatternChar] } ] "]") \|
211	("{" ReferencedValue "}") \|
212	("\" "N" "{" (ReferencedValue \| Type) "}") \|
213	(""" """) \|
214	("(" PatternElement ")") \|
215	("#" (Num \| ("(" Num "," [Num] ")") \| ("(" "," Num ")"))) \|
216	PatternChar
217	128. PatternChar ::= Char \| PatternQuadruple
218	129. PatternQuadruple ::= "\" "q" "(" Group "," Plane "," Row "," Cell ")"
219	130. Complement ::= ComplementKeyword "(" TemplateBody {"," TemplateBody} ")"
220	131. ComplementKeyword ::= "complement"
221	132. SubsetMatch ::= SubsetKeyword ValueOrAttribList
222	133. SubsetKeyword ::= "subset"
223	134. SupersetMatch ::= SupersetKeyword ValueOrAttribList
224	135. SupersetKeyword ::= "superset"
225	136. PermutationMatch ::= PermutationKeyword PermutationList
226	137. PermutationKeyword ::= "permutation"
227	138. PermutationList ::= "(" TemplateBody { "," TemplateBody } ")"
228	/* STATIC SEMANTICS: Restrictions on the content of TemplateBody are given in clause B.1.3.3 */
229	139. AnyValue ::= "?"
230	140. AnyOrOmit ::= "*"
231	141. ValueOrAttribList ::= "(" TemplateBody {"," TemplateBody}+ ")"
232	142. LengthMatch ::= StringLength
233	143. IfPresentMatch ::= IfPresentKeyword
234	144. IfPresentKeyword ::= "ifpresent"
235	145. PresentKeyword ::= "present"
236	146. Range ::= "(" LowerBound ".." UpperBound ")"
237	147. LowerBound ::= SingleConstExpression \| (Minus InfinityKeyword)
238	148. UpperBound ::= SingleConstExpression \| InfinityKeyword
239	/* STATIC SEMANTICS - LowerBound and UpperBound shall evaluate to types integer, charstring, universal charstring or float. In case LowerBound or UpperBound evaluates to types charstring or universal charstring, only SingleConstExpression may be present and the string length shall be 1*/
240	149. InfinityKeyword ::= "infinity"
241	150. TemplateInstance ::= InLineTemplate
242	151. TemplateInstanceAssignment ::= ( TemplateParIdentifier \| ValueParIdentifier )
243	":=" InLineTemplate
244	/* STATIC SEMANTICS if a value parameter is used, the inline template shall evaluate to a value */
245	152. TemplateRefWithParList ::= [GlobalModuleId Dot] ( TemplateIdentifier [TemplateActualParList] \|
246	TemplateParIdentifier )
247	153. TemplateRef ::= [GlobalModuleId Dot] TemplateIdentifier \| TemplateParIdentifier
248	154. InLineTemplate ::= [(Type \| Signature) Colon] [DerivedRefWithParList AssignmentChar]
249	TemplateBody
250	155. DerivedRefWithParList ::= ModifiesKeyword TemplateRefWithParList
251	156. TemplateActualParList ::= "(" [( TemplateActualPar {"," TemplateActualPar}) \|
252	( TemplateActualParAssignment {"," TemplateActualParAssignment })]")"
253	157. TemplateActualPar ::= TemplateInstance \| Dash
254	/* STATIC SEMANTICS - When the corresponding formal parameter is not of template type the TemplateInstance production shall resolve to one or more SingleExpressions */
255	158. TemplateActualParAssignment ::= TemplateInstanceAssignment
256	159. TemplateOps ::= MatchOp \| ValueofOp
257	160. MatchOp ::= MatchKeyword "(" Expression "," TemplateInstance")"
258	161. MatchKeyword ::= "match"
259	162. ValueofOp ::= ValueofKeyword "(" TemplateInstance ")"
260	163. ValueofKeyword ::= "valueof"
261
262	A.1.6.1.4 Function definitions
263	164. FunctionDef ::= FunctionKeyword FunctionIdentifier
264	"("[FunctionFormalParList] ")" [RunsOnSpec] [ReturnType]
265	StatementBlock
266	165. FunctionKeyword ::= "function"
267	166. FunctionIdentifier ::= Identifier
268	167. FunctionFormalParList ::= FunctionFormalPar {"," FunctionFormalPar}
269	168. FunctionFormalPar ::= FormalValuePar \|
270	FormalTimerPar \|
271	FormalTemplatePar \|
272	FormalPortPar
273	169. ReturnType ::= ReturnKeyword [TemplateKeyword \| RestrictedTemplate] Type
274	170. ReturnKeyword ::= "return"
275	171. RunsOnSpec ::= RunsKeyword OnKeyword ComponentType
276	172. RunsKeyword ::= "runs"
277	173. OnKeyword ::= "on"
278	174. MTCKeyword ::= "mtc"
279	175. StatementBlock ::= "{" [FunctionDefList] [FunctionStatementList] "}"
280	176. FunctionDefList::= {(FunctionLocalDef \| FunctionLocalInst)[SemiColon]}+
281	177. FunctionStatementList::= {FunctionStatement [SemiColon]}+
282	178. FunctionLocalInst ::= VarInstance \| TimerInstance
283	179. FunctionLocalDef ::= ConstDef \| TemplateDef
284	180. FunctionStatement ::= ConfigurationStatements \|
285	TimerStatements \|
286	CommunicationStatements \|
287	BasicStatements \|
288	BehaviourStatements \|
289	VerdictStatements \|
290	SUTStatements
291	181. FunctionInstance ::= FunctionRef "(" [FunctionActualParList] ")"
292	182. FunctionRef ::= [GlobalModuleId Dot] (FunctionIdentifier \| ExtFunctionIdentifier ) \|
293	PreDefFunctionIdentifier
294	183. PreDefFunctionIdentifier ::= Identifier
295	/* STATIC SEMANTICS - The Identifier shall be one of the pre-defined TTCN 3 Function Identifiers from Annex C of ES 201 873-1 */
296	184. FunctionActualParList ::= ( FunctionActualPar {"," FunctionActualPar} ) \|
297	( FunctionActualParAssignment { "," FunctionActualParAssignment } )
298	185. FunctionActualPar ::= TimerRef \|
299	TemplateInstance \|
300	Port \|
301	ComponentRef \|
302	Dash
303	/* STATIC SEMANTICS - When the corresponding formal parameter is not of template type the TemplateInstance production shall resolve to one or more SingleExpressions i.e. equivalent to the Expression production */
304	186. FunctionActualParAssignment ::= TemplateInstanceAssignment \| ComponentRefAssignment \|
305	PortAssignment \| TimerRefAssignment
306	187. TimerRefAssignment ::= TimerParIdentifier ":=" TimerRef
307	188. PortAssignment ::= PortParIdentifier ":=" Port
308
309	A.1.6.1.5 Signature definitions
310	189. SignatureDef ::= SignatureKeyword SignatureIdentifier
311	"("[SignatureFormalParList] ")" [ReturnType \| NoBlockKeyword]
312	[ExceptionSpec]
313	190. SignatureKeyword ::= "signature"
314	191. SignatureIdentifier ::= Identifier
315	192. SignatureFormalParList ::= SignatureFormalPar {"," SignatureFormalPar}
316	193. SignatureFormalPar ::= FormalValuePar
317	194. ExceptionSpec ::= ExceptionKeyword "(" ExceptionTypeList ")"
318	195. ExceptionKeyword ::= "exception"
319	196. ExceptionTypeList ::= Type {"," Type}
320	197. NoBlockKeyword ::= "noblock"
321	198. Signature ::= [GlobalModuleId Dot] SignatureIdentifier
322
323	A.1.6.1.6 Testcase definitions
324	199. TestcaseDef ::= TestcaseKeyword TestcaseIdentifier
325	"("[TestcaseFormalParList] ")" ConfigSpec
326	StatementBlock
327	200. TestcaseKeyword ::= "testcase"
328	201. TestcaseIdentifier ::= Identifier
329	202. TestcaseFormalParList ::= TestcaseFormalPar {"," TestcaseFormalPar}
330	203. TestcaseFormalPar ::= FormalValuePar \|
331	FormalTemplatePar
332	204. ConfigSpec ::= RunsOnSpec [SystemSpec]
333	205. SystemSpec ::= SystemKeyword ComponentType
334	206. SystemKeyword ::= "system"
335	207. TestcaseInstance ::= ExecuteKeyword "(" TestcaseRef "(" [TestcaseActualParList] ")"
336	["," TimerValue] ")"
337	208. ExecuteKeyword ::= "execute"
338	209. TestcaseRef ::= [GlobalModuleId Dot] TestcaseIdentifier
339	210. TestcaseActualParList ::= ( TestcaseActualPar {"," TestcaseActualPar} ) \|
340	( TestcaseActualParAssignment { "," TestcaseActualParAssignment })
341	211. TestcaseActualPar ::= TemplateInstance \| Dash
342	/* STATIC SEMANTICS - When the corresponding formal parameter is not of template type the TemplateInstance production shall resolve to one or more SingleExpressions i.e. equivalent to the Expression production */
343	212. TestcaseActualParAssignment ::= TemplateInstanceAssignment
344
345	A.1.6.1.7 Altstep definitions
346	213. AltstepDef ::= AltstepKeyword AltstepIdentifier
347	"("[AltstepFormalParList] ")" [RunsOnSpec]
348	"{" AltstepLocalDefList AltGuardList "}"
349	214. AltstepKeyword ::= "altstep"
350	215. AltstepIdentifier ::= Identifier
351	216. AltstepFormalParList ::= FunctionFormalParList
352	217. AltstepLocalDefList ::= {AltstepLocalDef [SemiColon]}
353	218. AltstepLocalDef ::= VarInstance \| TimerInstance \| ConstDef \| TemplateDef
354	219. AltstepInstance ::= AltstepRef "(" [FunctionActualParList] ")"
355	220. AltstepRef ::= [GlobalModuleId Dot] AltstepIdentifier
356
357	A.1.6.1.8 Import definitions
358	221. ImportDef ::= ImportKeyword ImportFromSpec (AllWithExcepts \| ("{" ImportSpec "}"))
359	222. ImportKeyword ::= "import"
360	223. AllWithExcepts ::= AllKeyword [ExceptsDef]
361	224. ExceptsDef ::= ExceptKeyword "{" ExceptSpec "}"
362	225. ExceptKeyword ::= "except"
363	226. ExceptSpec ::= {ExceptElement [SemiColon]}
364	227. ExceptElement ::= ExceptGroupSpec \|
365	ExceptTypeDefSpec \|
366	ExceptTemplateSpec \|
367	ExceptConstSpec \|
368	ExceptTestcaseSpec \|
369	ExceptAltstepSpec \|
370	ExceptFunctionSpec \|
371	ExceptSignatureSpec \|
372	ExceptModuleParSpec
373	228. ExceptGroupSpec ::= GroupKeyword (ExceptGroupRefList \| AllKeyword)
374	229. ExceptTypeDefSpec ::= TypeDefKeyword (TypeRefList \| AllKeyword)
375	230. ExceptTemplateSpec ::= TemplateKeyword (TemplateRefList \| AllKeyword)
376	231. ExceptConstSpec ::= ConstKeyword (ConstRefList \| AllKeyword)
377	232. ExceptTestcaseSpec ::= TestcaseKeyword (TestcaseRefList \| AllKeyword)
378	233. ExceptAltstepSpec ::= AltstepKeyword (AltstepRefList \| AllKeyword)
379	234. ExceptFunctionSpec ::= FunctionKeyword (FunctionRefList \| AllKeyword)
380	235. ExceptSignatureSpec ::= SignatureKeyword (SignatureRefList \| AllKeyword)
381	236. ExceptModuleParSpec ::= ModuleParKeyword (ModuleParRefList \| AllKeyword)
382	237. ImportSpec ::= {ImportElement [SemiColon]}
383	238. ImportElement ::= ImportGroupSpec \|
384	ImportTypeDefSpec \|
385	ImportTemplateSpec \|
386	ImportConstSpec \|
387	ImportTestcaseSpec \|
388	ImportAltstepSpec \|
389	ImportFunctionSpec \|
390	ImportSignatureSpec \|
391	ImportModuleParSpec \|
392	ImportImportSpec
393	239. ImportFromSpec ::= FromKeyword ModuleId [RecursiveKeyword]
394	240. RecursiveKeyword ::= "recursive"
395	241. ImportGroupSpec ::= GroupKeyword (GroupRefListWithExcept \| AllGroupsWithExcept)
396	242. GroupRefList ::= FullGroupIdentifier {"," FullGroupIdentifier}
397	243. GroupRefListWithExcept ::= FullGroupIdentifierWithExcept {"," FullGroupIdentifierWithExcept}
398	244. AllGroupsWithExcept ::= AllKeyword [ExceptKeyword GroupRefList]
399	245. FullGroupIdentifier ::= GroupIdentifier {Dot GroupIdentifier}
400	246. FullGroupIdentifierWithExcept ::= FullGroupIdentifier [ExceptsDef]
401	247. ExceptGroupRefList ::= ExceptFullGroupIdentifier {"," ExceptFullGroupIdentifier}
402	248. ExceptFullGroupIdentifier ::= FullGroupIdentifier
403	249. ImportTypeDefSpec ::= TypeDefKeyword (TypeRefList \| AllTypesWithExcept)
404	250. TypeRefList ::= TypeDefIdentifier {"," TypeDefIdentifier}
405	251. AllTypesWithExcept ::= AllKeyword [ExceptKeyword TypeRefList]
406	252. TypeDefIdentifier ::= StructTypeIdentifier \|
407	EnumTypeIdentifier \|
408	PortTypeIdentifier \|
409	ComponentTypeIdentifier \|
410	SubTypeIdentifier
411	253. ImportTemplateSpec ::= TemplateKeyword (TemplateRefList \| AllTemplsWithExcept)
412	254. TemplateRefList ::= TemplateIdentifier {"," TemplateIdentifier}
413	255. AllTemplsWithExcept ::= AllKeyword [ExceptKeyword TemplateRefList]
414	256. ImportConstSpec ::= ConstKeyword (ConstRefList \| AllConstsWithExcept)
415	257. ConstRefList ::= ConstIdentifier {"," ConstIdentifier}
416	258. AllConstsWithExcept ::= AllKeyword [ExceptKeyword ConstRefList]
417	259. ImportAltstepSpec ::= AltstepKeyword (AltstepRefList \| AllAltstepsWithExcept)
418	260. AltstepRefList ::= AltstepIdentifier {"," AltstepIdentifier}
419	261. AllAltstepsWithExcept ::= AllKeyword [ExceptKeyword AltstepRefList]
420	262. ImportTestcaseSpec ::= TestcaseKeyword (TestcaseRefList \| AllTestcasesWithExcept)
421	263. TestcaseRefList ::= TestcaseIdentifier {"," TestcaseIdentifier}
422	264. AllTestcasesWithExcept ::= AllKeyword [ExceptKeyword TestcaseRefList]
423	265. ImportFunctionSpec ::= FunctionKeyword (FunctionRefList \| AllFunctionsWithExcept)
424	266. FunctionRefList ::= FunctionIdentifier {"," FunctionIdentifier}
425	267. AllFunctionsWithExcept ::= AllKeyword [ExceptKeyword FunctionRefList]
426	268. ImportSignatureSpec ::= SignatureKeyword (SignatureRefList \| AllSignaturesWithExcept)
427	269. SignatureRefList ::= SignatureIdentifier {"," SignatureIdentifier}
428	270. AllSignaturesWithExcept ::= AllKeyword [ExceptKeyword SignatureRefList]
429	271. ImportModuleParSpec ::= ModuleParKeyword (ModuleParRefList \| AllModuleParWithExcept)
430	272. ModuleParRefList ::= ModuleParIdentifier {"," ModuleParIdentifier}
431	273. AllModuleParWithExcept ::= AllKeyword [ExceptKeyword ModuleParRefList]
432	274. ImportImportSpec ::= ImportKeyword AllKeyword
433
434	A.1.6.1.9 Group definitions
435	275. GroupDef ::= GroupKeyword GroupIdentifier
436	"{" [ModuleDefinitionsPart] "}"
437	276. GroupKeyword ::= "group"
438	277. GroupIdentifier ::= Identifier
439
440	A.1.6.1.10 External function definitions
441	278. ExtFunctionDef ::= ExtKeyword FunctionKeyword ExtFunctionIdentifier
442	"("[FunctionFormalParList] ")" [ReturnType]
443	279. ExtKeyword ::= "external"
444	280. ExtFunctionIdentifier ::= Identifier
445
446	A.1.6.1.11 External constant definitions
447	281. ExtConstDef ::= ExtKeyword ConstKeyword Type ExtConstIdentifierList
448	282. ExtConstIdentifierList ::= ExtConstIdentifier { "," ExtConstIdentifier }
449	283. ExtConstIdentifier ::= Identifier
450
451	A.1.6.1.12 Module parameter definitions
452	284. ModuleParDef ::= ModuleParKeyword ( ModulePar \| ("{" MultitypedModuleParList "}"))
453	285. ModuleParKeyword ::= "modulepar"
454	286. MultitypedModuleParList ::= { ModulePar [SemiColon] }
455	287. ModulePar ::= ModuleParType ModuleParList
456	288. ModuleParType ::= Type
457	289. ModuleParList ::= ModuleParIdentifier [AssignmentChar ConstantExpression]
458	{","ModuleParIdentifier [AssignmentChar ConstantExpression]}
459	290. ModuleParIdentifier ::= Identifier
460
461	A.1.6.1.13 Friend module definitions
462	291. FriendModuleDef ::= "friend" "module" ModuleIdentifier {"," ModuleIdentifier } [SemiColon]
463
464	A.1.6.2 Control part
465	A.1.6.2.0 General
466	292. ModuleControlPart ::= ControlKeyword
467	"{" ModuleControlBody "}"
468	[WithStatement] [SemiColon]
469	293. ControlKeyword ::= "control"
470	294. ModuleControlBody ::= [ControlStatementOrDefList]
471	295. ControlStatementOrDefList ::= {ControlStatementOrDef [SemiColon]}+
472	296. ControlStatementOrDef ::= FunctionLocalDef \|
473	FunctionLocalInst \|
474	ControlStatement
475	297. ControlStatement ::= TimerStatements \|
476	BasicStatements \|
477	BehaviourStatements \|
478	SUTStatements \|
479	StopKeyword
480
481	A.1.6.2.1 Variable instantiation
482	298. VarInstance ::= VarKeyword ((Type VarList)
483	\| (( TemplateKeyword \| RestrictedTemplate ) Type TempVarList))
484	299. VarList ::= SingleVarInstance {"," SingleVarInstance}
485	300. SingleVarInstance ::= VarIdentifier [ArrayDef] [AssignmentChar VarInitialValue]
486	301. VarInitialValue ::= Expression
487	302. VarKeyword ::= "var"
488	303. VarIdentifier ::= Identifier
489	304. TempVarList ::= SingleTempVarInstance {"," SingleTempVarInstance}
490	305. SingleTempVarInstance ::= VarIdentifier [ArrayDef] [AssignmentChar TempVarInitialValue]
491	306. TempVarInitialValue ::= TemplateBody
492	307. VariableRef ::= ( VarIdentifier \| ValueParIdentifier \| TemplateParIdentifier )
493	[ ExtendedFieldReference ]
494
495	A.1.6.2.2 Timer instantiation
496	308. TimerInstance ::= TimerKeyword TimerList
497	309. TimerList ::= SingleTimerInstance{"," SingleTimerInstance}
498	310. SingleTimerInstance ::= TimerIdentifier [ArrayDef] [AssignmentChar TimerValue]
499	311. TimerKeyword ::= "timer"
500	312. TimerIdentifier ::= Identifier
501	313. TimerValue ::= Expression
502	314. TimerRef ::= (TimerIdentifier \| TimerParIdentifier) {ArrayOrBitRef}
503
504	A.1.6.2.3 Component operations
505	315. ConfigurationStatements ::= ConnectStatement \|
506	MapStatement \|
507	DisconnectStatement \|
508	UnmapStatement \|
509	DoneStatement \|
510	KilledStatement \|
511	StartTCStatement \|
512	StopTCStatement \|
513	KillTCStatement
514	316. ConfigurationOps ::= CreateOp \| SelfOp \| SystemOp \| MTCOp \| RunningOp \| AliveOp
515	317. CreateOp ::= ComponentType Dot CreateKeyword ["(" SingleExpression ")"] [AliveKeyword]
516	318. SystemOp ::= SystemKeyword
517	319. SelfOp ::= "self"
518	320. MTCOp ::= MTCKeyword
519	321. DoneStatement ::= ComponentId Dot DoneKeyword
520	322. KilledStatement ::= ComponentId Dot KilledKeyword
521	323. ComponentId ::= ComponentOrDefaultReference \| (AnyKeyword \| AllKeyword) ComponentKeyword
522	324. DoneKeyword ::= "done"
523	325. KilledKeyword ::= "killed"
524	326. RunningOp ::= ComponentId Dot RunningKeyword
525	327. RunningKeyword ::= "running"
526	328. AliveOp ::= ComponentId Dot AliveKeyword
527	329. CreateKeyword ::= "create"
528	330. AliveKeyword ::= "alive"
529	331. ConnectStatement ::= ConnectKeyword SingleConnectionSpec
530	332. ConnectKeyword ::= "connect"
531	333. SingleConnectionSpec ::= "(" PortRef "," PortRef ")"
532	334. PortRef ::= ComponentRef Colon Port
533	335. ComponentRef ::= ComponentOrDefaultReference \| SystemOp \| SelfOp \| MTCOp
534	336. ComponentRefAssignment ::= ValueParIdentifier ":=" ComponentRef
535	337. DisconnectStatement ::= DisconnectKeyword [SingleOrMultiConnectionSpec]
536	338. SingleOrMultiConnectionSpec ::= SingleConnectionSpec \|
537	AllConnectionsSpec \|
538	AllPortsSpec \|
539	AllCompsAllPortsSpec
540	339. AllConnectionsSpec ::= "(" PortRef ")"
541	340. AllPortsSpec ::= "(" ComponentRef ":" AllKeyword PortKeyword ")"
542	341. AllCompsAllPortsSpec ::= "(" AllKeyword ComponentKeyword ":" AllKeyword PortKeyword ")"
543	342. DisconnectKeyword ::= "disconnect"
544	343. MapStatement ::= MapKeyword SingleConnectionSpec
545	344. MapKeyword ::= "map"
546	345. UnmapStatement ::= UnmapKeyword [SingleOrMultiConnectionSpec]
547	346. UnmapKeyword ::= "unmap"
548	347. StartTCStatement ::= ComponentOrDefaultReference Dot StartKeyword "(" FunctionInstance ")"
549	348. StartKeyword ::= "start"
550	349. StopTCStatement ::= StopKeyword \| (ComponentReferenceOrLiteral Dot StopKeyword) \|
551	(AllKeyword ComponentKeyword Dot StopKeyword)
552	350. ComponentReferenceOrLiteral ::= ComponentOrDefaultReference \| MTCOp \| SelfOp
553	351. KillTCStatement ::= KillKeyword \| (ComponentReferenceOrLiteral Dot KillKeyword) \|
554	(AllKeyword ComponentKeyword Dot KillKeyword)
555	352. ComponentOrDefaultReference ::= VariableRef \| FunctionInstance
556	353. KillKeyword ::= "kill"
557
558	A.1.6.2.4 Port operations
559	354. Port ::= (PortIdentifier \| PortParIdentifier) {ArrayOrBitRef}
560	355. CommunicationStatements ::= SendStatement \|
561	CallStatement \|
562	ReplyStatement \|
563	RaiseStatement \|
564	ReceiveStatement \|
565	TriggerStatement \|
566	GetCallStatement \|
567	GetReplyStatement \|
568	CatchStatement \|
569	CheckStatement \|
570	ClearStatement \|
571	StartStatement \|
572	StopStatement \|
573	HaltStatement
574	356. SendStatement ::= Port Dot PortSendOp
575	357. PortSendOp ::= SendOpKeyword "(" SendParameter ")" [ToClause]
576	358. SendOpKeyword ::= "send"
577	359. SendParameter ::= TemplateInstance
578	360. ToClause ::= ToKeyword ( AddressRef \|
579	AddressRefList \|
580	AllKeyword ComponentKeyword )
581	361. AddressRefList ::= "(" AddressRef {"," AddressRef} ")"
582	362. ToKeyword ::= "to"
583	363. AddressRef ::= TemplateInstance
584	364. CallStatement ::= Port Dot PortCallOp [PortCallBody]
585	365. PortCallOp ::= CallOpKeyword "(" CallParameters ")" [ToClause]
586	366. CallOpKeyword ::= "call"
587	367. CallParameters ::= TemplateInstance ["," CallTimerValue]
588	368. CallTimerValue ::= TimerValue \| NowaitKeyword
589	369. NowaitKeyword ::= "nowait"
590	370. PortCallBody ::= "{" CallBodyStatementList "}"
591	371. CallBodyStatementList ::= {CallBodyStatement [SemiColon]}+
592	372. CallBodyStatement ::= CallBodyGuard StatementBlock
593	373. CallBodyGuard ::= AltGuardChar CallBodyOps
594	374. CallBodyOps ::= GetReplyStatement \| CatchStatement
595	375. ReplyStatement ::= Port Dot PortReplyOp
596	376. PortReplyOp ::= ReplyKeyword "(" TemplateInstance [ReplyValue]")" [ToClause]
597	377. ReplyKeyword ::= "reply"
598	378. ReplyValue ::= ValueKeyword Expression
599	379. RaiseStatement ::= Port Dot PortRaiseOp
600	380. PortRaiseOp ::= RaiseKeyword "(" Signature "," TemplateInstance ")" [ToClause]
601	381. RaiseKeyword ::= "raise"
602	382. ReceiveStatement ::= PortOrAny Dot PortReceiveOp
603	383. PortOrAny ::= Port \| AnyKeyword PortKeyword
604	384. PortReceiveOp ::= ReceiveOpKeyword ["(" ReceiveParameter ")"] [FromClause] [PortRedirect]
605	385. ReceiveOpKeyword ::= "receive"
606	386. ReceiveParameter ::= TemplateInstance
607	387. FromClause ::= FromKeyword ( AddressRef \|
608	AddressRefList \|
609	AnyKeyword ComponentKeyword )
610	388. FromKeyword ::= "from"
611	389. PortRedirect ::= PortRedirectSymbol (ValueSpec [SenderSpec] \| SenderSpec)
612	390. PortRedirectSymbol ::= "->"
613	391. ValueSpec ::= ValueKeyword ( VariableRef \|
614	( "(" SingleValueSpec { "," SingleValueSpec } ")" ) )
615	392. SingleValueSpec ::= VariableRef [ AssignmentChar FieldReference ExtendedFieldReference ]
616	/*STATIC SEMANTICS FieldReference shall not be ParRef and ExtendedFieldReference shall not be
617	TypeDefIdentifier*/
618	393. ValueKeyword ::= "value"
619	394. SenderSpec ::= SenderKeyword VariableRef
620	395. SenderKeyword ::= "sender"
621	396. TriggerStatement ::= PortOrAny Dot PortTriggerOp
622	397. PortTriggerOp ::= TriggerOpKeyword ["(" ReceiveParameter ")"] [FromClause] [PortRedirect]
623	398. TriggerOpKeyword ::= "trigger"
624	399. GetCallStatement ::= PortOrAny Dot PortGetCallOp
625	400. PortGetCallOp ::= GetCallOpKeyword ["(" ReceiveParameter ")"] [FromClause]
626	[PortRedirectWithParam]
627	401. GetCallOpKeyword ::= "getcall"
628	402. PortRedirectWithParam ::= PortRedirectSymbol RedirectWithParamSpec
629	403. RedirectWithParamSpec ::= ParamSpec [SenderSpec] \|
630	SenderSpec
631	404. ParamSpec ::= ParamKeyword ParamAssignmentList
632	405. ParamKeyword ::= "param"
633	406. ParamAssignmentList ::= "(" (AssignmentList \| VariableList) ")"
634	407. AssignmentList ::= VariableAssignment {"," VariableAssignment}
635	408. VariableAssignment ::= VariableRef AssignmentChar ParameterIdentifier
636	409. ParameterIdentifier ::= ValueParIdentifier
637	410. VariableList ::= VariableEntry {"," VariableEntry}
638	411. VariableEntry ::= VariableRef \| NotUsedSymbol
639	412. GetReplyStatement ::= PortOrAny Dot PortGetReplyOp
640	413. PortGetReplyOp ::= GetReplyOpKeyword ["(" ReceiveParameter [ValueMatchSpec] ")"]
641	[FromClause] [PortRedirectWithValueAndParam]
642	414. PortRedirectWithValueAndParam ::= PortRedirectSymbol RedirectWithValueAndParamSpec
643	415. RedirectWithValueAndParamSpec ::= ValueSpec [ParamSpec] [SenderSpec] \|
644	RedirectWithParamSpec
645	416. GetReplyOpKeyword ::= "getreply"
646	417. ValueMatchSpec ::= ValueKeyword TemplateInstance
647	418. CheckStatement ::= PortOrAny Dot PortCheckOp
648	419. PortCheckOp ::= CheckOpKeyword ["(" CheckParameter ")"]
649	420. CheckOpKeyword ::= "check"
650	421. CheckParameter ::= CheckPortOpsPresent \| FromClausePresent \| RedirectPresent
651	422. FromClausePresent ::= FromClause [PortRedirectSymbol SenderSpec]
652	423. RedirectPresent ::= PortRedirectSymbol SenderSpec
653	424. CheckPortOpsPresent ::= PortReceiveOp \| PortGetCallOp \| PortGetReplyOp \| PortCatchOp
654	425. CatchStatement ::= PortOrAny Dot PortCatchOp
655	426. PortCatchOp ::= CatchOpKeyword ["("CatchOpParameter ")"] [FromClause] [PortRedirect]
656	427. CatchOpKeyword ::= "catch"
657	428. CatchOpParameter ::= Signature "," TemplateInstance \| TimeoutKeyword
658	429. ClearStatement ::= PortOrAll Dot PortClearOp
659	430. PortOrAll ::= Port \| AllKeyword PortKeyword
660	431. PortClearOp ::= ClearOpKeyword
661	432. ClearOpKeyword ::= "clear"
662	433. StartStatement ::= PortOrAll Dot PortStartOp
663	434. PortStartOp ::= StartKeyword
664	435. StopStatement ::= PortOrAll Dot PortStopOp
665	436. PortStopOp ::= StopKeyword
666	437. StopKeyword ::= "stop"
667	438. HaltStatement ::= PortOrAll Dot PortHaltOp
668	439. PortHaltOp ::= HaltKeyword
669	440. HaltKeyword ::= "halt"
670	441. AnyKeyword ::= "any"
671
672	A.1.6.2.5 Timer operations
673	442. TimerStatements ::= StartTimerStatement \| StopTimerStatement \| TimeoutStatement
674	443. TimerOps ::= ReadTimerOp \| RunningTimerOp
675	444. StartTimerStatement ::= TimerRef Dot StartKeyword ["(" TimerValue ")"]
676	445. StopTimerStatement ::= TimerRefOrAll Dot StopKeyword
677	446. TimerRefOrAll ::= TimerRef \| AllKeyword TimerKeyword
678	447. ReadTimerOp ::= TimerRef Dot ReadKeyword
679	448. ReadKeyword ::= "read"
680	449. RunningTimerOp ::= TimerRefOrAny Dot RunningKeyword
681	450. TimeoutStatement ::= TimerRefOrAny Dot TimeoutKeyword
682	451. TimerRefOrAny ::= TimerRef \| ( AnyKeyword TimerKeyword )
683	452. TimeoutKeyword ::= "timeout"
684
685	A.1.6.3 Type
686	453. Type ::= PredefinedType \| ReferencedType
687	454. PredefinedType ::= BitStringKeyword \|
688	BooleanKeyword \|
689	CharStringKeyword \|
690	UniversalCharString \|
691	IntegerKeyword \|
692	OctetStringKeyword \|
693	HexStringKeyword \|
694	VerdictTypeKeyword \|
695	FloatKeyword \|
696	AddressKeyword \|
697	DefaultKeyword \|
698	AnyTypeKeyword
699	455. BitStringKeyword ::= "bitstring"
700	456. BooleanKeyword ::= "boolean"
701	457. IntegerKeyword ::= "integer"
702	458. OctetStringKeyword ::= "octetstring"
703	459. HexStringKeyword ::= "hexstring"
704	460. VerdictTypeKeyword ::= "verdicttype"
705	461. FloatKeyword ::= "float"
706	462. AddressKeyword ::= "address"
707	463. DefaultKeyword ::= "default"
708	464. AnyTypeKeyword ::= "anytype"
709	465. CharStringKeyword ::= "charstring"
710	466. UniversalCharString ::= UniversalKeyword CharStringKeyword
711	467. UniversalKeyword ::= "universal"
712	468. ReferencedType ::= [GlobalModuleId Dot] TypeReference [ExtendedFieldReference]
713	469. TypeReference ::= StructTypeIdentifier \|
714	EnumTypeIdentifier \|
715	SubTypeIdentifier \|
716	ComponentTypeIdentifier
717	470. ArrayDef ::= {"[" ArrayBounds [".." ArrayBounds] "]"}+
718	471. ArrayBounds ::= SingleConstExpression
719	/* STATIC SEMANTICS - ArrayBounds will resolve to a non negative value of integer type */
720
721	A.1.6.4 Value
722	472. Value ::= PredefinedValue \| ReferencedValue
723	473. PredefinedValue ::= BitStringValue \|
724	BooleanValue \|
725	CharStringValue \|
726	IntegerValue \|
727	OctetStringValue \|
728	HexStringValue \|
729	VerdictTypeValue \|
730	EnumeratedValue \|
731	FloatValue \|
732	AddressValue \|
733	OmitValue
734	474. BitStringValue ::= Bstring
735	475. BooleanValue ::= "true" \| "false"
736	476. IntegerValue ::= Number
737	477. OctetStringValue ::= Ostring
738	478. HexStringValue ::= Hstring
739	479. VerdictTypeValue ::= "pass" \| "fail" \| "inconc" \| "none" \| "error"
740	480. EnumeratedValue ::= EnumerationIdentifier
741	481. CharStringValue ::= Cstring \| Quadruple
742	482. Quadruple ::= CharKeyword "(" Group "," Plane "," Row "," Cell ")"
743	483. CharKeyword ::= "char"
744	484. Group ::= Number
745	485. Plane ::= Number
746	486. Row ::= Number
747	487. Cell ::= Number
748	488. FloatValue ::= FloatDotNotation \| FloatENotation \| NaNKeyword
749	489. NaNKeyword ::= "not_a_number"
750	490. FloatDotNotation ::= Number Dot DecimalNumber
751	491. FloatENotation ::= Number [Dot DecimalNumber] Exponential [Minus] Number
752	492. Exponential ::= "E"
753	493. ReferencedValue ::= ValueReference [ExtendedFieldReference]
754	494. ValueReference ::= [GlobalModuleId Dot] (ConstIdentifier \| ExtConstIdentifier \|
755	ModuleParIdentifier ) \|
756	ValueParIdentifier \|
757	VarIdentifier
758	495. Number ::= (NonZeroNum {Num}) \| "0"
759	496. NonZeroNum ::= "1" \| "2" \| "3" \| "4" \| "5" \| "6" \| "7" \| "8" \| "9"
760	497. DecimalNumber ::= {Num}+
761	498. Num ::= "0" \| NonZeroNum
762	499. Bstring ::= "'" {Bin} "'" "B"
763	500. Bin ::= "0" \| "1"
764	501. Hstring ::= "'" {Hex} "'" "H"
765	502. Hex ::= Num \| "A" \| "B" \| "C" \| "D" \| "E" \| "F"\| "a" \| "b" \| "c" \| "d" \| "e" \| "f"
766	503. Ostring ::= "'" {Oct} "'" "O"
767	504. Oct ::= Hex Hex
768	505. Cstring ::= """ {Char} """
769	506. Char ::= /* REFERENCE - A character defined by the relevant CharacterString type. For charstring a character from the character set defined in ISO/IEC 646. For universal charstring a character from any character set defined in ISO/IEC 10646 */
770	507. Identifier ::= Alpha{AlphaNum \| Underscore}
771	508. Alpha ::= UpperAlpha \| LowerAlpha
772	509. AlphaNum ::= Alpha \| Num
773	510. UpperAlpha ::= "A" \| "B" \| "C" \| "D" \| "E" \| "F" \| "G" \| "H" \| "I" \| "J" \| "K" \| "L" \| "M" \| "N" \| "O" \| "P" \| "Q" \| "R" \| "S" \| "T" \| "U" \| "V" \| "W" \| "X" \| "Y" \| "Z"
774	511. LowerAlpha ::= "a" \| "b" \| "c" \| "d" \| "e" \| "f" \| "g" \| "h" \| "i" \| "j" \| "k" \| "l" \| "m" \| "n" \| "o" \| "p" \| "q" \| "r" \| "s" \| "t" \| "u" \| "v" \| "w" \| "x" \| "y" \| "z"
775	512. ExtendedAlphaNum ::= /* REFERENCE - A graphical character from the BASIC LATIN or from the LATIN-1 SUPPLEMENT character sets defined in ISO/IEC 10646 (characters from char (0,0,0,32) to char (0,0,0,126), from char (0,0,0,161) to char (0,0,0,172) and from char (0,0,0,174) to char (0,0,0,255) */
776	513. FreeText ::= """ {ExtendedAlphaNum} """
777	514. AddressValue ::= "null"
778	515. OmitValue ::= OmitKeyword
779	516. OmitKeyword ::= "omit"
780
781	A.1.6.5 Parameterization
782	517. InParKeyword ::= "in"
783	518. OutParKeyword ::= "out"
784	519. InOutParKeyword ::= "inout"
785	520. FormalValuePar ::= [(InParKeyword \| InOutParKeyword \| OutParKeyword)]
786	Type ValueParIdentifier [ ":=" ( Expression \| Dash ) ]
787	521. ValueParIdentifier ::= Identifier
788	522. FormalPortPar ::= [InOutParKeyword] PortTypeIdentifier PortParIdentifier
789	523. PortParIdentifier ::= Identifier
790	524. FormalTimerPar ::= [InOutParKeyword] TimerKeyword TimerParIdentifier
791	525. TimerParIdentifier ::= Identifier
792	526. FormalTemplatePar ::= [( InParKeyword \| OutParKeyword \| InOutParKeyword )]
793	( TemplateKeyword \| RestrictedTemplate )
794	Type TemplateParIdentifier [ ":=" ( TemplateInstance \| Dash ) ]
795	527. TemplateParIdentifier ::= Identifier
796	528. RestrictedTemplate ::= OmitKeyword \| ( TemplateKeyword TemplateRestriction )
797	529. TemplateRestriction ::= "(" ( OmitKeyword \| ValueKeyword \| PresentKeyword ) ")"
798
799	A.1.6.6 With statement
800	530. WithStatement ::= WithKeyword WithAttribList
801	531. WithKeyword ::= "with"
802	532. WithAttribList ::= "{" MultiWithAttrib "}"
803	533. MultiWithAttrib ::= {SingleWithAttrib [SemiColon]}
804	534. SingleWithAttrib ::= AttribKeyword [OverrideKeyword] [AttribQualifier] AttribSpec
805	535. AttribKeyword ::= EncodeKeyword \|
806	VariantKeyword \|
807	DisplayKeyword \|
808	ExtensionKeyword \|
809	OptionalKeyword
810	536. EncodeKeyword ::= "encode"
811	537. VariantKeyword ::= "variant"
812	538. DisplayKeyword ::= "display"
813	539. ExtensionKeyword ::= "extension"
814	540. OverrideKeyword ::= "override"
815	541. AttribQualifier ::= "(" DefOrFieldRefList ")"
816	542. DefOrFieldRefList ::= DefOrFieldRef {"," DefOrFieldRef}
817	543. DefOrFieldRef ::= DefinitionRef \|
818	( FieldReference [ ExtendedFieldReference ] ) \|
819	( "[" NotUsedSymbol \| SingleExpression "]" ) \|
820	AllRef
821	544. DefinitionRef ::= StructTypeIdentifier \|
822	EnumTypeIdentifier \|
823	PortTypeIdentifier \|
824	ComponentTypeIdentifier \|
825	SubTypeIdentifier \|
826	ConstIdentifier \|
827	TemplateIdentifier \|
828	AltstepIdentifier \|
829	TestcaseIdentifier \|
830	FunctionIdentifier \|
831	SignatureIdentifier \|
832	VarIdentifier \|
833	TimerIdentifier \|
834	PortIdentifier \|
835	ModuleParIdentifier \|
836	FullGroupIdentifier
837	545. AllRef ::= ( GroupKeyword AllKeyword [ExceptKeyword "{" GroupRefList "}"]) \|
838	( TypeDefKeyword AllKeyword [ExceptKeyword "{" TypeRefList "}"]) \|
839	( TemplateKeyword AllKeyword [ExceptKeyword "{" TemplateRefList "}"]) \|
840	( ConstKeyword AllKeyword [ExceptKeyword "{" ConstRefList "}"]) \|
841	( AltstepKeyword AllKeyword [ExceptKeyword "{" AltstepRefList "}"]) \|
842	( TestcaseKeyword AllKeyword [ExceptKeyword "{" TestcaseRefList "}"]) \|
843	( FunctionKeyword AllKeyword [ExceptKeyword "{" FunctionRefList "}"]) \|
844	( SignatureKeyword AllKeyword [ExceptKeyword "{" SignatureRefList "}"]) \|
845	( ModuleParKeyword AllKeyword [ExceptKeyword "{" ModuleParRefList "}"])
846	546. AttribSpec ::= FreeText
847
848	A.1.6.7 Behaviour statements
849	547. BehaviourStatements ::= TestcaseInstance \|
850	FunctionInstance \|
851	ReturnStatement \|
852	AltConstruct \|
853	InterleavedConstruct \|
854	LabelStatement \|
855	GotoStatement \|
856	RepeatStatement \|
857	DeactivateStatement \|
858	AltstepInstance \|
859	ActivateOp \|
860	BreakStatement \|
861	ContinueStatement
862	548. VerdictStatements ::= SetLocalVerdict
863	549. VerdictOps ::= GetLocalVerdict
864	550. SetLocalVerdict ::= SetVerdictKeyword "(" SingleExpression { "," LogItem } ")"
865	551. SetVerdictKeyword ::= "setverdict"
866	552. GetLocalVerdict ::= "getverdict"
867	553. SUTStatements ::= ActionKeyword "(" ActionText {StringOp ActionText} ")"
868	554. ActionKeyword ::= "action"
869	555. ActionText ::= FreeText \| Expression
870	556. ReturnStatement ::= ReturnKeyword [Expression \| InLineTemplate]
871	/* STATIC SEMANTICS - Expression shall evaluate to a value of a type compatible with the return type for functions returning a value. It shall evaluate to a value, template (literal or template instance), or a matching mechanism compatible with the return type for functions returning a template. */
872	557. AltConstruct ::= AltKeyword "{" AltGuardList "}"
873	558. AltKeyword ::= "alt"
874	559. AltGuardList ::= {GuardStatement \| ElseStatement [SemiColon]}
875	560. GuardStatement ::= AltGuardChar (AltstepInstance [StatementBlock] \| GuardOp StatementBlock)
876	561. ElseStatement ::= "["ElseKeyword "]" StatementBlock
877	562. AltGuardChar ::= "[" [BooleanExpression] "]"
878	563. GuardOp ::= TimeoutStatement \|
879	ReceiveStatement \|
880	TriggerStatement \|
881	GetCallStatement \|
882	CatchStatement \|
883	CheckStatement \|
884	GetReplyStatement \|
885	DoneStatement \|
886	KilledStatement
887	564. InterleavedConstruct ::= InterleavedKeyword "{" InterleavedGuardList "}"
888	565. InterleavedKeyword ::= "interleave"
889	566. InterleavedGuardList ::= {InterleavedGuardElement [SemiColon]}+
890	567. InterleavedGuardElement ::= InterleavedGuard InterleavedAction
891	568. InterleavedGuard ::= "[" "]" GuardOp
892	569. InterleavedAction ::= StatementBlock
893	570. LabelStatement ::= LabelKeyword LabelIdentifier
894	571. LabelKeyword ::= "label"
895	572. LabelIdentifier ::= Identifier
896	573. GotoStatement ::= GotoKeyword LabelIdentifier
897	574. GotoKeyword ::= "goto"
898	575. RepeatStatement ::= "repeat"
899	576. ActivateOp ::= ActivateKeyword "(" AltstepInstance ")"
900	577. ActivateKeyword ::= "activate"
901	578. DeactivateStatement ::= DeactivateKeyword ["(" ComponentOrDefaultReference ")"]
902	579. DeactivateKeyword ::= "deactivate"
903	580. BreakStatement ::= "break"
904	581. ContinueStatement ::= "continue"
905
906	A.1.6.8 Basic statements
907	582. BasicStatements ::= Assignment \| LogStatement \| LoopConstruct \| ConditionalConstruct \|
908	SelectCaseConstruct \| StatementBlock
909	583. Expression ::= SingleExpression \| CompoundExpression
910	584. CompoundExpression ::= FieldExpressionList \| ArrayExpression
911	/* STATIC SEMANTICS - Within CompoundExpression the ArrayExpression can be used for Arrays, record, record of and set of types. */
912	585. FieldExpressionList ::= "{" FieldExpressionSpec {"," FieldExpressionSpec} "}"
913	586. FieldExpressionSpec ::= FieldReference AssignmentChar NotUsedOrExpression
914	587. ArrayExpression ::= "{" [ArrayElementExpressionList] "}"
915	588. ArrayElementExpressionList ::= NotUsedOrExpression {"," NotUsedOrExpression}
916	589. NotUsedOrExpression ::= Expression \| NotUsedSymbol
917	590. ConstantExpression ::= SingleConstExpression \| CompoundConstExpression
918	591. SingleConstExpression ::= SingleExpression
919	592. BooleanExpression ::= SingleExpression
920	/* STATIC SEMANTICS - BooleanExpression shall resolve to a Value of type Boolean */
921	593. CompoundConstExpression ::= FieldConstExpressionList \| ArrayConstExpression
922	/* STATIC SEMANTICS - Within CompoundConstExpression the ArrayConstExpression can be used for arrays, record, record of and set of types. */
923	594. FieldConstExpressionList ::= "{" FieldConstExpressionSpec {"," FieldConstExpressionSpec} "}"
924	595. FieldConstExpressionSpec ::= FieldReference AssignmentChar ConstantExpression
925	596. ArrayConstExpression ::= "{" [ArrayElementConstExpressionList] "}"
926	597. ArrayElementConstExpressionList ::= ConstantExpression {"," ConstantExpression}
927	598. Assignment ::= VariableRef AssignmentChar (Expression \| TemplateBody)
928	/* STATIC SEMANTICS - The Expression on the right hand side of Assignment shall evaluate to an explicit value of a type compatible with the type of the left hand side for value variables and shall evaluate to an explicit value, template (literal or a template instance) or a matching mechanism compatible with the type of the left hand side for template variables. */
929	599. SingleExpression ::= XorExpression { "or" XorExpression }
930	/* STATIC SEMANTICS - If more than one XorExpression exists, then the XorExpressions shall evaluate to specific values of compatible types */
931	600. XorExpression ::= AndExpression { "xor" AndExpression }
932	/* STATIC SEMANTICS - If more than one AndExpression exists, then the AndExpressions shall evaluate to specific values of compatible types */
933	601. AndExpression ::= NotExpression { "and" NotExpression }
934	/* STATIC SEMANTICS - If more than one NotExpression exists, then the NotExpressions shall evaluate to specific values of compatible types */
935	602. NotExpression ::= [ "not" ] EqualExpression
936	/* STATIC SEMANTICS - Operands of the not operator shall be of type boolean or derivatives of type Boolean. */
937	603. EqualExpression ::= RelExpression { EqualOp RelExpression }
938	/* STATIC SEMANTICS - If more than one RelExpression exists, then the RelExpressions shall evaluate to specific values of compatible types */
939	604. RelExpression ::= ShiftExpression [ RelOp ShiftExpression ]
940	/* STATIC SEMANTICS - If both ShiftExpressions exist, then each ShiftExpression shall evaluate to a specific integer, Enumerated or float Value or derivatives of these types */
941	605. ShiftExpression ::= BitOrExpression { ShiftOp BitOrExpression }
942	/* STATIC SEMANTICS - Each Result shall resolve to a specific Value. If more than one Result exists the right-hand operand shall be of type integer or derivatives and if the shift op is "<<" or ">>" then the left-hand operand shall resolve to either bitstring, hexstring or octetstring type or derivatives of these types. If the shift op is "<@" or "@>" then the left-hand operand shall be of type bitstring, hexstring, octetstring, charstring, universal charstring, record of, set of, or array, or derivatives of these types */
943	606. BitOrExpression ::= BitXorExpression { "or4b" BitXorExpression }
944	/* STATIC SEMANTICS - If more than one BitXorExpression exists, then the BitXorExpressions shall evaluate to specific values of compatible types */
945	607. BitXorExpression ::= BitAndExpression { "xor4b" BitAndExpression }
946	/* STATIC SEMANTICS - If more than one BitAndExpression exists, then the BitAndExpressions shall evaluate to specific values of compatible types */
947	608. BitAndExpression ::= BitNotExpression { "and4b" BitNotExpression }
948	/* STATIC SEMANTICS - If more than one BitNotExpression exists, then the BitNotExpressions shall evaluate to specific values of compatible types */
949	609. BitNotExpression ::= [ "not4b" ] AddExpression
950	/* STATIC SEMANTICS - If the not4b operator exists, the operand shall be of type bitstring, octetstring or hexstring or derivatives of these types. */
951	610. AddExpression ::= MulExpression { AddOp MulExpression }
952	/* STATIC SEMANTICS - Each MulExpression shall resolve to a specific Value. If more than one MulExpression exists and the AddOp resolves to StringOp then the MulExpressions shall be valid operands for StringOp. If more than one MulExpression exists and the AddOp does not resolve to StringOp then the MulExpression shall both resolve to type integer or float or derivatives of these types.*/
953	611. MulExpression ::= UnaryExpression { MultiplyOp UnaryExpression }
954	/* STATIC SEMANTICS - Each UnaryExpression shall resolve to a specific Value. If more than one UnaryExpression exists then the UnaryExpressions shall resolve to type integer or float or derivatives of these types. */
955	612. UnaryExpression ::= [ UnaryOp ] Primary
956	/* STATIC SEMANTICS - Primary shall resolve to a specific Value of type integer or float or derivatives of these types.*/
957	613. Primary ::= OpCall \| Value \| "(" SingleExpression ")"
958	614. ExtendedFieldReference ::= { ( Dot ( StructFieldIdentifier \| TypeDefIdentifier ) )
959	\| ArrayOrBitRef
960	\| ( "[" NotUsedSymbol "]" ) }+
961	/* STATIC SEMANTIC - The TypeDefIdentifier shall be used only if the type of the VarInstance or ReferencedValue in which the ExtendedFieldReference is used is anytype.
962	ArrayOrBitRef shall be used when referencing elements of values or arrays.
963	The square brackets with dash shall be used when referencing inner types of a record of or set of type. */
964	615. OpCall ::= ConfigurationOps \|
965	VerdictOps \|
966	TimerOps \|
967	TestcaseInstance \|
968	( FunctionInstance [ ExtendedFieldReference ] ) \|
969	( TemplateOps [ ExtendedFieldReference ] ) \|
970	ActivateOp
971	616. AddOp ::= "+" \| "-" \| StringOp
972	/* STATIC SEMANTICS - Operands of the "+" or "-" operators shall be of type integer or float or derivations of integer or float (i.e. subrange) */
973	617. MultiplyOp ::= "*" \| "/" \| "mod" \| "rem"
974	/* STATIC SEMANTICS - Operands of the "", "/", rem or mod operators shall be of type integer or float or derivations of integer or float (i.e. subrange) /
975	618. UnaryOp ::= "+" \| "-"
976	/* STATIC SEMANTICS - Operands of the "+" or "-" operators shall be of type integer or float or derivations of integer or float (i.e. subrange) */
977	619. RelOp ::= "<" \| ">" \| ">=" \| "<="
978	/* STATIC SEMANTICS - the precedence of the operators is defined in Table 6 */
979	620. EqualOp ::= "==" \| "!="
980	621. StringOp ::= "&"
981	/* STATIC SEMANTICS - Operands of the list operator shall be bitstring, hexstring, octetstring, (universal) character string, record of, set of, or array types, or derivates of these types */
982	622. ShiftOp ::= "<<" \| ">>" \| "<@" \| "@>"
983	623. LogStatement ::= LogKeyword "(" LogItem { "," LogItem } ")"
984	624. LogKeyword ::= "log"
985	625. LogItem ::= FreeText \| TemplateInstance
986	626. LoopConstruct ::= ForStatement \|
987	WhileStatement \|
988	DoWhileStatement
989	627. ForStatement ::= ForKeyword "(" Initial SemiColon Final SemiColon Step ")"
990	StatementBlock
991	628. ForKeyword ::= "for"
992	629. Initial ::= VarInstance \| Assignment
993	630. Final ::= BooleanExpression
994	631. Step ::= Assignment
995	632. WhileStatement ::= WhileKeyword "(" BooleanExpression ")"
996	StatementBlock
997	633. WhileKeyword ::= "while"
998	634. DoWhileStatement ::= DoKeyword StatementBlock
999	WhileKeyword "(" BooleanExpression ")"
1000	635. DoKeyword ::= "do"
1001	636. ConditionalConstruct ::= IfKeyword "(" BooleanExpression ")"
1002	StatementBlock
1003	{ElseIfClause}[ElseClause]
1004	637. IfKeyword ::= "if"
1005	638. ElseIfClause ::= ElseKeyword IfKeyword "(" BooleanExpression ")" StatementBlock
1006	639. ElseKeyword ::= "else"
1007	640. ElseClause ::= ElseKeyword StatementBlock
1008	641. SelectCaseConstruct ::= SelectKeyword "(" SingleExpression ")" SelectCaseBody
1009	642. SelectKeyword ::= "select"
1010	643. SelectCaseBody ::= "{" { SelectCase }+ "}"
1011	644. SelectCase ::= CaseKeyword ( "(" TemplateInstance {"," TemplateInstance } ")" \| ElseKeyword )
1012	StatementBlock
1013	645. CaseKeyword ::= "case"
1014
1015	A.1.6.9 Miscellaneous productions
1016	646. Dot ::= "."
1017	647. Dash ::= "-"
1018	648. Minus ::= Dash
1019	649. SemiColon ::= ";"
1020	650. Colon ::= ":"
1021	651. Underscore ::= "_"
1022	652. AssignmentChar ::= ":="

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format