Skip to content
Snippets Groups Projects
Commit 457a01ed authored by Adam Knapp's avatar Adam Knapp
Browse files

Test update according to bugfixes


Change-Id: I326314be1c581e088222ab825aba23bfd0eab75c
Signed-off-by: default avatarAdam Knapp <adam.knapp@sigmatechnology.se>
parent 5e2eb8ee
No related branches found
No related tags found
No related merge requests found
...@@ -998,6 +998,7 @@ error: at or before token `template': syntax error, unexpected TemplateKeyword, ...@@ -998,6 +998,7 @@ error: at or before token `template': syntax error, unexpected TemplateKeyword,
** @purpose 5.1.1.0, Ensure that passing of object references to the create operation of a component type or a function started on another component is not allowed. ** @purpose 5.1.1.0, Ensure that passing of object references to the create operation of a component type or a function started on another component is not allowed.
** @verdict pass reject ** @verdict pass reject
*****************************************************************/ *****************************************************************/
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=568744 - fixed
module NegSem_50101_top_level_004 "TTCN-3:2018 Object-Oriented" { module NegSem_50101_top_level_004 "TTCN-3:2018 Object-Oriented" {
type component GeneralComp { type component GeneralComp {
...@@ -1032,16 +1033,16 @@ module NegSem_50101_top_level_004 "TTCN-3:2018 Object-Oriented" { ...@@ -1032,16 +1033,16 @@ module NegSem_50101_top_level_004 "TTCN-3:2018 Object-Oriented" {
setverdict(pass); setverdict(pass);
} }
/* testcase TC_NegSem_50101_top_level_004_02() runs on GeneralComp { testcase TC_NegSem_50101_top_level_004_02() runs on GeneralComp {
var MyEmptyClass v_MyClass := MyEmptyClass.create(); var MyEmptyClass v_MyClass := MyEmptyClass.create();
var MyNotEmptyComponent v_MyComponent := MyNotEmptyComponent.create alive; var MyNotEmptyComponent v_MyComponent := MyNotEmptyComponent.create alive;
v_MyComponent.start(doSomething(v_MyClass)); //not allowed v_MyComponent.start(doSomething(v_MyClass)); //not allowed
setverdict(pass); setverdict(pass);
} }
*/
control { control {
execute(TC_NegSem_50101_top_level_004_01()); execute(TC_NegSem_50101_top_level_004_01());
// execute(TC_NegSem_50101_top_level_004_02()); execute(TC_NegSem_50101_top_level_004_02());
} }
} }
<END_MODULE> <END_MODULE>
......
...@@ -75,6 +75,7 @@ This TD contains negative OOP test modules from ETSI TTCN3 Conformance Test's 5 ...@@ -75,6 +75,7 @@ This TD contains negative OOP test modules from ETSI TTCN3 Conformance Test's 5
** @purpose 5.1.2.2, Ensure that Object References shall not be passed as actual parameter or part of an actual parameter. ** @purpose 5.1.2.2, Ensure that Object References shall not be passed as actual parameter or part of an actual parameter.
** @verdict pass reject ** @verdict pass reject
*****************************************************************/ *****************************************************************/
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=568748 - fixed
module NegSem_5010202_ObjectReferences_001 "TTCN-3:2018 Object-Oriented" { module NegSem_5010202_ObjectReferences_001 "TTCN-3:2018 Object-Oriented" {
type component GeneralComp { type component GeneralComp {
...@@ -99,7 +100,7 @@ module NegSem_5010202_ObjectReferences_001 "TTCN-3:2018 Object-Oriented" { ...@@ -99,7 +100,7 @@ module NegSem_5010202_ObjectReferences_001 "TTCN-3:2018 Object-Oriented" {
testcase TC_NegSem_5010202_ObjectReferences_001() runs on GeneralComp { testcase TC_NegSem_5010202_ObjectReferences_001() runs on GeneralComp {
var MyClass v_a := MyClass.create(7); var MyClass v_a := MyClass.create(7);
var GeneralComp v_MyGeneralComp := GeneralComp.create; var GeneralComp v_MyGeneralComp := GeneralComp.create;
v_MyGeneralComp.start(f_something(v_a)); //not allowed // C++ error is thrown v_MyGeneralComp.start(f_something(v_a)); //not allowed
if (v_a.getX() == 7) { if (v_a.getX() == 7) {
setverdict(pass); setverdict(pass);
} else { } else {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment