[5] | 1 | grammar ttcn3_behaviourtypes/bnf;
|
---|
| 2 |
|
---|
| 3 | import "ttcn3-4.2.1.bnf"/core;
|
---|
| 4 | import "package-advanced_parameterization-v1.1.1.bnf"/package;
|
---|
| 5 |
|
---|
| 6 | A.2 Modified TTCN 3 syntax BNF productions
|
---|
| 7 |
|
---|
| 8 | 11. ModuleDefinition ::= [Visibility] (TypeDef |
|
---|
| 9 | ConstDef |
|
---|
| 10 | TemplateDef |
|
---|
| 11 | ModuleParDef |
|
---|
| 12 | FunctionDef |
|
---|
| 13 | SignatureDef |
|
---|
| 14 | TestcaseDef |
|
---|
| 15 | AltstepDef |
|
---|
| 16 | ImportDef |
|
---|
| 17 | GroupDef |
|
---|
| 18 | ExtFunctionDef |
|
---|
| 19 | ExtConstDef |
|
---|
| 20 | FriendModuleDef |
|
---|
| 21 | ConfigurationDef) [WithStatement]
|
---|
| 22 |
|
---|
| 23 | 197. TestcaseDef ::= TestcaseKeyword TestcaseIdentifier
|
---|
| 24 | "("[TestcaseFormalParList] ")" ConfigSpec | ExecuteOnSpec
|
---|
| 25 | StatementBlock
|
---|
| 26 |
|
---|
| 27 | 205. TestcaseInstance ::= ExecuteKeyword "(" TestcaseRef "(" [TestcaseActualParList] ")"
|
---|
| 28 | ["," TimerValue] ["," ConfigurationReference] ")"
|
---|
| 29 |
|
---|
| 30 | 294. ControlStatement ::= TimerStatements |
|
---|
| 31 | BasicStatements |
|
---|
| 32 | BehaviourStatements |
|
---|
| 33 | SUTStatements |
|
---|
| 34 | StopKeyword |
|
---|
| 35 | KillConfigStatement
|
---|
| 36 |
|
---|
| 37 | 316. CreateOp ::= ComponentType Dot CreateKeyword ["(" SingleExpression ")"]
|
---|
| 38 | [AliveKeyword | StaticKeyword]
|
---|
| 39 |
|
---|
| 40 | 330. ConnectStatement ::= ConnectKeyword SingleConnectionSpec [StaticKeyword]
|
---|
| 41 | 342. MapStatement ::= MapKeyword SingleConnectionSpec [StaticKeyword]
|
---|
| 42 |
|
---|
| 43 | 452. PredefinedType ::= BitStringKeyword |
|
---|
| 44 | BooleanKeyword |
|
---|
| 45 | CharStringKeyword |
|
---|
| 46 | UniversalCharString |
|
---|
| 47 | IntegerKeyword |
|
---|
| 48 | OctetStringKeyword |
|
---|
| 49 | HexStringKeyword |
|
---|
| 50 | VerdictTypeKeyword |
|
---|
| 51 | FloatKeyword |
|
---|
| 52 | AddressKeyword |
|
---|
| 53 | DefaultKeyword |
|
---|
| 54 | AnyTypeKeyword |
|
---|
| 55 | ConfigurationKeyword
|
---|
| 56 |
|
---|
| 57 | 610. OpCall ::= ConfigurationOps |
|
---|
| 58 | VerdictOps |
|
---|
| 59 | TimerOps |
|
---|
| 60 | TestcaseInstance |
|
---|
| 61 | FunctionInstance [ ExtendedFieldReference ] |
|
---|
| 62 | TemplateOps [ ExtendedFieldReference ] |
|
---|
| 63 | ActivateOp |
|
---|
| 64 | ConfigurationInstance
|
---|
| 65 |
|
---|
| 66 | A.3 Additional TTCN 3 syntax BNF productions
|
---|
| 67 |
|
---|
| 68 | 197a . ExecuteOnSpec ::= ExecuteKeyword OnKeyword ConfigurationRef
|
---|
| 69 | 316a . StaticKeyword ::= "static"
|
---|
| 70 | 900. ConfigurationDef ::= ConfigurationKeyword ConfigurationIdentifier
|
---|
| 71 | "("[TestcaseFormalParList] ")" ConfigSpec
|
---|
| 72 | StatementBlock
|
---|
| 73 | 901. ConfigurationKeyword ::= "configuration"
|
---|
| 74 | 902. ConfigurationIdentifier ::= Identifier
|
---|
| 75 | 903. ConfigurationInstance ::= ConfigurationRef "(" [TestcaseActualParList] ")"
|
---|
| 76 | 904. ConfigurationRef ::= [GlobalModuleId Dot] ConfigurationIdentifier
|
---|
| 77 | 905. KillConfigStatement ::= ConfigurationReference Dot KillKeyword
|
---|
| 78 | 906. ConfigurationReference ::= VariableRef | FunctionInstance
|
---|