From: Adrien Kirjak Date: Tue, 31 May 2016 13:09:34 +0000 (+0200) Subject: Added test cases X-Git-Url: http://git.efficios.com/?p=deliverable%2Ftitan.core.git;a=commitdiff_plain;h=283a7cba72e123242eb3d99b62b1b4ec2ab16876 Added test cases Signed-off-by: Adrien Kirjak --- diff --git a/conformance_test/positive_tests/09_test_configurations/0901_communication_ports/Sem_0901_Communication_ports_009.ttcn b/conformance_test/positive_tests/09_test_configurations/0901_communication_ports/Sem_0901_Communication_ports_009.ttcn index d010e35..5400311 100755 --- a/conformance_test/positive_tests/09_test_configurations/0901_communication_ports/Sem_0901_Communication_ports_009.ttcn +++ b/conformance_test/positive_tests/09_test_configurations/0901_communication_ports/Sem_0901_Communication_ports_009.ttcn @@ -28,6 +28,8 @@ module Sem_0901_Communication_ports_009 { function checkConnected() runs on GeneralComp { + log("check"); + if(p.checkstate("Connected")) { setverdict(pass,"Connected"); } else { @@ -49,6 +51,7 @@ module Sem_0901_Communication_ports_009 { v_ptcB.start(checkConnected()); v_ptcC.start(checkConnected()); + all component.done; } control{ diff --git a/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_001_loopbackPort.cc b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_001_loopbackPort.cc new file mode 100644 index 0000000..7aaa9fa --- /dev/null +++ b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_001_loopbackPort.cc @@ -0,0 +1,77 @@ +// This Test Port skeleton source file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Complete the body of empty functions and +// add your member functions here. + +#include "Sem_0902_001_loopbackPort.hh" + +namespace Sem__0902__Communication__ports__001 { + +Sem__0902__001__loopbackPort::Sem__0902__001__loopbackPort(const char *par_port_name) + : Sem__0902__001__loopbackPort_BASE(par_port_name) +{ + +} + +Sem__0902__001__loopbackPort::~Sem__0902__001__loopbackPort() +{ + +} + +void Sem__0902__001__loopbackPort::set_parameter(const char * /*parameter_name*/, + const char * /*parameter_value*/) +{ + +} + +/*void Sem__0902__001__loopbackPort::Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error) {}*/ + +void Sem__0902__001__loopbackPort::Handle_Fd_Event_Error(int /*fd*/) +{ + +} + +void Sem__0902__001__loopbackPort::Handle_Fd_Event_Writable(int /*fd*/) +{ + +} + +void Sem__0902__001__loopbackPort::Handle_Fd_Event_Readable(int /*fd*/) +{ + +} + +/*void Sem__0902__001__loopbackPort::Handle_Timeout(double time_since_last_call) {}*/ + +void Sem__0902__001__loopbackPort::user_map(const char * /*system_port*/) +{ + +} + +void Sem__0902__001__loopbackPort::user_unmap(const char * /*system_port*/) +{ + +} + +void Sem__0902__001__loopbackPort::user_start() +{ + +} + +void Sem__0902__001__loopbackPort::user_stop() +{ + +} + +void Sem__0902__001__loopbackPort::outgoing_send(const INTEGER& send_par) +{ + incoming_message(send_par); +} + +} /* end of namespace */ + diff --git a/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_001_loopbackPort.hh b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_001_loopbackPort.hh new file mode 100644 index 0000000..757ca69 --- /dev/null +++ b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_001_loopbackPort.hh @@ -0,0 +1,44 @@ +// This Test Port skeleton header file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Add your attributes and prototypes of your +// member functions here. + +#ifndef Sem_0902_001_loopbackPort_HH +#define Sem_0902_001_loopbackPort_HH + +#include "Sem_0902_Communication_ports_001.hh" + +namespace Sem__0902__Communication__ports__001 { + +class Sem__0902__001__loopbackPort : public Sem__0902__001__loopbackPort_BASE { +public: + Sem__0902__001__loopbackPort(const char *par_port_name = NULL); + ~Sem__0902__001__loopbackPort(); + + void set_parameter(const char *parameter_name, + const char *parameter_value); + +private: + /* void Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error); */ + void Handle_Fd_Event_Error(int fd); + void Handle_Fd_Event_Writable(int fd); + void Handle_Fd_Event_Readable(int fd); + /* void Handle_Timeout(double time_since_last_call); */ +protected: + void user_map(const char *system_port); + void user_unmap(const char *system_port); + + void user_start(); + void user_stop(); + + void outgoing_send(const INTEGER& send_par); +}; + +} /* end of namespace */ + +#endif diff --git a/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_002_loopbackPort.cc b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_002_loopbackPort.cc new file mode 100644 index 0000000..290f148 --- /dev/null +++ b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_002_loopbackPort.cc @@ -0,0 +1,77 @@ +// This Test Port skeleton source file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Complete the body of empty functions and +// add your member functions here. + +#include "Sem_0902_002_loopbackPort.hh" + +namespace Sem__0902__Communication__ports__002 { + +Sem__0902__002__loopbackPort::Sem__0902__002__loopbackPort(const char *par_port_name) + : Sem__0902__002__loopbackPort_BASE(par_port_name) +{ + +} + +Sem__0902__002__loopbackPort::~Sem__0902__002__loopbackPort() +{ + +} + +void Sem__0902__002__loopbackPort::set_parameter(const char * /*parameter_name*/, + const char * /*parameter_value*/) +{ + +} + +/*void Sem__0902__002__loopbackPort::Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error) {}*/ + +void Sem__0902__002__loopbackPort::Handle_Fd_Event_Error(int /*fd*/) +{ + +} + +void Sem__0902__002__loopbackPort::Handle_Fd_Event_Writable(int /*fd*/) +{ + +} + +void Sem__0902__002__loopbackPort::Handle_Fd_Event_Readable(int /*fd*/) +{ + +} + +/*void Sem__0902__002__loopbackPort::Handle_Timeout(double time_since_last_call) {}*/ + +void Sem__0902__002__loopbackPort::user_map(const char * /*system_port*/) +{ + +} + +void Sem__0902__002__loopbackPort::user_unmap(const char * /*system_port*/) +{ + +} + +void Sem__0902__002__loopbackPort::user_start() +{ + +} + +void Sem__0902__002__loopbackPort::user_stop() +{ + +} + +void Sem__0902__002__loopbackPort::outgoing_send(const INTEGER& send_par) +{ + incoming_message(send_par); +} + +} /* end of namespace */ + diff --git a/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_002_loopbackPort.hh b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_002_loopbackPort.hh new file mode 100644 index 0000000..ecbcf98 --- /dev/null +++ b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_002_loopbackPort.hh @@ -0,0 +1,44 @@ +// This Test Port skeleton header file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Add your attributes and prototypes of your +// member functions here. + +#ifndef Sem_0902_002_loopbackPort_HH +#define Sem_0902_002_loopbackPort_HH + +#include "Sem_0902_Communication_ports_002.hh" + +namespace Sem__0902__Communication__ports__002 { + +class Sem__0902__002__loopbackPort : public Sem__0902__002__loopbackPort_BASE { +public: + Sem__0902__002__loopbackPort(const char *par_port_name = NULL); + ~Sem__0902__002__loopbackPort(); + + void set_parameter(const char *parameter_name, + const char *parameter_value); + +private: + /* void Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error); */ + void Handle_Fd_Event_Error(int fd); + void Handle_Fd_Event_Writable(int fd); + void Handle_Fd_Event_Readable(int fd); + /* void Handle_Timeout(double time_since_last_call); */ +protected: + void user_map(const char *system_port); + void user_unmap(const char *system_port); + + void user_start(); + void user_stop(); + + void outgoing_send(const INTEGER& send_par); +}; + +} /* end of namespace */ + +#endif diff --git a/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_Communication_ports_001.ttcn b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_Communication_ports_001.ttcn index e3598d6..9eb3c4f 100644 --- a/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_Communication_ports_001.ttcn +++ b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_Communication_ports_001.ttcn @@ -16,18 +16,18 @@ // Mycompport A is mapped with a system interface module Sem_0902_Communication_ports_001{ - type port loopbackPort message { + type port Sem_0902_001_loopbackPort message { inout integer } type component GeneralComp { - port loopbackPort MycomportA + port Sem_0902_001_loopbackPort MycomportA } type component MyTestSystemInterface { - port loopbackPort messagePort + port Sem_0902_001_loopbackPort messagePort } // MyTestSystemInterface is the test system interface diff --git a/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_Communication_ports_002.ttcn b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_Communication_ports_002.ttcn index 5d030bc..e4567eb 100644 --- a/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_Communication_ports_002.ttcn +++ b/conformance_test/positive_tests/09_test_configurations/0902_test_system_interface/Sem_0902_Communication_ports_002.ttcn @@ -16,7 +16,7 @@ //Two ports are mapped to two system interface module Sem_0902_Communication_ports_002{ - type port loopbackPort1 message { + type port Sem_0902_002_loopbackPort message { inout integer } @@ -24,12 +24,12 @@ module Sem_0902_Communication_ports_002{ { var integer v_received1:=0; var integer v_received2:=0; - port loopbackPort1 myPortA,myPortB + port Sem_0902_002_loopbackPort myPortA,myPortB } type component MyTestSystemInterface { - port loopbackPort1 messagePortA,messagePortB + port Sem_0902_002_loopbackPort messagePortA,messagePortB } // MyTestSystemInterface is the test system interface diff --git a/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_003_loopbackPort.cc b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_003_loopbackPort.cc new file mode 100644 index 0000000..cfd7236 --- /dev/null +++ b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_003_loopbackPort.cc @@ -0,0 +1,77 @@ +// This Test Port skeleton source file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Complete the body of empty functions and +// add your member functions here. + +#include "Sem_160201_003_loopbackPort.hh" + +namespace Sem__160201__invoking__altsteps__003 { + +Sem__160201__003__loopbackPort::Sem__160201__003__loopbackPort(const char *par_port_name) + : Sem__160201__003__loopbackPort_BASE(par_port_name) +{ + +} + +Sem__160201__003__loopbackPort::~Sem__160201__003__loopbackPort() +{ + +} + +void Sem__160201__003__loopbackPort::set_parameter(const char * /*parameter_name*/, + const char * /*parameter_value*/) +{ + +} + +/*void Sem__160201__003__loopbackPort::Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error) {}*/ + +void Sem__160201__003__loopbackPort::Handle_Fd_Event_Error(int /*fd*/) +{ + +} + +void Sem__160201__003__loopbackPort::Handle_Fd_Event_Writable(int /*fd*/) +{ + +} + +void Sem__160201__003__loopbackPort::Handle_Fd_Event_Readable(int /*fd*/) +{ + +} + +/*void Sem__160201__003__loopbackPort::Handle_Timeout(double time_since_last_call) {}*/ + +void Sem__160201__003__loopbackPort::user_map(const char * /*system_port*/) +{ + +} + +void Sem__160201__003__loopbackPort::user_unmap(const char * /*system_port*/) +{ + +} + +void Sem__160201__003__loopbackPort::user_start() +{ + +} + +void Sem__160201__003__loopbackPort::user_stop() +{ + +} + +void Sem__160201__003__loopbackPort::outgoing_send(const INTEGER& send_par) +{ + incoming_message(send_par); +} + +} /* end of namespace */ + diff --git a/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_003_loopbackPort.hh b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_003_loopbackPort.hh new file mode 100644 index 0000000..d059879 --- /dev/null +++ b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_003_loopbackPort.hh @@ -0,0 +1,44 @@ +// This Test Port skeleton header file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Add your attributes and prototypes of your +// member functions here. + +#ifndef Sem_160201_003_loopbackPort_HH +#define Sem_160201_003_loopbackPort_HH + +#include "Sem_160201_invoking_altsteps_003.hh" + +namespace Sem__160201__invoking__altsteps__003 { + +class Sem__160201__003__loopbackPort : public Sem__160201__003__loopbackPort_BASE { +public: + Sem__160201__003__loopbackPort(const char *par_port_name = NULL); + ~Sem__160201__003__loopbackPort(); + + void set_parameter(const char *parameter_name, + const char *parameter_value); + +private: + /* void Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error); */ + void Handle_Fd_Event_Error(int fd); + void Handle_Fd_Event_Writable(int fd); + void Handle_Fd_Event_Readable(int fd); + /* void Handle_Timeout(double time_since_last_call); */ +protected: + void user_map(const char *system_port); + void user_unmap(const char *system_port); + + void user_start(); + void user_stop(); + + void outgoing_send(const INTEGER& send_par); +}; + +} /* end of namespace */ + +#endif diff --git a/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_004_loopbackPort.cc b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_004_loopbackPort.cc new file mode 100644 index 0000000..017eb07 --- /dev/null +++ b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_004_loopbackPort.cc @@ -0,0 +1,77 @@ +// This Test Port skeleton source file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Complete the body of empty functions and +// add your member functions here. + +#include "Sem_160201_004_loopbackPort.hh" + +namespace Sem__160201__invoking__altsteps__004 { + +Sem__160201__004__loopbackPort::Sem__160201__004__loopbackPort(const char *par_port_name) + : Sem__160201__004__loopbackPort_BASE(par_port_name) +{ + +} + +Sem__160201__004__loopbackPort::~Sem__160201__004__loopbackPort() +{ + +} + +void Sem__160201__004__loopbackPort::set_parameter(const char * /*parameter_name*/, + const char * /*parameter_value*/) +{ + +} + +/*void Sem__160201__004__loopbackPort::Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error) {}*/ + +void Sem__160201__004__loopbackPort::Handle_Fd_Event_Error(int /*fd*/) +{ + +} + +void Sem__160201__004__loopbackPort::Handle_Fd_Event_Writable(int /*fd*/) +{ + +} + +void Sem__160201__004__loopbackPort::Handle_Fd_Event_Readable(int /*fd*/) +{ + +} + +/*void Sem__160201__004__loopbackPort::Handle_Timeout(double time_since_last_call) {}*/ + +void Sem__160201__004__loopbackPort::user_map(const char * /*system_port*/) +{ + +} + +void Sem__160201__004__loopbackPort::user_unmap(const char * /*system_port*/) +{ + +} + +void Sem__160201__004__loopbackPort::user_start() +{ + +} + +void Sem__160201__004__loopbackPort::user_stop() +{ + +} + +void Sem__160201__004__loopbackPort::outgoing_send(const INTEGER& send_par) +{ + incoming_message(send_par); +} + +} /* end of namespace */ + diff --git a/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_004_loopbackPort.hh b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_004_loopbackPort.hh new file mode 100644 index 0000000..8e42f75 --- /dev/null +++ b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_004_loopbackPort.hh @@ -0,0 +1,44 @@ +// This Test Port skeleton header file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Add your attributes and prototypes of your +// member functions here. + +#ifndef Sem_160201_004_loopbackPort_HH +#define Sem_160201_004_loopbackPort_HH + +#include "Sem_160201_invoking_altsteps_004.hh" + +namespace Sem__160201__invoking__altsteps__004 { + +class Sem__160201__004__loopbackPort : public Sem__160201__004__loopbackPort_BASE { +public: + Sem__160201__004__loopbackPort(const char *par_port_name = NULL); + ~Sem__160201__004__loopbackPort(); + + void set_parameter(const char *parameter_name, + const char *parameter_value); + +private: + /* void Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error); */ + void Handle_Fd_Event_Error(int fd); + void Handle_Fd_Event_Writable(int fd); + void Handle_Fd_Event_Readable(int fd); + /* void Handle_Timeout(double time_since_last_call); */ +protected: + void user_map(const char *system_port); + void user_unmap(const char *system_port); + + void user_start(); + void user_stop(); + + void outgoing_send(const INTEGER& send_par); +}; + +} /* end of namespace */ + +#endif diff --git a/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_invoking_altsteps_003.ttcn b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_invoking_altsteps_003.ttcn index 903f2aa..9b8309b 100644 --- a/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_invoking_altsteps_003.ttcn +++ b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_invoking_altsteps_003.ttcn @@ -16,22 +16,18 @@ // Mycompport A is dynamically mapped module Sem_160201_invoking_altsteps_003{ - type port loopbackPort message { + type port Sem_160201_003_loopbackPort message { inout integer - } with {extension "internal"} - - type port IntegerOutputPortType message { - inout integer - } with {extension "internal"} + } type component GeneralComp { - port IntegerOutputPortType MycomportA + port Sem_160201_003_loopbackPort MycomportA } type component MyTestSystemInterface { - port loopbackPort messagePort + port Sem_160201_003_loopbackPort messagePort } altstep AltStep1() runs on GeneralComp { diff --git a/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_invoking_altsteps_004.ttcn b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_invoking_altsteps_004.ttcn index 3de332c..74da367 100644 --- a/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_invoking_altsteps_004.ttcn +++ b/conformance_test/positive_tests/16_functions_altsteps_testcases/1602_altsteps/160201_invoking_altsteps/Sem_160201_invoking_altsteps_004.ttcn @@ -16,23 +16,19 @@ // Mycompport A is dynamically mapped module Sem_160201_invoking_altsteps_004{ - type port loopbackPort message { + type port Sem_160201_004_loopbackPort message { inout integer - } with {extension "internal"} - - type port IntegerOutputPortType message { - inout integer - } with {extension "internal"} + } type component GeneralComp { timer tc_timer := 0.1; - port IntegerOutputPortType MycomportA + port Sem_160201_004_loopbackPort MycomportA } type component MyTestSystemInterface { - port loopbackPort messagePort + port Sem_160201_004_loopbackPort messagePort } altstep AltStep1() runs on GeneralComp { diff --git a/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_012_loopbackPort.cc b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_012_loopbackPort.cc new file mode 100644 index 0000000..10e24e7 --- /dev/null +++ b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_012_loopbackPort.cc @@ -0,0 +1,77 @@ +// This Test Port skeleton source file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Complete the body of empty functions and +// add your member functions here. + +#include "Sem_2002_012_loopbackPort.hh" + +namespace Sem__2002__TheAltStatement__012 { + +Sem__2002__012__loopbackPort::Sem__2002__012__loopbackPort(const char *par_port_name) + : Sem__2002__012__loopbackPort_BASE(par_port_name) +{ + +} + +Sem__2002__012__loopbackPort::~Sem__2002__012__loopbackPort() +{ + +} + +void Sem__2002__012__loopbackPort::set_parameter(const char * /*parameter_name*/, + const char * /*parameter_value*/) +{ + +} + +/*void Sem__2002__012__loopbackPort::Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error) {}*/ + +void Sem__2002__012__loopbackPort::Handle_Fd_Event_Error(int /*fd*/) +{ + +} + +void Sem__2002__012__loopbackPort::Handle_Fd_Event_Writable(int /*fd*/) +{ + +} + +void Sem__2002__012__loopbackPort::Handle_Fd_Event_Readable(int /*fd*/) +{ + +} + +/*void Sem__2002__012__loopbackPort::Handle_Timeout(double time_since_last_call) {}*/ + +void Sem__2002__012__loopbackPort::user_map(const char * /*system_port*/) +{ + +} + +void Sem__2002__012__loopbackPort::user_unmap(const char * /*system_port*/) +{ + +} + +void Sem__2002__012__loopbackPort::user_start() +{ + +} + +void Sem__2002__012__loopbackPort::user_stop() +{ + +} + +void Sem__2002__012__loopbackPort::outgoing_send(const INTEGER& send_par) +{ + incoming_message(send_par); +} + +} /* end of namespace */ + diff --git a/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_012_loopbackPort.hh b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_012_loopbackPort.hh new file mode 100644 index 0000000..3cc61fe --- /dev/null +++ b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_012_loopbackPort.hh @@ -0,0 +1,44 @@ +// This Test Port skeleton header file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Add your attributes and prototypes of your +// member functions here. + +#ifndef Sem_2002_012_loopbackPort_HH +#define Sem_2002_012_loopbackPort_HH + +#include "Sem_2002_TheAltStatement_012.hh" + +namespace Sem__2002__TheAltStatement__012 { + +class Sem__2002__012__loopbackPort : public Sem__2002__012__loopbackPort_BASE { +public: + Sem__2002__012__loopbackPort(const char *par_port_name = NULL); + ~Sem__2002__012__loopbackPort(); + + void set_parameter(const char *parameter_name, + const char *parameter_value); + +private: + /* void Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error); */ + void Handle_Fd_Event_Error(int fd); + void Handle_Fd_Event_Writable(int fd); + void Handle_Fd_Event_Readable(int fd); + /* void Handle_Timeout(double time_since_last_call); */ +protected: + void user_map(const char *system_port); + void user_unmap(const char *system_port); + + void user_start(); + void user_stop(); + + void outgoing_send(const INTEGER& send_par); +}; + +} /* end of namespace */ + +#endif diff --git a/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_013_loopbackPort.cc b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_013_loopbackPort.cc new file mode 100644 index 0000000..535649a --- /dev/null +++ b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_013_loopbackPort.cc @@ -0,0 +1,77 @@ +// This Test Port skeleton source file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Complete the body of empty functions and +// add your member functions here. + +#include "Sem_2002_013_loopbackPort.hh" + +namespace Sem__2002__TheAltStatement__013 { + +Sem__2002__013__loopbackPort::Sem__2002__013__loopbackPort(const char *par_port_name) + : Sem__2002__013__loopbackPort_BASE(par_port_name) +{ + +} + +Sem__2002__013__loopbackPort::~Sem__2002__013__loopbackPort() +{ + +} + +void Sem__2002__013__loopbackPort::set_parameter(const char * /*parameter_name*/, + const char * /*parameter_value*/) +{ + +} + +/*void Sem__2002__013__loopbackPort::Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error) {}*/ + +void Sem__2002__013__loopbackPort::Handle_Fd_Event_Error(int /*fd*/) +{ + +} + +void Sem__2002__013__loopbackPort::Handle_Fd_Event_Writable(int /*fd*/) +{ + +} + +void Sem__2002__013__loopbackPort::Handle_Fd_Event_Readable(int /*fd*/) +{ + +} + +/*void Sem__2002__013__loopbackPort::Handle_Timeout(double time_since_last_call) {}*/ + +void Sem__2002__013__loopbackPort::user_map(const char * /*system_port*/) +{ + +} + +void Sem__2002__013__loopbackPort::user_unmap(const char * /*system_port*/) +{ + +} + +void Sem__2002__013__loopbackPort::user_start() +{ + +} + +void Sem__2002__013__loopbackPort::user_stop() +{ + +} + +void Sem__2002__013__loopbackPort::outgoing_send(const INTEGER& send_par) +{ + incoming_message(send_par); +} + +} /* end of namespace */ + diff --git a/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_013_loopbackPort.hh b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_013_loopbackPort.hh new file mode 100644 index 0000000..f540681 --- /dev/null +++ b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_013_loopbackPort.hh @@ -0,0 +1,44 @@ +// This Test Port skeleton header file was generated by the +// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4D +// for eadrkir (eadrkir@eadrkir-VirtualBox) on Mon Apr 18 14:18:01 2016 + +// Copyright (c) 2000-2015 Ericsson Telecom AB + +// You may modify this file. Add your attributes and prototypes of your +// member functions here. + +#ifndef Sem_2002_013_loopbackPort_HH +#define Sem_2002_013_loopbackPort_HH + +#include "Sem_2002_TheAltStatement_013.hh" + +namespace Sem__2002__TheAltStatement__013 { + +class Sem__2002__013__loopbackPort : public Sem__2002__013__loopbackPort_BASE { +public: + Sem__2002__013__loopbackPort(const char *par_port_name = NULL); + ~Sem__2002__013__loopbackPort(); + + void set_parameter(const char *parameter_name, + const char *parameter_value); + +private: + /* void Handle_Fd_Event(int fd, boolean is_readable, + boolean is_writable, boolean is_error); */ + void Handle_Fd_Event_Error(int fd); + void Handle_Fd_Event_Writable(int fd); + void Handle_Fd_Event_Readable(int fd); + /* void Handle_Timeout(double time_since_last_call); */ +protected: + void user_map(const char *system_port); + void user_unmap(const char *system_port); + + void user_start(); + void user_stop(); + + void outgoing_send(const INTEGER& send_par); +}; + +} /* end of namespace */ + +#endif diff --git a/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_012.ttcn b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_012.ttcn index bd657d3..8b882b0 100644 --- a/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_012.ttcn +++ b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_012.ttcn @@ -16,22 +16,18 @@ // Mycompport A is dynamically mapped module Sem_2002_TheAltStatement_012{ - type port loopbackPort message { + type port Sem_2002_012_loopbackPort message { inout integer - } with {extension "internal"} - - type port IntegerOutputPortType message { - inout integer - } with {extension "internal"} + } type component GeneralComp { - port IntegerOutputPortType MycomportA + port Sem_2002_012_loopbackPort MycomportA } type component MyTestSystemInterface { - port loopbackPort messagePort + port Sem_2002_012_loopbackPort messagePort } // MyTestSystemInterface is the test system interface diff --git a/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_013.ttcn b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_013.ttcn index 5c34e2d..843a25e 100644 --- a/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_013.ttcn +++ b/conformance_test/positive_tests/20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_013.ttcn @@ -16,22 +16,18 @@ // Mycompport A is dynamically mapped module Sem_2002_TheAltStatement_013{ - type port loopbackPort message { + type port Sem_2002_013_loopbackPort message { inout integer - } with {extension "internal"} - - type port IntegerOutputPortType message { - inout integer - } with {extension "internal"} + } type component GeneralComp { - port IntegerOutputPortType MycomportA + port Sem_2002_013_loopbackPort MycomportA } type component MyTestSystemInterface { - port loopbackPort messagePort + port Sem_2002_013_loopbackPort messagePort } // MyTestSystemInterface is the test system interface diff --git a/conformance_test/positive_tests/C_predefined_functions/C06_Other_functions/C0602_The_testcasename_function/Sem_C0602_The_hostid_function_001.ttcn b/conformance_test/positive_tests/C_predefined_functions/C06_Other_functions/C0602_The_testcasename_function/Sem_C0602_The_hostid_function_001.ttcn index 7242232..e6ca667 100755 --- a/conformance_test/positive_tests/C_predefined_functions/C06_Other_functions/C0602_The_testcasename_function/Sem_C0602_The_hostid_function_001.ttcn +++ b/conformance_test/positive_tests/C_predefined_functions/C06_Other_functions/C0602_The_testcasename_function/Sem_C0602_The_hostid_function_001.ttcn @@ -33,14 +33,14 @@ module Sem_C0602_The_hostid_function_001 { var IPaddressV6 v_ipv6hostid; // in case of no ip address is given - if ((lengthof(hostid("IPv4")) == 0) or (lengthof(hostid("IPv6"))==0 )) { + if ((lengthof(hostid("Ipv4")) == 0) or (lengthof(hostid("Ipv6"))==0 )) { setverdict(pass, "No ip address on interface"); } else { - v_ipv4hostid := hostid("IPv4"); // check IPv4 address with subtyping + v_ipv4hostid := hostid("Ipv4"); // check IPv4 address with subtyping setverdict(pass, v_ipv4hostid); - v_ipv6hostid := hostid("IPv6"); // check IPv6 address with subtyping + v_ipv6hostid := hostid("Ipv6"); // check IPv6 address with subtyping setverdict(pass, v_ipv6hostid); } diff --git a/conformance_test/positive_tests/pos_conf_tests.cfg b/conformance_test/positive_tests/pos_conf_tests.cfg index 1e5fa92..5351c70 100644 --- a/conformance_test/positive_tests/pos_conf_tests.cfg +++ b/conformance_test/positive_tests/pos_conf_tests.cfg @@ -582,6 +582,12 @@ Sem_0901_Communication_ports_002.control Sem_0901_Communication_ports_003.control Sem_0901_Communication_ports_004.control Sem_0901_Communication_ports_005.control +Sem_0901_Communication_ports_006.control +Sem_0901_Communication_ports_007.control +Sem_0901_Communication_ports_008.control +Sem_0901_Communication_ports_009.control +Sem_0901_Communication_ports_010.control +Sem_0901_Communication_ports_011.control Sem_0902_Communication_ports_001.control Sem_0902_Communication_ports_002.control Sem_10_Constants_001.control @@ -768,6 +774,8 @@ Sem_1601_toplevel_002.control Sem_1601_toplevel_003.control Sem_160201_invoking_altsteps_001.control Sem_160201_invoking_altsteps_002.control +Sem_160201_invoking_altsteps_003.control +Sem_160201_invoking_altsteps_004.control Sem_1602_toplevel_001.control Sem_1901_assignments_001.control Sem_1901_assignments_002.control @@ -813,6 +821,8 @@ Sem_2002_TheAltStatement_008.control Sem_2002_TheAltStatement_009.control Sem_2002_TheAltStatement_010.control Sem_2002_TheAltStatement_011.control +Sem_2002_TheAltStatement_012.control +Sem_2002_TheAltStatement_013.control Sem_2002_TheAltStatement_014.control Sem_2003_the_repeat_statement_001.control Sem_2003_the_repeat_statement_003.control @@ -840,7 +850,15 @@ Sem_210101_connect_and_map_operations_001.control Sem_210101_connect_and_map_operations_002.control Sem_210101_connect_and_map_operations_003.control Sem_210101_connect_and_map_operations_004.control +Sem_210101_connect_and_map_operations_005.control +Sem_210101_connect_and_map_operations_006.control +Sem_210101_connect_and_map_operations_007.control +Sem_210101_connect_and_map_operations_008.control +Sem_210102_disconnect_and_unmap_operations_001.control Sem_210102_disconnect_and_unmap_operations_010.control +Sem_210102_disconnect_operation_002.control +Sem_210102_unmap_operation_001.control +Sem_210102_unmap_operation_002.control Sem_210301_CreateOperation_001.control Sem_210301_CreateOperation_002.control Sem_210301_CreateOperation_003.control @@ -1138,6 +1156,7 @@ Sem_B010503_match_n_times_005.control Sem_B010505_pattern_compatibility_001.control Sem_B0105_toplevel_001.control Sem_B0105_toplevel_002.control +Sem_C0602_The_hostid_function_001.control Sem_C0602_The_testcasename_function_001.control Sem_D01_macro_module_001.control Sem_D02_macro_file_001.control diff --git a/conformance_test/positive_tests/pos_conf_tests.tpd b/conformance_test/positive_tests/pos_conf_tests.tpd index 5313692..d55c2f9 100644 --- a/conformance_test/positive_tests/pos_conf_tests.tpd +++ b/conformance_test/positive_tests/pos_conf_tests.tpd @@ -1701,22 +1701,22 @@ - - - - - - + + + + + + - - - - - + + + + + @@ -2198,8 +2198,12 @@ - - + + + + + + @@ -2304,8 +2308,12 @@ - - + + + + + + @@ -2386,10 +2394,10 @@ - - - - + + + + @@ -2407,7 +2415,7 @@ - + @@ -2421,9 +2429,9 @@ - - - + + + @@ -3333,7 +3341,7 @@ - +