ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details
0006424Part 01: TTCN-3 Core LanguageClarificationpublic19-02-2013 10:5611-07-2013 10:28
Tomas Urban 
Ina Schieferdecker 
normalminorhave not tried
closedfixed 
 
v4.6.1 (published 2014-06)v4.6.1 (published 2014-06) 
C.4.1
Elvior
0006424: Ambiguous rule in the regexp function
The regexp function specification contains the following rule:
"The type of expression shall be universal charstring only when the type of inpar is universal charstring."

It seems quite straightforward, but the specification contains compatibility rules for character strings too. These rules allow to use universal string values (if conditions are fulfilled) as character string values. The question if the above mentioned regexp rule overrides the compatility rule or not.

Proposal:
The current rule shall be amended:
The type ... universal charstring. The compatibility rules for character string values specified in 6.3.1 cannot be applied in this case. (If compatibility rules cannot be used)
or
The type ... universal charstring or the expression can be interpreted as a character string according to the compatibility rules specified in 6.3.1. (If compatibility rules can be used)

Alternative proposal:
The regexp function signature can be changed so that the first two parameters and the return value are of the universal charstring type. This would still allow to use charstring values as parameters (as all charstrings can be interpreted as universal charstrings) and because the function result is always a substring of the first parameter, it can be safely used as a charstring value (using compatibility rules specified in 6.3.1).
No tags attached.
Issue History
19-02-2013 10:56Tomas UrbanNew Issue
19-02-2013 10:56Tomas UrbanClause Reference(s) => C.4.1
19-02-2013 10:56Tomas UrbanSource (company - Author) => Elvior
22-02-2013 11:23Jacob Wieland - SpirentNote Added: 0011328
08-07-2013 15:37Jens GrabowskiProjectTTCN-3 Change Requests => Part 01: TTCN-3 Core Language
08-07-2013 15:39Jens GrabowskiStatusnew => assigned
08-07-2013 15:39Jens GrabowskiAssigned To => Jacob Wieland - Spirent
08-07-2013 18:14Gyorgy RethyTarget Version => v4.6.1 (published 2014-06)
10-07-2013 11:54Gyorgy RethyNote Added: 0011497
10-07-2013 12:08Jacob Wieland - SpirentNote Deleted: 0011328
10-07-2013 12:08Jacob Wieland - SpirentAssigned ToJacob Wieland - Spirent => Ina Schieferdecker
11-07-2013 10:27Ina SchieferdeckerStatusassigned => resolved
11-07-2013 10:27Ina SchieferdeckerFixed in Version => v4.6.1 (published 2014-06)
11-07-2013 10:27Ina SchieferdeckerResolutionopen => fixed
11-07-2013 10:28Ina SchieferdeckerStatusresolved => closed

Notes
(0011497)
Gyorgy Rethy   
10-07-2013 11:54   
STF decision 2013-07-10: delete the sentence questioned by the CR.