ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0000386 | Part 01: TTCN-3 Core Language | New Feature | public | 23-11-2006 14:24 | 12-03-2008 10:24

Reporter | Stephan Schulz |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | feature | Reproducibility | N/A
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v3.3.2 (published 2008-04) | Fixed in Version | v3.3.2 (published 2008-04) |
Clause Reference(s) | -
Source (company - Author) | Csaba Koppany, Ericsson

Summary | 0000386: isbound() function
Description | In many cases the declared variables are not initialized. Sometimes that is happen by mistake, or in same cases as a result of a decision. Normally it causing an error if an un-initialized variable is used. There is no mechanism in TTCN-3 to check if a variable has a value or it is unbound.
Steps To Reproduce |

Additional Information

Add a new predefine function:
C.XX The IsBound function
isbound (in any_type invalue) return boolean
This function returns the value true if and only if the referenced variable or field of a variable has a value assigned. The value false is returned if the referenced variable or field of a variable is un-initialized. The argument of isbound shall be a variable, or field of a variable.
EXAMPLE:
var charstring v_myString := ï¿½Helloï¿½;
:
if (isbound(v_myString))
{
log(v_myString)
}
else
{
log(ï¿½Donï¿½t know!ï¿½)
};

Tags | No tags attached.
Relationships |

Attached Files

STF_solution_CR386R3.doc (324,608) 19-10-2007 12:54
http://oldforge.etsi.org/mantis/file_download.php?file_id=1060&type=bug
STF_solution_CR386R4.doc (325,120) 05-12-2007 15:45
http://oldforge.etsi.org/mantis/file_download.php?file_id=1220&type=bug
STF_solution_CR386R5.doc (324,096) 05-12-2007 16:56
http://oldforge.etsi.org/mantis/file_download.php?file_id=1222&type=bug
STF_solution_CR386R6.doc (317,440) 05-12-2007 18:12
http://oldforge.etsi.org/mantis/file_download.php?file_id=1223&type=bug
STF_solution_CR386R7.doc (323,072) 06-12-2007 09:41
http://oldforge.etsi.org/mantis/file_download.php?file_id=1229&type=bug
STF_solution_CR386R8_JG_071206.doc (329,728) 06-12-2007 15:49
http://oldforge.etsi.org/mantis/file_download.php?file_id=1239&type=bug
STF_solution_CR386R8_JG_071206_a.doc (342,528) 06-12-2007 17:32
http://oldforge.etsi.org/mantis/file_download.php?file_id=1244&type=bug
STF_solution_CR386R9.doc (344,064) 06-12-2007 18:16
http://oldforge.etsi.org/mantis/file_download.php?file_id=1246&type=bug
STF_solution_CR386R10.doc (345,088) 07-12-2007 09:00
http://oldforge.etsi.org/mantis/file_download.php?file_id=1248&type=bug

