| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0006780 | Part 01: TTCN-3 Core Language | Technical | public | 18-06-2014 15:39 | 20-06-2014 11:45 |
|
| Reporter | Tomas Urban | |
| Assigned To | | |
| Priority | normal | Severity | minor | Reproducibility | N/A |
| Status | closed | Resolution | won't fix | |
| Platform | | OS | | OS Version | |
| Product Version | v4.6.1 (published 2014-06) | |
| Target Version | v4.7.1 (published 2015-06) | Fixed in Version | | |
|
| Summary | 0006780: Sender clause should implicitly define the content of the missing from clause |
| Description | If a receiving statement contains a sender clause, but the from clause is missing, the from clause should be defined from the sender clause implicitly in the following way:
var address v_addr;
p.receive -> sender v_addr;
is equal to
p.receive from address:? -> sender v_addr;
This way the language rule prevents unnecessary crashes of the testing code caused by incompatibility of the actual sender and the variable used for storing it. A mismatch will be detected instead, which is a situation that can be gracefully handled by the TE.
Notice that the described situation is not possible with values as the value clause can be present only when the matching template is defined. Similar solution would be possible for the sender clause (i.e. to bind the sender clause to a presence of the from clause), but such a change wouldn't be backwards compatible. |
| Tags | No tags attached. |
|
| Clause Reference(s) | 22.2.2 |
| Source (company - Author) | STF 478 |
|
| Attached Files | |
|
Relationships 
Relationships 