Line | |
---|
1 | grammar ttcn3_performance_and_realtime_testing/bnf; |
---|
2 | |
---|
3 | import "ttcn3-4.2.1.bnf"/core; |
---|
4 | |
---|
5 | A.1 Changed BNF Rules |
---|
6 | OpCall ::= ConfigurationOps | |
---|
7 | VerdictOps | |
---|
8 | TimerOps | |
---|
9 | TestcaseInstance | |
---|
10 | ( FunctionInstance [ ExtendedFieldReference ] ) | |
---|
11 | ( TemplateOps [ ExtendedFieldReference ] ) | |
---|
12 | ActivateOp | |
---|
13 | NowOp |
---|
14 | PortRedirect ::= PortRedirectSymbol |
---|
15 | (ValueSpec [SenderSpec] [TimestampSpec] | |
---|
16 | SenderSpec [TimestampSpec] | |
---|
17 | TimestampSpec) |
---|
18 | MessageAttribs ::= MessageKeyword [RealtimeSpec] |
---|
19 | "{" {MessageList [SemiColon]}+ "}" |
---|
20 | ProcedureAttribs ::= ProcedureKeyword [RealtimeSpec] |
---|
21 | "{" {ProcedureList [SemiColon]}+ "}" |
---|
22 | MixedAttribs ::= MixedKeyword [RealtimeSpec] |
---|
23 | "{" {MixedList [SemiColon]}+ "}" |
---|
24 | FunctionStatement ::= ConfigurationStatements | |
---|
25 | TimerStatements | |
---|
26 | CommunicationStatements | |
---|
27 | BasicStatements | |
---|
28 | BehaviourStatements | |
---|
29 | VerdictStatements | |
---|
30 | SUTStatements | |
---|
31 | RealtimeStatement |
---|
32 | A.2 New BNF Rules |
---|
33 | NowOp ::= "now" |
---|
34 | TimestampSpec ::= "timestamp" VariableRef |
---|
35 | RealtimeSpec ::= "realtime" |
---|
36 | RealtimeStatement ::= WaitStatement |
---|
37 | WaitStatement ::= "wait" "(" SingleExpression ")" |
---|
38 | /* STATIC SEMANTICS - the SingleExpression operand shall be of type float or derivatives of this type. */ |
---|
39 | |
---|
Note: See
TracBrowser
for help on using the repository browser.