Issue History
Date Modified | Username | Field | Change
23-11-2006 14:24 | Stephan Schulz | New Issue |
23-11-2006 14:24 | Stephan Schulz | Clause Reference(s) | => -
23-11-2006 14:24 | Stephan Schulz | Source (company - Author) | => Csaba Koppany, Ericsson
15-06-2007 19:19 | Stephan Schulz | Status | new => assigned
15-06-2007 19:19 | Stephan Schulz | Assigned To | => Ina Schieferdecker
13-10-2007 19:12 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
17-10-2007 16:20 | Ina Schieferdecker | Note Added: 0003673 |
18-10-2007 11:33 | Ina Schieferdecker | Target Version | => Edition 3.3.1 (not yet published)
18-10-2007 11:33 | Ina Schieferdecker | Additional Information Updated |
18-10-2007 14:20 | Gyorgy Rethy | File Added: STF_solution_CR386.doc |
18-10-2007 14:53 | Gyorgy Rethy | File Deleted: STF_solution_CR386.doc |
18-10-2007 14:55 | Gyorgy Rethy | File Added: STF_solution_CR386.doc |
18-10-2007 15:44 | Gyorgy Rethy | File Added: STF_solution_CR386R1.doc |
18-10-2007 19:30 | Gyorgy Rethy | File Deleted: STF_solution_CR386.doc |
19-10-2007 09:58 | Gyorgy Rethy | File Added: STF_solution_CR386R2.doc |
19-10-2007 09:58 | Gyorgy Rethy | File Deleted: STF_solution_CR386R1.doc |
19-10-2007 12:54 | Gyorgy Rethy | File Added: STF_solution_CR386R3.doc |
19-10-2007 12:55 | Gyorgy Rethy | File Deleted: STF_solution_CR386R2.doc |
19-10-2007 13:15 | Gyorgy Rethy | Resolution | open => fixed
03-12-2007 14:28 | Jens Grabowski | Assigned To | Gyorgy Rethy => Thomas DeiÃŸ
04-12-2007 18:05 | Thomas DeiÃŸ | Assigned To | Thomas DeiÃŸ => Gyorgy Rethy
05-12-2007 11:21 | Jens Grabowski | Note Added: 0004330 |
05-12-2007 15:45 | Gyorgy Rethy | File Added: STF_solution_CR386R4.doc |
05-12-2007 15:48 | Gyorgy Rethy | Note Added: 0004338 |
05-12-2007 15:52 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Thomas DeiÃŸ
05-12-2007 16:56 | Gyorgy Rethy | File Added: STF_solution_CR386R5.doc |
05-12-2007 16:58 | Gyorgy Rethy | Note Added: 0004347 |
05-12-2007 17:00 | Gyorgy Rethy | Note Edited: 0004347 |
05-12-2007 18:12 | Thomas DeiÃŸ | File Added: STF_solution_CR386R6.doc |
05-12-2007 18:14 | Thomas DeiÃŸ | Note Added: 0004353 |
05-12-2007 18:14 | Thomas DeiÃŸ | Assigned To | Thomas DeiÃŸ => Ina Schieferdecker
05-12-2007 18:14 | Thomas DeiÃŸ | Status | assigned => resolved
06-12-2007 09:22 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
06-12-2007 09:22 | Ina Schieferdecker | Status | resolved => feedback
06-12-2007 09:22 | Ina Schieferdecker | Resolution | fixed => reopened
06-12-2007 09:22 | Ina Schieferdecker | Note Added: 0004358 |
06-12-2007 09:41 | Ina Schieferdecker | File Added: STF_solution_CR386R7.doc |
06-12-2007 09:42 | Ina Schieferdecker | Assigned To | Gyorgy Rethy => Jens Grabowski
06-12-2007 09:42 | Ina Schieferdecker | Status | feedback => assigned
06-12-2007 15:49 | Jens Grabowski | File Added: STF_solution_CR386R8_JG_071206.doc |
06-12-2007 15:51 | Jens Grabowski | Note Added: 0004383 |
06-12-2007 15:52 | Jens Grabowski | Assigned To | Jens Grabowski => Thomas DeiÃŸ
06-12-2007 17:32 | Thomas DeiÃŸ | File Added: STF_solution_CR386R8_JG_071206_a.doc |
06-12-2007 17:33 | Thomas DeiÃŸ | Note Added: 0004399 |
06-12-2007 17:34 | Thomas DeiÃŸ | Assigned To | Thomas DeiÃŸ => Gyorgy Rethy
06-12-2007 18:16 | Gyorgy Rethy | File Added: STF_solution_CR386R9.doc |
06-12-2007 18:17 | Gyorgy Rethy | Note Added: 0004404 |
06-12-2007 18:19 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
06-12-2007 18:19 | Gyorgy Rethy | Status | assigned => resolved
07-12-2007 08:59 | Ina Schieferdecker | Status | resolved => feedback
07-12-2007 08:59 | Ina Schieferdecker | Note Added: 0004409 |
07-12-2007 09:00 | Ina Schieferdecker | File Added: STF_solution_CR386R10.doc |
07-12-2007 09:00 | Ina Schieferdecker | Status | feedback => resolved
07-12-2007 09:00 | Ina Schieferdecker | Resolution | reopened => fixed
07-12-2007 09:21 | Ina Schieferdecker | Status | resolved => closed
07-12-2007 09:21 | Ina Schieferdecker | Note Added: 0004411 |
07-12-2007 09:21 | Ina Schieferdecker | Fixed in Version | => Edition 3.3.1 (not yet published)
12-03-2008 10:22 | user10 | Fixed in Version | Edition 3.3.1 --will not be published, see 3.3.2 => Edition 3.3.2 (not yet published)
12-03-2008 10:24 | user10 | Target Version | Edition 3.3.1 --will not be published, see 3.3.2 => Edition 3.3.2 (not yet published)

Notes

(0003673)
Ina Schieferdecker
17-10-2007 16:20

to be extended for templates, define the meaning of "uninitialized"

(0004330)
Jens Grabowski
05-12-2007 11:21

A new CR will be written by Ina about the usage of uninitialized values.

(0004338)
Gyorgy Rethy
05-12-2007 15:48

text revised, isbound allows templates; no words "initialized", uninitialized" is used ny more in the description just in the examples.

(0004347)
Gyorgy Rethy
05-12-2007 16:58 (edited on: 05-12-2007 17:00)

In STF_solution_CR386R5: Thomas's comments reviewed but not all accepted. definitio of initialized reviewed and a new definition "completely initialized" is added. Descriptions of valueof and isbound are simplified by using the term completely initialized.

(0004353)
Thomas DeiÃŸ
05-12-2007 18:14

agreed with Gyorgy to change 'specific value' to 'concrete value'. The other changes (compared to version R5 of the solution) also agreed with Gyorgy.

(0004358)
Ina Schieferdecker
06-12-2007 09:22

The restriction in clause 7 is too strict - there are usages of partially initialized values e.g. in assignments to variables of record of types. Therefore, weakening this restriction is proposed for clause 7 - and the more strict restriction is required for operators only. It needs though to be checked if now all cases are handled properly.

(0004383)
Jens Grabowski
06-12-2007 15:51

Please check the text! If ok, close the CR and assign it to Ina for inclusion into the text.

(0004399)
Thomas DeiÃŸ
06-12-2007 17:33

examples corrected examples suitable for isbound, but not suitable isvalue removed. Corrected that omit is used for elements.

(0004404)
Gyorgy Rethy
06-12-2007 18:17

Editorials and changing in expressions: shall be al least partially initialized; deleting no matching expressions from valueof restrictions (specific values are also defined as matching mechanism)

(0004409)
Ina Schieferdecker
07-12-2007 08:59

"shall be" instead of "may be" in clause 7.

(0004411)
Ina Schieferdecker
07-12-2007 09:21

Some wording improved.