| 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
|
|---|
