ETSI's Bug Tracker - Ext Pack: Advanced Matching (ES 203 022)
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0007734 | Ext Pack: Advanced Matching (ES 203 022) | Clarification | public | 06-12-2017 12:12 | 05-01-2019 12:10

Reporter | Tomas Urban |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v1.1.1 (published 2017-07) |
Target Version |  | Fixed in Version | v1.3.1 (ongoing) |
Clause Reference(s) | 5.1
Source (company - Author) | Elvior
TS version | ?

Summary | 0007734: Runs on in dynamic matching

Description

There are no rules for referencing functions with the runs on clause in the dynamic matching mechanism.
The specification should clearly state if it is allowed or not. Probably it is easier not to allow it, otherwise there should be additional rules:
1. Error when used for matching on incompatible component
2. Read access to component variables (it should be safe as the component variables are not destroyed during component lifetime)

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR7734.docx (123,605) 17-07-2018 08:16 http://oldforge.etsi.org/mantis/file_download.php?file_id=3757&type=bug

Issue History
Date Modified | Username | Field | Change
06-12-2017 12:12 | Tomas Urban | New Issue |
07-12-2017 08:46 | Tomas Urban | Note Added: 0014926 |
16-07-2018 13:19 | Jens Grabowski | Note Added: 0015124 |
16-07-2018 13:20 | Jens Grabowski | Assigned To | => Jacob Wieland - Spirent
16-07-2018 13:20 | Jens Grabowski | Status | new => assigned
16-07-2018 13:20 | Jens Grabowski | Note Added: 0015125 |
17-07-2018 08:16 | Jacob Wieland - Spirent | File Added: CR7734.docx |
17-07-2018 08:17 | Jacob Wieland - Spirent | Note Added: 0015138 |
17-07-2018 08:17 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Tomas Urban
17-07-2018 08:17 | Jacob Wieland - Spirent | Status | assigned => confirmed
18-07-2018 13:25 | Tomas Urban | Note Added: 0015160 |
18-07-2018 13:25 | Tomas Urban | Status | confirmed => resolved
18-07-2018 13:25 | Tomas Urban | Resolution | open => fixed
18-07-2018 13:25 | Tomas Urban | Assigned To | Tomas Urban => Jens Grabowski
05-01-2019 12:10 | Gyorgy Rethy | Note Added: 0015318 |
05-01-2019 12:10 | Gyorgy Rethy | Status | resolved => closed
05-01-2019 12:10 | Gyorgy Rethy | Assigned To | Jens Grabowski => Gyorgy Rethy
05-01-2019 12:10 | Gyorgy Rethy | Fixed in Version | => v1.3.1 (ongoing)

Notes

(0014926)
Tomas Urban
07-12-2017 08:46

Elvior currently uses the following extension rules for the runs on issue:
1. The function referenced in the short version of the @dynamic matching mechanism can have the runs clause. Such a matching mechanism is allowed to be declared only on compatible components (i.e. in a function, altstep, test case with a compatible component in the "runs on" clause or in a component type declaration).
2. When using the verbose version of the @dynamic matching mechanism, an anonymous function is created from the statement block. This function has an implicit runs on block when it was created in a code running on a component (i.e. in a function, altstep, test case with a "runs on" clause or in a component type declaration).
3. Component variable references are allowed on the RHS of assignments.
4. An error is generated when an actual template parameter of a function used in the component.start operation contains a @dynamic matching mechanism that invokes a function with a "runs on" clause containing a component type that is incompatible with the PTC being started.

(0015124)
Jens Grabowski
16-07-2018 13:19

STF discussion: Runs on clause shall not be used in dynamic matching functions in order to avoid side effects.

(0015125)
Jens Grabowski
16-07-2018 13:20

Jacob to add restriction.

(0015138)
Jacob Wieland - Spirent
17-07-2018 08:17

please review

(0015160)
Tomas Urban
18-07-2018 13:25

Reviewed, no issues found. The proposal can be added to the next version of the extension package.

(0015318)
Gyorgy Rethy
05-01-2019 12:10

Added to draft v1.2.2