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