// This C++ source file was generated by the TTCN-3 compiler
// of the TTCN-3 Test Executor version CRL 113 200/6 R6A
// for Lénárd Nagy (elnrnag@elx78355y6x) on Thu Oct 24 10:29:40 2019

// Copyright (c) 2000-2019 Ericsson Telecom AB

// Do not edit this file unless you know what you are doing.

/* Including header files */

#include "Isotptest.hh"

namespace Isotptest {

/* Prototypes of static functions */

static void pre_init_module();
static void post_init_module();
static boolean init_comp_type(const char *component_type, boolean init_base_comps);
static boolean init_system_port(const char* component_type, const char* port_name);
static boolean start_ptc_function(const char *function_name, Text_Buf& function_arguments);
static void module_control_part();

/* Literal string constants */

static const unsigned char os_2_octets[] = { 0, 0, 0, 35 },
os_1_octets[] = { 0, 0, 0, 50 },
os_0_octets[] = { 0, 17, 34, 51, 68, 85, 102, 119, 136, 153 };
static const OCTETSTRING os_2(4, os_2_octets),
os_1(4, os_1_octets),
os_0(10, os_0_octets);
static const unsigned char module_checksum[] = { 0x67, 0xa6, 0x54, 0x50, 0xd9, 0x71, 0xec, 0xb2, 0x7e, 0x4d, 0x8e, 0xd0, 0x71, 0x0a, 0xa7, 0xff };

/* Global variable definitions */

static FLOAT const_c__guard;
const FLOAT& c__guard = const_c__guard;
// No XER for SocketCAN__open__socket__type
const TTCN_Typedescriptor_t SocketCAN__open__socket__type_descr_ = { "@Isotptest.SocketCAN_open_socket_type", NULL, NULL, NULL, NULL, &ENUMERATED_json_, NULL, NULL, TTCN_Typedescriptor_t::DONTCARE };
const XERdescriptor_t       SocketCAN__open__isotp__result_socket__id_xer_ = { {"socket_id>\n", "socket_id>\n"}, {11, 11}, 0 |FORM_UNQUALIFIED, WHITESPACE_PRESERVE,  NULL, &module_object, -1, 0, NULL, NULL, -1, XSD_NONE };
const TTCN_OERdescriptor_t SocketCAN__open__isotp__result_socket__id_oer_ = { -1, FALSE, -1, FALSE, 0, 0, NULL, 0, NULL };
const TTCN_Typedescriptor_t SocketCAN__open__isotp__result_socket__id_descr_ = { "@Isotptest.SocketCAN_open_isotp_result.socket_id", &INTEGER_ber_, &INTEGER_raw_, &INTEGER_text_, &SocketCAN__open__isotp__result_socket__id_xer_, &INTEGER_json_, &SocketCAN__open__isotp__result_socket__id_oer_, NULL, TTCN_Typedescriptor_t::DONTCARE };
// No XER for SocketCAN__open__isotp__result
const TTCN_Typedescriptor_t SocketCAN__open__isotp__result_descr_ = { "@Isotptest.SocketCAN_open_isotp_result", NULL, NULL, NULL, NULL, NULL, NULL, NULL, TTCN_Typedescriptor_t::DONTCARE };
const TTCN_Typedescriptor_t& MTC__CT_descr_ = COMPONENT_descr_;
const TTCN_Typedescriptor_t& PTC__isotp__CT_descr_ = COMPONENT_descr_;
SocketCAN__PortType::SocketCAN__PT PTC__isotp__CT_component_pt__socketCAN("pt_socketCAN");
TIMER PTC__isotp__CT_component_T0("T0", 2.0e-1);
TTCN_Module module_object("Isotptest", __DATE__, __TIME__, module_checksum, pre_init_module, NULL, 0U, 4294967295U, 4294967295U, 4294967295U, NULL, 0LU, 0, post_init_module, NULL, NULL, NULL, init_comp_type, init_system_port, start_ptc_function, module_control_part);

static const RuntimeVersionChecker ver_checker(  current_runtime_version.requires_major_version_6,
  current_runtime_version.requires_minor_version_6,
  current_runtime_version.requires_patch_level_0,  current_runtime_version.requires_runtime_1);

/* Member functions of C++ classes */

SocketCAN__open__socket__type::SocketCAN__open__socket__type()
{
enum_value = UNBOUND_VALUE;
}

SocketCAN__open__socket__type::SocketCAN__open__socket__type(int other_value)
{
if (!is_valid_enum(other_value)) TTCN_error("Initializing a variable of enumerated type @Isotptest.SocketCAN_open_socket_type with invalid numeric value %d.", other_value);
enum_value = (enum_type)other_value;
}

SocketCAN__open__socket__type::SocketCAN__open__socket__type(enum_type other_value)
{
enum_value = other_value;
}

SocketCAN__open__socket__type::SocketCAN__open__socket__type(const SocketCAN__open__socket__type& other_value)
: Base_Type()
{
if (other_value.enum_value == UNBOUND_VALUE) TTCN_error("Copying an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
enum_value = other_value.enum_value;
}

SocketCAN__open__socket__type& SocketCAN__open__socket__type::operator=(int other_value)
{
if (!is_valid_enum(other_value)) TTCN_error("Assigning unknown numeric value %d to a variable of enumerated type @Isotptest.SocketCAN_open_socket_type.", other_value);
enum_value = (enum_type)other_value;
return *this;
}

SocketCAN__open__socket__type& SocketCAN__open__socket__type::operator=(enum_type other_value)
{
enum_value = other_value;
return *this;
}

SocketCAN__open__socket__type& SocketCAN__open__socket__type::operator=(const SocketCAN__open__socket__type& other_value)
{
if (other_value.enum_value == UNBOUND_VALUE) TTCN_error("Assignment of an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
enum_value = other_value.enum_value;
return *this;
}

boolean SocketCAN__open__socket__type::operator==(enum_type other_value) const
{
if (enum_value == UNBOUND_VALUE) TTCN_error("The left operand of comparison is an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
return enum_value == other_value;
}

boolean SocketCAN__open__socket__type::operator==(const SocketCAN__open__socket__type& other_value) const
{
if (enum_value == UNBOUND_VALUE) TTCN_error("The left operand of comparison is an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
if (other_value.enum_value == UNBOUND_VALUE) TTCN_error("The right operand of comparison is an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
return enum_value == other_value.enum_value;
}

boolean SocketCAN__open__socket__type::operator<(enum_type other_value) const
{
if (enum_value == UNBOUND_VALUE) TTCN_error("The left operand of comparison is an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
return enum_value < other_value;
}

boolean SocketCAN__open__socket__type::operator<(const SocketCAN__open__socket__type& other_value) const
{
if (enum_value == UNBOUND_VALUE) TTCN_error("The left operand of comparison is an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
if (other_value.enum_value == UNBOUND_VALUE) TTCN_error("The right operand of comparison is an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
return enum_value < other_value.enum_value;
}

boolean SocketCAN__open__socket__type::operator>(enum_type other_value) const
{
if (enum_value == UNBOUND_VALUE) TTCN_error("The left operand of comparison is an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
return enum_value > other_value;
}

boolean SocketCAN__open__socket__type::operator>(const SocketCAN__open__socket__type& other_value) const
{
if (enum_value == UNBOUND_VALUE) TTCN_error("The left operand of comparison is an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
if (other_value.enum_value == UNBOUND_VALUE) TTCN_error("The right operand of comparison is an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
return enum_value > other_value.enum_value;
}

const char *SocketCAN__open__socket__type::enum_to_str(enum_type enum_par)
{
switch (enum_par) {
case OPEN__CAN__RAW: return "OPEN_CAN_RAW";
case OPEN__CAN__BCM: return "OPEN_CAN_BCM";
case OPEN__CAN__ISOTP: return "OPEN_CAN_ISOTP";
default: return "<unknown>";
}
}

SocketCAN__open__socket__type::enum_type SocketCAN__open__socket__type::str_to_enum(const char *str_par)
{
if (!strcmp(str_par, "OPEN_CAN_RAW")) return OPEN__CAN__RAW;
else if (!strcmp(str_par, "OPEN_CAN_BCM")) return OPEN__CAN__BCM;
else if (!strcmp(str_par, "OPEN_CAN_ISOTP")) return OPEN__CAN__ISOTP;
else return UNKNOWN_VALUE;
}

boolean SocketCAN__open__socket__type::is_valid_enum(int int_par)
{
switch (int_par) {
case 0:
case 1:
case 2:
return TRUE;
default:
return FALSE;
}
}

int SocketCAN__open__socket__type::enum2int(enum_type enum_par)
{
if (enum_par==UNBOUND_VALUE || enum_par==UNKNOWN_VALUE) TTCN_error("The argument of function enum2int() is an %s value of enumerated type @Isotptest.SocketCAN_open_socket_type.", enum_par==UNBOUND_VALUE?"unbound":"invalid");
return enum_par;
}

int SocketCAN__open__socket__type::enum2int(const SocketCAN__open__socket__type& enum_par)
{
if (enum_par.enum_value==UNBOUND_VALUE || enum_par.enum_value==UNKNOWN_VALUE) TTCN_error("The argument of function enum2int() is an %s value of enumerated type @Isotptest.SocketCAN_open_socket_type.", enum_par==UNBOUND_VALUE?"unbound":"invalid");
return enum_par.enum_value;
}

void SocketCAN__open__socket__type::int2enum(int int_val)
{
if (!is_valid_enum(int_val)) TTCN_error("Assigning invalid numeric value %d to a variable of enumerated type @Isotptest.SocketCAN_open_socket_type.", int_val);
enum_value = (enum_type)int_val;
}

SocketCAN__open__socket__type::operator SocketCAN__open__socket__type::enum_type() const
{
if (enum_value == UNBOUND_VALUE) TTCN_error("Using the value of an unbound variable of enumerated type @Isotptest.SocketCAN_open_socket_type.");
return enum_value;
}

void SocketCAN__open__socket__type::log() const
{
if (enum_value != UNBOUND_VALUE) TTCN_Logger::log_event_enum(enum_to_str(enum_value), enum_value);
else TTCN_Logger::log_event_unbound();
}

void SocketCAN__open__socket__type::set_param(Module_Param& param)
{
  param.basic_check(Module_Param::BC_VALUE, "enumerated value");
  if (param.get_type()!=Module_Param::MP_Enumerated) param.type_error("enumerated value", "@Isotptest.SocketCAN_open_socket_type");
  enum_value = str_to_enum(param.get_enumerated());
  if (!is_valid_enum(enum_value)) {
    param.error("Invalid enumerated value for type @Isotptest.SocketCAN_open_socket_type.");
  }
}

void SocketCAN__open__socket__type::encode_text(Text_Buf& text_buf) const
{
if (enum_value == UNBOUND_VALUE) TTCN_error("Text encoder: Encoding an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
text_buf.push_int(enum_value);
}

void SocketCAN__open__socket__type::decode_text(Text_Buf& text_buf)
{
enum_value = (enum_type)text_buf.pull_int().get_val();
if (!is_valid_enum(enum_value)) TTCN_error("Text decoder: Unknown numeric value %d was received for enumerated type @Isotptest.SocketCAN_open_socket_type.", enum_value);
}

void SocketCAN__open__socket__type_template::copy_template(const SocketCAN__open__socket__type_template& other_value)
{
set_selection(other_value);
switch (template_selection) {
case SPECIFIC_VALUE:
single_value = other_value.single_value;
break;
case OMIT_VALUE:
case ANY_VALUE:
case ANY_OR_OMIT:
break;
case VALUE_LIST:
case COMPLEMENTED_LIST:
value_list.n_values = other_value.value_list.n_values;
value_list.list_value = new SocketCAN__open__socket__type_template[value_list.n_values];
for (unsigned int list_count = 0; list_count < value_list.n_values; list_count++)
value_list.list_value[list_count].copy_template(other_value.value_list.list_value[list_count]);
break;
default:
TTCN_error("Copying an uninitialized/unsupported template of enumerated type @Isotptest.SocketCAN_open_socket_type.");
}
}

SocketCAN__open__socket__type_template::SocketCAN__open__socket__type_template()
{
}

SocketCAN__open__socket__type_template::SocketCAN__open__socket__type_template(template_sel other_value)
 : Base_Template(other_value)
{
check_single_selection(other_value);
}

SocketCAN__open__socket__type_template::SocketCAN__open__socket__type_template(int other_value)
 : Base_Template(SPECIFIC_VALUE)
{
if (!SocketCAN__open__socket__type::is_valid_enum(other_value)) TTCN_error("Initializing a template of enumerated type @Isotptest.SocketCAN_open_socket_type with unknown numeric value %d.", other_value);
single_value = (SocketCAN__open__socket__type::enum_type)other_value;
}

SocketCAN__open__socket__type_template::SocketCAN__open__socket__type_template(SocketCAN__open__socket__type::enum_type other_value)
 : Base_Template(SPECIFIC_VALUE)
{
single_value = other_value;
}

SocketCAN__open__socket__type_template::SocketCAN__open__socket__type_template(const SocketCAN__open__socket__type& other_value)
 : Base_Template(SPECIFIC_VALUE)
{
if (other_value.enum_value == SocketCAN__open__socket__type::UNBOUND_VALUE) TTCN_error("Creating a template from an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type.");
single_value = other_value.enum_value;
}

SocketCAN__open__socket__type_template::SocketCAN__open__socket__type_template(const OPTIONAL<SocketCAN__open__socket__type>& other_value)
{
switch (other_value.get_selection()) {
case OPTIONAL_PRESENT:
set_selection(SPECIFIC_VALUE);
single_value = (SocketCAN__open__socket__type::enum_type)(const SocketCAN__open__socket__type&)other_value;
break;
case OPTIONAL_OMIT:
set_selection(OMIT_VALUE);
break;
default:
TTCN_error("Creating a template of enumerated type @Isotptest.SocketCAN_open_socket_type from an unbound optional field.");
}
}

SocketCAN__open__socket__type_template::SocketCAN__open__socket__type_template(const SocketCAN__open__socket__type_template& other_value)
 : Base_Template()
{
copy_template(other_value);
}

SocketCAN__open__socket__type_template::~SocketCAN__open__socket__type_template()
{
clean_up();
}

boolean SocketCAN__open__socket__type_template::is_bound() const
{
if (template_selection == UNINITIALIZED_TEMPLATE && !is_ifpresent) return FALSE;
return TRUE;
}

boolean SocketCAN__open__socket__type_template::is_value() const
{
if (template_selection != SPECIFIC_VALUE || is_ifpresent) return FALSE;
return single_value != SocketCAN__open__socket__type::UNBOUND_VALUE;
}

void SocketCAN__open__socket__type_template::clean_up()
{
if (template_selection == VALUE_LIST || template_selection == COMPLEMENTED_LIST) delete [] value_list.list_value;
template_selection = UNINITIALIZED_TEMPLATE;
}

SocketCAN__open__socket__type_template& SocketCAN__open__socket__type_template::operator=(template_sel other_value)
{
check_single_selection(other_value);
clean_up();
set_selection(other_value);
return *this;
}

SocketCAN__open__socket__type_template& SocketCAN__open__socket__type_template::operator=(int other_value)
{
if (!SocketCAN__open__socket__type::is_valid_enum(other_value)) TTCN_warning("Assigning unknown numeric value %d to a template of enumerated type @Isotptest.SocketCAN_open_socket_type.", other_value);
clean_up();
set_selection(SPECIFIC_VALUE);
single_value = (SocketCAN__open__socket__type::enum_type)other_value;
return *this;
}

SocketCAN__open__socket__type_template& SocketCAN__open__socket__type_template::operator=(SocketCAN__open__socket__type::enum_type other_value)
{
clean_up();
set_selection(SPECIFIC_VALUE);
single_value = other_value;
return *this;
}

SocketCAN__open__socket__type_template& SocketCAN__open__socket__type_template::operator=(const SocketCAN__open__socket__type& other_value)
{
if (other_value.enum_value == SocketCAN__open__socket__type::UNBOUND_VALUE) TTCN_error("Assignment of an unbound value of enumerated type @Isotptest.SocketCAN_open_socket_type to a template.");
clean_up();
set_selection(SPECIFIC_VALUE);
single_value = other_value.enum_value;
return *this;
}

SocketCAN__open__socket__type_template& SocketCAN__open__socket__type_template::operator=(const OPTIONAL<SocketCAN__open__socket__type>& other_value)
{
clean_up();
switch (other_value.get_selection()) {
case OPTIONAL_PRESENT:
set_selection(SPECIFIC_VALUE);
single_value = (SocketCAN__open__socket__type::enum_type)(const SocketCAN__open__socket__type&)other_value;
break;
case OPTIONAL_OMIT:
set_selection(OMIT_VALUE);
break;
default:
TTCN_error("Assignment of an unbound optional field to a template of enumerated type @Isotptest.SocketCAN_open_socket_type.");
}
return *this;
}

SocketCAN__open__socket__type_template& SocketCAN__open__socket__type_template::operator=(const SocketCAN__open__socket__type_template& other_value)
{
if (&other_value != this) {
clean_up();
copy_template(other_value);
}
return *this;
}

boolean SocketCAN__open__socket__type_template::match(SocketCAN__open__socket__type::enum_type other_value, boolean) const
{
switch (template_selection) {
case SPECIFIC_VALUE:
return single_value == other_value;
case OMIT_VALUE:
return FALSE;
case ANY_VALUE:
case ANY_OR_OMIT:
return TRUE;
case VALUE_LIST:
case COMPLEMENTED_LIST:
for (unsigned int list_count = 0; list_count < value_list.n_values; list_count++)
if (value_list.list_value[list_count].match(other_value)) return template_selection == VALUE_LIST;
return template_selection == COMPLEMENTED_LIST;
default:
TTCN_error("Matching an uninitialized/unsupported template of enumerated type @Isotptest.SocketCAN_open_socket_type.");
}
return FALSE;
}

boolean SocketCAN__open__socket__type_template::match(const SocketCAN__open__socket__type& other_value, boolean) const
{
if (other_value.enum_value == SocketCAN__open__socket__type::UNBOUND_VALUE) TTCN_error("Matching a template of enumerated type @Isotptest.SocketCAN_open_socket_type with an unbound value.");
return match(other_value.enum_value);
}

SocketCAN__open__socket__type::enum_type SocketCAN__open__socket__type_template::valueof() const
{
if (template_selection != SPECIFIC_VALUE || is_ifpresent) TTCN_error("Performing a valueof or send operation on a non-specific template of enumerated type @Isotptest.SocketCAN_open_socket_type.");
return single_value;
}

void SocketCAN__open__socket__type_template::set_type(template_sel template_type, unsigned int list_length)
{
if (template_type != VALUE_LIST && template_type != COMPLEMENTED_LIST) TTCN_error("Setting an invalid list type for a template of enumerated type @Isotptest.SocketCAN_open_socket_type.");
clean_up();
set_selection(template_type);
value_list.n_values = list_length;
value_list.list_value = new SocketCAN__open__socket__type_template[list_length];
}

SocketCAN__open__socket__type_template& SocketCAN__open__socket__type_template::list_item(unsigned int list_index)
{
if (template_selection != VALUE_LIST && template_selection != COMPLEMENTED_LIST) TTCN_error("Accessing a list element in a non-list template of enumerated type @Isotptest.SocketCAN_open_socket_type.");
if (list_index >= value_list.n_values) TTCN_error("Index overflow in a value list template of enumerated type @Isotptest.SocketCAN_open_socket_type.");
return value_list.list_value[list_index];
}

void SocketCAN__open__socket__type_template::log() const
{
switch (template_selection) {
case SPECIFIC_VALUE:
TTCN_Logger::log_event_enum(SocketCAN__open__socket__type::enum_to_str(single_value), single_value);
break;
case COMPLEMENTED_LIST:
TTCN_Logger::log_event_str("complement");
case VALUE_LIST:
TTCN_Logger::log_char('(');
for (unsigned int elem_count = 0; elem_count < value_list.n_values; elem_count++) {
if (elem_count > 0) TTCN_Logger::log_event_str(", ");
value_list.list_value[elem_count].log();
}
TTCN_Logger::log_char(')');
break;
default:
log_generic();
}
log_ifpresent();
}

void SocketCAN__open__socket__type_template::log_match(const SocketCAN__open__socket__type& match_value, boolean) const
{
match_value.log();
TTCN_Logger::log_event_str(" with ");
log();
if (match(match_value)) TTCN_Logger::log_event_str(" matched");
else TTCN_Logger::log_event_str(" unmatched");
}

void SocketCAN__open__socket__type_template::encode_text(Text_Buf& text_buf) const
{
encode_text_base(text_buf);
switch (template_selection) {
case SPECIFIC_VALUE:
text_buf.push_int(single_value);
case OMIT_VALUE:
case ANY_VALUE:
case ANY_OR_OMIT:
break;
case VALUE_LIST:
case COMPLEMENTED_LIST:
text_buf.push_int(value_list.n_values);
for (unsigned int elem_count = 0; elem_count < value_list.n_values; elem_count++)
value_list.list_value[elem_count].encode_text(text_buf);
break;
default:
TTCN_error("Text encoder: Encoding an uninitialized/unsupported template of enumerated type @Isotptest.SocketCAN_open_socket_type.");
}
}

void SocketCAN__open__socket__type_template::decode_text(Text_Buf& text_buf)
{
clean_up();
decode_text_base(text_buf);
switch (template_selection) {
case SPECIFIC_VALUE:
single_value = (SocketCAN__open__socket__type::enum_type)text_buf.pull_int().get_val();
if (!SocketCAN__open__socket__type::is_valid_enum(single_value)) TTCN_error("Text decoder: Unknown numeric value %d was received for a template of enumerated type @Isotptest.SocketCAN_open_socket_type.", single_value);
case OMIT_VALUE:
case ANY_VALUE:
case ANY_OR_OMIT:
break;
case VALUE_LIST:
case COMPLEMENTED_LIST:
value_list.n_values = text_buf.pull_int().get_val();
value_list.list_value = new SocketCAN__open__socket__type_template[value_list.n_values];
for (unsigned int elem_count = 0; elem_count < value_list.n_values; elem_count++)
value_list.list_value[elem_count].decode_text(text_buf);
break;
default:
TTCN_error("Text decoder: An unknown/unsupported selection was received for a template of enumerated type @Isotptest.SocketCAN_open_socket_type.");
}
}

boolean SocketCAN__open__socket__type_template::is_present(boolean legacy) const
{
if (template_selection==UNINITIALIZED_TEMPLATE) return FALSE;
return !match_omit(legacy);
}

boolean SocketCAN__open__socket__type_template::match_omit(boolean legacy) const
{
if (is_ifpresent) return TRUE;
switch (template_selection) {
case OMIT_VALUE:
case ANY_OR_OMIT:
return TRUE;
case VALUE_LIST:
case COMPLEMENTED_LIST:
if (legacy) {
for (unsigned int i=0; i<value_list.n_values; i++)
if (value_list.list_value[i].match_omit())
return template_selection==VALUE_LIST;
return template_selection==COMPLEMENTED_LIST;
} // else fall through
default:
return FALSE;
}
return FALSE;
}

void SocketCAN__open__socket__type_template::set_param(Module_Param& param)
{
  param.basic_check(Module_Param::BC_TEMPLATE, "enumerated template");
  Module_Param_Ptr m_p = &param;
  switch (m_p->get_type()) {
  case Module_Param::MP_Omit:
    *this = OMIT_VALUE;
    break;
  case Module_Param::MP_Any:
    *this = ANY_VALUE;
    break;
  case Module_Param::MP_AnyOrNone:
    *this = ANY_OR_OMIT;
    break;
  case Module_Param::MP_List_Template:
  case Module_Param::MP_ComplementList_Template: {
    SocketCAN__open__socket__type_template new_temp;
    new_temp.set_type(m_p->get_type()==Module_Param::MP_List_Template ? VALUE_LIST : COMPLEMENTED_LIST, m_p->get_size());
    for (size_t p_i=0; p_i<m_p->get_size(); p_i++) {
      new_temp.list_item(p_i).set_param(*m_p->get_elem(p_i));
    }
    *this = new_temp;
    break; }
  case Module_Param::MP_Enumerated: {
    SocketCAN__open__socket__type::enum_type enum_val = SocketCAN__open__socket__type::str_to_enum(m_p->get_enumerated());
    if (!SocketCAN__open__socket__type::is_valid_enum(enum_val)) {
      param.error("Invalid enumerated value for type @Isotptest.SocketCAN_open_socket_type.");
    }
    *this = enum_val;
  } break;
  default:
    param.type_error("enumerated template", "@Isotptest.SocketCAN_open_socket_type");
  }
  is_ifpresent = param.get_ifpresent();
}

void SocketCAN__open__socket__type_template::check_restriction(template_res t_res, const char* t_name,
boolean legacy) const
{
if (template_selection==UNINITIALIZED_TEMPLATE) return;
switch ((t_name&&(t_res==TR_VALUE))?TR_OMIT:t_res) {
case TR_VALUE:
if (!is_ifpresent && template_selection==SPECIFIC_VALUE) return;
break;
case TR_OMIT:
if (!is_ifpresent && (template_selection==OMIT_VALUE || template_selection==SPECIFIC_VALUE)) return;
break;
case TR_PRESENT:
if (!match_omit(legacy)) return;
break;
default:
return;
}
TTCN_error("Restriction `%s' on template of type %s violated.", get_res_name(t_res), t_name ? t_name : "@Isotptest.SocketCAN_open_socket_type");
}

SocketCAN__open__isotp__result::SocketCAN__open__isotp__result()
{
}

SocketCAN__open__isotp__result::SocketCAN__open__isotp__result(const SocketCAN__Types::SocketCAN__ifr& par_ifr,
    const INTEGER& par_socket__id)
  :   field_ifr(par_ifr),
  field_socket__id(par_socket__id)
{
}

SocketCAN__open__isotp__result::SocketCAN__open__isotp__result(const SocketCAN__open__isotp__result& other_value)
{
if(!other_value.is_bound()) TTCN_error("Copying an unbound value of type @Isotptest.SocketCAN_open_isotp_result.");
if (other_value.ifr().is_bound()) field_ifr = other_value.ifr();
else field_ifr.clean_up();
if (other_value.socket__id().is_bound()) field_socket__id = other_value.socket__id();
else field_socket__id.clean_up();
}

void SocketCAN__open__isotp__result::clean_up()
{
field_ifr.clean_up();
field_socket__id.clean_up();
}

const TTCN_Typedescriptor_t* SocketCAN__open__isotp__result::get_descriptor() const { return &SocketCAN__open__isotp__result_descr_; }
SocketCAN__open__isotp__result& SocketCAN__open__isotp__result::operator=(const SocketCAN__open__isotp__result& other_value)
{
if (this != &other_value) {
  if(!other_value.is_bound()) TTCN_error("Assignment of an unbound value of type @Isotptest.SocketCAN_open_isotp_result.");
  if (other_value.ifr().is_bound()) field_ifr = other_value.ifr();
  else field_ifr.clean_up();
  if (other_value.socket__id().is_bound()) field_socket__id = other_value.socket__id();
  else field_socket__id.clean_up();
}
return *this;
}

boolean SocketCAN__open__isotp__result::operator==(const SocketCAN__open__isotp__result& other_value) const
{
return field_ifr==other_value.field_ifr
  && field_socket__id==other_value.field_socket__id;
}

boolean SocketCAN__open__isotp__result::is_bound() const
{
return (field_ifr.is_bound())
  || (field_socket__id.is_bound());
}
boolean SocketCAN__open__isotp__result::is_value() const
{
return field_ifr.is_value()
  && field_socket__id.is_value();
}
void SocketCAN__open__isotp__result::log() const
{
if (!is_bound()) {
TTCN_Logger::log_event_unbound();
return;
}
TTCN_Logger::log_event_str("{ ifr := ");
field_ifr.log();
TTCN_Logger::log_event_str(", socket_id := ");
field_socket__id.log();
TTCN_Logger::log_event_str(" }");
}

void SocketCAN__open__isotp__result::set_param(Module_Param& param)
{
  param.basic_check(Module_Param::BC_VALUE, "record value");
  switch (param.get_type()) {
  case Module_Param::MP_Value_List:
    if (2<param.get_size()) {
      param.error("record value of type @Isotptest.SocketCAN_open_isotp_result has 2 fields but list value has %d fields", (int)param.get_size());
    }
    if (param.get_size()>0 && param.get_elem(0)->get_type()!=Module_Param::MP_NotUsed) ifr().set_param(*param.get_elem(0));
    if (param.get_size()>1 && param.get_elem(1)->get_type()!=Module_Param::MP_NotUsed) socket__id().set_param(*param.get_elem(1));
    break;
  case Module_Param::MP_Assignment_List: {
    Vector<bool> value_used(param.get_size());
    value_used.resize(param.get_size(), FALSE);
    for (size_t val_idx=0; val_idx<param.get_size(); val_idx++) {
      Module_Param* const curr_param = param.get_elem(val_idx);
      if (!strcmp(curr_param->get_id()->get_name(), "ifr")) {
        if (curr_param->get_type()!=Module_Param::MP_NotUsed) {
          ifr().set_param(*curr_param);
        }
        value_used[val_idx]=TRUE;
      }
    }
    for (size_t val_idx=0; val_idx<param.get_size(); val_idx++) {
      Module_Param* const curr_param = param.get_elem(val_idx);
      if (!strcmp(curr_param->get_id()->get_name(), "socket_id")) {
        if (curr_param->get_type()!=Module_Param::MP_NotUsed) {
          socket__id().set_param(*curr_param);
        }
        value_used[val_idx]=TRUE;
      }
    }
    for (size_t val_idx=0; val_idx<param.get_size(); val_idx++) if (!value_used[val_idx]) {
      Module_Param* const curr_param = param.get_elem(val_idx);
      curr_param->error("Non existent field name in type @Isotptest.SocketCAN_open_isotp_result: %s", curr_param->get_id()->get_name());
      break;
    }
  } break;
  default:
    param.type_error("record value", "@Isotptest.SocketCAN_open_isotp_result");
  }
}

void SocketCAN__open__isotp__result::set_implicit_omit()
{
if (ifr().is_bound()) ifr().set_implicit_omit();
if (socket__id().is_bound()) socket__id().set_implicit_omit();
}

void SocketCAN__open__isotp__result::encode_text(Text_Buf& text_buf) const
{
field_ifr.encode_text(text_buf);
field_socket__id.encode_text(text_buf);
}

void SocketCAN__open__isotp__result::decode_text(Text_Buf& text_buf)
{
field_ifr.decode_text(text_buf);
field_socket__id.decode_text(text_buf);
}

struct SocketCAN__open__isotp__result_template::single_value_struct {
SocketCAN__Types::SocketCAN__ifr_template field_ifr;
INTEGER_template field_socket__id;
};

void SocketCAN__open__isotp__result_template::set_specific()
{
if (template_selection != SPECIFIC_VALUE) {
template_sel old_selection = template_selection;
clean_up();
single_value = new single_value_struct;
set_selection(SPECIFIC_VALUE);
if (old_selection == ANY_VALUE || old_selection == ANY_OR_OMIT) {
single_value->field_ifr = ANY_VALUE;
single_value->field_socket__id = ANY_VALUE;
}
}
}

void SocketCAN__open__isotp__result_template::copy_value(const SocketCAN__open__isotp__result& other_value)
{
single_value = new single_value_struct;
if (other_value.ifr().is_bound()) {
  single_value->field_ifr = other_value.ifr();
} else {
  single_value->field_ifr.clean_up();
}
if (other_value.socket__id().is_bound()) {
  single_value->field_socket__id = other_value.socket__id();
} else {
  single_value->field_socket__id.clean_up();
}
set_selection(SPECIFIC_VALUE);
}

void SocketCAN__open__isotp__result_template::copy_template(const SocketCAN__open__isotp__result_template& other_value)
{
switch (other_value.template_selection) {
case SPECIFIC_VALUE:
single_value = new single_value_struct;
if (UNINITIALIZED_TEMPLATE != other_value.ifr().get_selection()) {
single_value->field_ifr = other_value.ifr();
} else {
single_value->field_ifr.clean_up();
}
if (UNINITIALIZED_TEMPLATE != other_value.socket__id().get_selection()) {
single_value->field_socket__id = other_value.socket__id();
} else {
single_value->field_socket__id.clean_up();
}
case OMIT_VALUE:
case ANY_VALUE:
case ANY_OR_OMIT:
break;
case VALUE_LIST:
case COMPLEMENTED_LIST:
value_list.n_values = other_value.value_list.n_values;
value_list.list_value = new SocketCAN__open__isotp__result_template[value_list.n_values];
for (unsigned int list_count = 0; list_count < value_list.n_values; list_count++)
value_list.list_value[list_count].copy_template(other_value.value_list.list_value[list_count]);
break;
default:
TTCN_error("Copying an uninitialized/unsupported template of type @Isotptest.SocketCAN_open_isotp_result.");
break;
}
set_selection(other_value);
}

SocketCAN__open__isotp__result_template::SocketCAN__open__isotp__result_template()
{
}

SocketCAN__open__isotp__result_template::SocketCAN__open__isotp__result_template(template_sel other_value)
 : Base_Template(other_value)
{
check_single_selection(other_value);
}

SocketCAN__open__isotp__result_template::SocketCAN__open__isotp__result_template(const SocketCAN__open__isotp__result& other_value)
{
copy_value(other_value);
}

SocketCAN__open__isotp__result_template::SocketCAN__open__isotp__result_template(const OPTIONAL<SocketCAN__open__isotp__result>& other_value)
{
switch (other_value.get_selection()) {
case OPTIONAL_PRESENT:
copy_value((const SocketCAN__open__isotp__result&)other_value);
break;
case OPTIONAL_OMIT:
set_selection(OMIT_VALUE);
break;
default:
TTCN_error("Creating a template of type @Isotptest.SocketCAN_open_isotp_result from an unbound optional field.");
}
}

SocketCAN__open__isotp__result_template::SocketCAN__open__isotp__result_template(const SocketCAN__open__isotp__result_template& other_value)
: Base_Template()
{
copy_template(other_value);
}

SocketCAN__open__isotp__result_template::~SocketCAN__open__isotp__result_template()
{
clean_up();
}

SocketCAN__open__isotp__result_template& SocketCAN__open__isotp__result_template::operator=(template_sel other_value)
{
check_single_selection(other_value);
clean_up();
set_selection(other_value);
return *this;
}

SocketCAN__open__isotp__result_template& SocketCAN__open__isotp__result_template::operator=(const SocketCAN__open__isotp__result& other_value)
{
clean_up();
copy_value(other_value);
return *this;
}

SocketCAN__open__isotp__result_template& SocketCAN__open__isotp__result_template::operator=(const OPTIONAL<SocketCAN__open__isotp__result>& other_value)
{
clean_up();
switch (other_value.get_selection()) {
case OPTIONAL_PRESENT:
copy_value((const SocketCAN__open__isotp__result&)other_value);
break;
case OPTIONAL_OMIT:
set_selection(OMIT_VALUE);
break;
default:
TTCN_error("Assignment of an unbound optional field to a template of type @Isotptest.SocketCAN_open_isotp_result.");
}
return *this;
}

SocketCAN__open__isotp__result_template& SocketCAN__open__isotp__result_template::operator=(const SocketCAN__open__isotp__result_template& other_value)
{
if (&other_value != this) {
clean_up();
copy_template(other_value);
}
return *this;
}

boolean SocketCAN__open__isotp__result_template::match(const SocketCAN__open__isotp__result& other_value, boolean legacy) const
{
if (!other_value.is_bound()) return FALSE;
switch (template_selection) {
case ANY_VALUE:
case ANY_OR_OMIT:
return TRUE;
case OMIT_VALUE:
return FALSE;
case SPECIFIC_VALUE:
if(!other_value.ifr().is_bound()) return FALSE;
if(!single_value->field_ifr.match(other_value.ifr(), legacy))return FALSE;
if(!other_value.socket__id().is_bound()) return FALSE;
if(!single_value->field_socket__id.match(other_value.socket__id(), legacy))return FALSE;
return TRUE;
case VALUE_LIST:
case COMPLEMENTED_LIST:
for (unsigned int list_count = 0; list_count < value_list.n_values; list_count++)
if (value_list.list_value[list_count].match(other_value, legacy)) return template_selection == VALUE_LIST;
return template_selection == COMPLEMENTED_LIST;
default:
TTCN_error("Matching an uninitialized/unsupported template of type @Isotptest.SocketCAN_open_isotp_result.");
}
return FALSE;
}

boolean SocketCAN__open__isotp__result_template::is_bound() const
{
if (template_selection == UNINITIALIZED_TEMPLATE && !is_ifpresent) return FALSE;
if (template_selection != SPECIFIC_VALUE) return TRUE;
return single_value->field_ifr.is_bound()

 ||single_value->field_socket__id.is_bound()
;
}

boolean SocketCAN__open__isotp__result_template::is_value() const
{
if (template_selection != SPECIFIC_VALUE || is_ifpresent) return FALSE;
return single_value->field_ifr.is_value()
 &&single_value->field_socket__id.is_value();
}

void SocketCAN__open__isotp__result_template::clean_up()
{
switch (template_selection) {
case SPECIFIC_VALUE:
delete single_value;
break;
case VALUE_LIST:
case COMPLEMENTED_LIST:
delete [] value_list.list_value;
default:
break;
}
template_selection = UNINITIALIZED_TEMPLATE;
}

SocketCAN__open__isotp__result SocketCAN__open__isotp__result_template::valueof() const
{
if (template_selection != SPECIFIC_VALUE || is_ifpresent)
TTCN_error("Performing a valueof or send operation on a non-specific template of type @Isotptest.SocketCAN_open_isotp_result.");
SocketCAN__open__isotp__result ret_val;
if (single_value->field_ifr.is_bound()) {
ret_val.ifr() = single_value->field_ifr.valueof();
}
if (single_value->field_socket__id.is_bound()) {
ret_val.socket__id() = single_value->field_socket__id.valueof();
}
return ret_val;
}

void SocketCAN__open__isotp__result_template::set_type(template_sel template_type, unsigned int list_length)
{
if (template_type != VALUE_LIST && template_type != COMPLEMENTED_LIST)
TTCN_error("Setting an invalid list for a template of type @Isotptest.SocketCAN_open_isotp_result.");
clean_up();
set_selection(template_type);
value_list.n_values = list_length;
value_list.list_value = new SocketCAN__open__isotp__result_template[list_length];
}

SocketCAN__open__isotp__result_template& SocketCAN__open__isotp__result_template::list_item(unsigned int list_index) const
{
if (template_selection != VALUE_LIST && template_selection != COMPLEMENTED_LIST)
TTCN_error("Accessing a list element of a non-list template of type @Isotptest.SocketCAN_open_isotp_result.");
if (list_index >= value_list.n_values)
TTCN_error("Index overflow in a value list template of type @Isotptest.SocketCAN_open_isotp_result.");
return value_list.list_value[list_index];
}

SocketCAN__Types::SocketCAN__ifr_template& SocketCAN__open__isotp__result_template::ifr()
{
set_specific();
return single_value->field_ifr;
}

const SocketCAN__Types::SocketCAN__ifr_template& SocketCAN__open__isotp__result_template::ifr() const
{
if (template_selection != SPECIFIC_VALUE)
TTCN_error("Accessing field ifr of a non-specific template of type @Isotptest.SocketCAN_open_isotp_result.");
return single_value->field_ifr;
}

INTEGER_template& SocketCAN__open__isotp__result_template::socket__id()
{
set_specific();
return single_value->field_socket__id;
}

const INTEGER_template& SocketCAN__open__isotp__result_template::socket__id() const
{
if (template_selection != SPECIFIC_VALUE)
TTCN_error("Accessing field socket_id of a non-specific template of type @Isotptest.SocketCAN_open_isotp_result.");
return single_value->field_socket__id;
}

int SocketCAN__open__isotp__result_template::size_of() const
{
  if (is_ifpresent) TTCN_error("Performing sizeof() operation on a template of type @Isotptest.SocketCAN_open_isotp_result which has an ifpresent attribute.");
  switch (template_selection)
  {
  case SPECIFIC_VALUE:
    return 2;
  case VALUE_LIST:
   {
     if (value_list.n_values<1)
       TTCN_error("Internal error: Performing sizeof() operation on a template of type @Isotptest.SocketCAN_open_isotp_result containing an empty list.");
      int item_size = value_list.list_value[0].size_of();
      for (unsigned int l_idx = 1; l_idx < value_list.n_values; l_idx++)
      {
        if (value_list.list_value[l_idx].size_of()!=item_size)
          TTCN_error("Performing sizeof() operation on a template of type @Isotptest.SocketCAN_open_isotp_result containing a value list with different sizes.");
      }
      return item_size;
    }
  case OMIT_VALUE:
    TTCN_error("Performing sizeof() operation on a template of type @Isotptest.SocketCAN_open_isotp_result containing omit value.");
  case ANY_VALUE:
  case ANY_OR_OMIT:
    TTCN_error("Performing sizeof() operation on a template of type @Isotptest.SocketCAN_open_isotp_result containing */? value.");
  case COMPLEMENTED_LIST:
    TTCN_error("Performing sizeof() operation on a template of type @Isotptest.SocketCAN_open_isotp_result containing complemented list.");
  default:
    TTCN_error("Performing sizeof() operation on an uninitialized/unsupported template of type @Isotptest.SocketCAN_open_isotp_result.");
  }
  return 0;
}

void SocketCAN__open__isotp__result_template::log() const
{
switch (template_selection) {
case SPECIFIC_VALUE:
TTCN_Logger::log_event_str("{ ifr := ");
single_value->field_ifr.log();
TTCN_Logger::log_event_str(", socket_id := ");
single_value->field_socket__id.log();
TTCN_Logger::log_event_str(" }");
break;
case COMPLEMENTED_LIST:
TTCN_Logger::log_event_str("complement");
case VALUE_LIST:
TTCN_Logger::log_char('(');
for (unsigned int list_count = 0; list_count < value_list.n_values; list_count++) {
if (list_count > 0) TTCN_Logger::log_event_str(", ");
value_list.list_value[list_count].log();
}
TTCN_Logger::log_char(')');
break;
default:
log_generic();
}
log_ifpresent();
}

void SocketCAN__open__isotp__result_template::log_match(const SocketCAN__open__isotp__result& match_value, boolean legacy) const
{
if(TTCN_Logger::VERBOSITY_COMPACT == TTCN_Logger::get_matching_verbosity()){
if(match(match_value, legacy)){
TTCN_Logger::print_logmatch_buffer();
TTCN_Logger::log_event_str(" matched");
} else{
if (template_selection == SPECIFIC_VALUE) {
size_t previous_size = TTCN_Logger::get_logmatch_buffer_len();
if(!single_value->field_ifr.match(match_value.ifr(), legacy)){
TTCN_Logger::log_logmatch_info(".ifr");
single_value->field_ifr.log_match(match_value.ifr(), legacy);
TTCN_Logger::set_logmatch_buffer_len(previous_size);
}
if(!single_value->field_socket__id.match(match_value.socket__id(), legacy)){
TTCN_Logger::log_logmatch_info(".socket_id");
single_value->field_socket__id.log_match(match_value.socket__id(), legacy);
TTCN_Logger::set_logmatch_buffer_len(previous_size);
}
}else {
TTCN_Logger::print_logmatch_buffer();
match_value.log();
TTCN_Logger::log_event_str(" with ");
log();
TTCN_Logger::log_event_str(" unmatched");
}
}
return;
}
if (template_selection == SPECIFIC_VALUE) {
TTCN_Logger::log_event_str("{ ifr := ");
single_value->field_ifr.log_match(match_value.ifr(), legacy);
TTCN_Logger::log_event_str(", socket_id := ");
single_value->field_socket__id.log_match(match_value.socket__id(), legacy);
TTCN_Logger::log_event_str(" }");
} else {
match_value.log();
TTCN_Logger::log_event_str(" with ");
log();
if (match(match_value, legacy)) TTCN_Logger::log_event_str(" matched");
else TTCN_Logger::log_event_str(" unmatched");
}
}

void SocketCAN__open__isotp__result_template::encode_text(Text_Buf& text_buf) const
{
encode_text_base(text_buf);
switch (template_selection) {
case SPECIFIC_VALUE:
single_value->field_ifr.encode_text(text_buf);
single_value->field_socket__id.encode_text(text_buf);
case OMIT_VALUE:
case ANY_VALUE:
case ANY_OR_OMIT:
break;
case VALUE_LIST:
case COMPLEMENTED_LIST:
text_buf.push_int(value_list.n_values);
for (unsigned int list_count = 0; list_count < value_list.n_values; list_count++)
value_list.list_value[list_count].encode_text(text_buf);
break;
default:
TTCN_error("Text encoder: Encoding an uninitialized/unsupported template of type @Isotptest.SocketCAN_open_isotp_result.");
}
}

void SocketCAN__open__isotp__result_template::decode_text(Text_Buf& text_buf)
{
clean_up();
decode_text_base(text_buf);
switch (template_selection) {
case SPECIFIC_VALUE:
single_value = new single_value_struct;
single_value->field_ifr.decode_text(text_buf);
single_value->field_socket__id.decode_text(text_buf);
case OMIT_VALUE:
case ANY_VALUE:
case ANY_OR_OMIT:
break;
case VALUE_LIST:
case COMPLEMENTED_LIST:
value_list.n_values = text_buf.pull_int().get_val();
value_list.list_value = new SocketCAN__open__isotp__result_template[value_list.n_values];
for (unsigned int list_count = 0; list_count < value_list.n_values; list_count++)
value_list.list_value[list_count].decode_text(text_buf);
break;
default:
TTCN_error("Text decoder: An unknown/unsupported selection was received in a template of type @Isotptest.SocketCAN_open_isotp_result.");
}
}

void SocketCAN__open__isotp__result_template::set_param(Module_Param& param)
{
  param.basic_check(Module_Param::BC_TEMPLATE, "record template");
  switch (param.get_type()) {
  case Module_Param::MP_Omit:
    *this = OMIT_VALUE;
    break;
  case Module_Param::MP_Any:
    *this = ANY_VALUE;
    break;
  case Module_Param::MP_AnyOrNone:
    *this = ANY_OR_OMIT;
    break;
  case Module_Param::MP_List_Template:
  case Module_Param::MP_ComplementList_Template: {
    SocketCAN__open__isotp__result_template new_temp;
    new_temp.set_type(param.get_type()==Module_Param::MP_List_Template ? VALUE_LIST : COMPLEMENTED_LIST, param.get_size());
    for (size_t p_i=0; p_i<param.get_size(); p_i++) {
      new_temp.list_item(p_i).set_param(*param.get_elem(p_i));
    }
    *this = new_temp;
    break; }
  case Module_Param::MP_Value_List:
    if (2<param.get_size()) {
      param.error("record template of type @Isotptest.SocketCAN_open_isotp_result has 2 fields but list value has %d fields", (int)param.get_size());
    }
    if (param.get_size()>0 && param.get_elem(0)->get_type()!=Module_Param::MP_NotUsed) ifr().set_param(*param.get_elem(0));
    if (param.get_size()>1 && param.get_elem(1)->get_type()!=Module_Param::MP_NotUsed) socket__id().set_param(*param.get_elem(1));
    break;
  case Module_Param::MP_Assignment_List: {
    Vector<bool> value_used(param.get_size());
    value_used.resize(param.get_size(), FALSE);
    for (size_t val_idx=0; val_idx<param.get_size(); val_idx++) {
      Module_Param* const curr_param = param.get_elem(val_idx);
      if (!strcmp(curr_param->get_id()->get_name(), "ifr")) {
        if (curr_param->get_type()!=Module_Param::MP_NotUsed) {
          ifr().set_param(*curr_param);
        }
        value_used[val_idx]=TRUE;
      }
    }
    for (size_t val_idx=0; val_idx<param.get_size(); val_idx++) {
      Module_Param* const curr_param = param.get_elem(val_idx);
      if (!strcmp(curr_param->get_id()->get_name(), "socket_id")) {
        if (curr_param->get_type()!=Module_Param::MP_NotUsed) {
          socket__id().set_param(*curr_param);
        }
        value_used[val_idx]=TRUE;
      }
    }
    for (size_t val_idx=0; val_idx<param.get_size(); val_idx++) if (!value_used[val_idx]) {
      Module_Param* const curr_param = param.get_elem(val_idx);
      curr_param->error("Non existent field name in type @Isotptest.SocketCAN_open_isotp_result: %s", curr_param->get_id()->get_name());
      break;
    }
  } break;
  default:
    param.type_error("record template", "@Isotptest.SocketCAN_open_isotp_result");
  }
  is_ifpresent = param.get_ifpresent();
}

void SocketCAN__open__isotp__result_template::check_restriction(template_res t_res, const char* t_name, boolean legacy) const
{
if (template_selection==UNINITIALIZED_TEMPLATE) return;
switch ((t_name&&(t_res==TR_VALUE))?TR_OMIT:t_res) {
case TR_OMIT:
if (template_selection==OMIT_VALUE) return;
case TR_VALUE:
if (template_selection!=SPECIFIC_VALUE || is_ifpresent) break;
single_value->field_ifr.check_restriction(t_res, t_name ? t_name : "@Isotptest.SocketCAN_open_isotp_result");
single_value->field_socket__id.check_restriction(t_res, t_name ? t_name : "@Isotptest.SocketCAN_open_isotp_result");
return;
case TR_PRESENT:
if (!match_omit(legacy)) return;
break;
default:
return;
}
TTCN_error("Restriction `%s' on template of type %s violated.", get_res_name(t_res), t_name ? t_name : "@Isotptest.SocketCAN_open_isotp_result");
}

boolean SocketCAN__open__isotp__result_template::is_present(boolean legacy) const
{
if (template_selection==UNINITIALIZED_TEMPLATE) return FALSE;
return !match_omit(legacy);
}

boolean SocketCAN__open__isotp__result_template::match_omit(boolean legacy) const
{
if (is_ifpresent) return TRUE;
switch (template_selection) {
case OMIT_VALUE:
case ANY_OR_OMIT:
return TRUE;
case VALUE_LIST:
case COMPLEMENTED_LIST:
if (legacy) {
for (unsigned int l_idx=0; l_idx<value_list.n_values; l_idx++)
if (value_list.list_value[l_idx].match_omit())
return template_selection==VALUE_LIST;
return template_selection==COMPLEMENTED_LIST;
} // else fall through
default:
return FALSE;
}
return FALSE;
}


/* Bodies of functions, altsteps and testcases */

SocketCAN__Types::SocketCAN__socket__result f__open__socket(const SocketCAN__open__socket__type& v__socket__type)
{
TTCN_Location current_location("Isotptest.ttcn", 68, TTCN_Location::LOCATION_FUNCTION, "f_open_socket");
current_location.update_lineno(72);
#line 72 "Isotptest.ttcn"
SocketCAN__Types::SocketCAN__socket__result v__result;
current_location.update_lineno(73);
#line 73 "Isotptest.ttcn"
TIMER t__guard("t_guard");
current_location.update_lineno(74);
#line 74 "Isotptest.ttcn"
t__guard.start(1.0e1);
current_location.update_lineno(76);
#line 76 "Isotptest.ttcn"
SocketCAN__Types::SocketCAN__socket socket;
current_location.update_lineno(78);
#line 78 "Isotptest.ttcn"
if ((v__socket__type == SocketCAN__open__socket__type::OPEN__CAN__RAW)) {
current_location.update_lineno(79);
#line 79 "Isotptest.ttcn"
socket.domain() = Can::AdresseFamily__enum::PF__CAN;
socket.ptype() = Can::ProtocolFamily__enum::SOCK__RAW;
socket.protocol() = Can::PF__CAN__protocols__enum::CAN__RAW;
}
else {
current_location.update_lineno(80);
#line 80 "Isotptest.ttcn"
if ((v__socket__type == SocketCAN__open__socket__type::OPEN__CAN__BCM)) {
current_location.update_lineno(81);
#line 81 "Isotptest.ttcn"
socket.domain() = Can::AdresseFamily__enum::PF__CAN;
socket.ptype() = Can::ProtocolFamily__enum::SOCK__DGRAM;
socket.protocol() = Can::PF__CAN__protocols__enum::CAN__BCM;
}
else {
current_location.update_lineno(82);
#line 82 "Isotptest.ttcn"
if ((v__socket__type == SocketCAN__open__socket__type::OPEN__CAN__ISOTP)) {
current_location.update_lineno(83);
#line 83 "Isotptest.ttcn"
socket.domain() = Can::AdresseFamily__enum::PF__CAN;
socket.ptype() = Can::ProtocolFamily__enum::SOCK__DGRAM;
socket.protocol() = Can::PF__CAN__protocols__enum::CAN__ISOTP;
}
}
}
current_location.update_lineno(86);
#line 86 "Isotptest.ttcn"
PTC__isotp__CT_component_pt__socketCAN.send(socket, NULL);
current_location.update_lineno(89);
#line 89 "Isotptest.ttcn"
{
tmp_3:
alt_status tmp_3_alt_flag_0 = ALT_MAYBE;
alt_status tmp_3_alt_flag_1 = ALT_MAYBE;
alt_status tmp_3_alt_flag_2 = ALT_MAYBE;
alt_status tmp_3_alt_flag_3 = ALT_MAYBE;
alt_status tmp_3_default_flag = ALT_MAYBE;
TTCN_Snapshot::take_new(FALSE);
for ( ; ; ) {
if (tmp_3_alt_flag_0 == ALT_MAYBE) {
current_location.update_lineno(90);
#line 90 "Isotptest.ttcn"
tmp_3_alt_flag_0 = PTC__isotp__CT_component_pt__socketCAN.receive(SocketCAN__Templates::a__SocketCAN__socket__result(SocketCAN__Templates::a__result(SocketCAN__Types::SocketCAN__Result__code::SocketCAN__SUCCESS)), &(v__result), any_compref, NULL, NULL, NULL);
if (tmp_3_alt_flag_0 == ALT_YES) {
current_location.update_lineno(92);
#line 92 "Isotptest.ttcn"
try {
TTCN_Logger::begin_event(TTCN_USER);
TTCN_Logger::log_event_str("SocketCan:Socket opened: ");
const_cast< const SocketCAN__Types::SocketCAN__socket__result&>(v__result).id().log();
TTCN_Logger::end_event();
} catch (...) {
TTCN_Logger::finish_event();
throw;
}
break;
}
}
if (tmp_3_alt_flag_1 == ALT_MAYBE) {
current_location.update_lineno(93);
#line 93 "Isotptest.ttcn"
tmp_3_alt_flag_1 = PTC__isotp__CT_component_pt__socketCAN.receive(SocketCAN__Templates::a__SocketCAN__socket__result(SocketCAN__Templates::a__result(SocketCAN__Types::SocketCAN__Result__code::SocketCAN__ERROR)), NULL, any_compref, NULL, NULL, NULL);
if (tmp_3_alt_flag_1 == ALT_YES) {
current_location.update_lineno(94);
#line 94 "Isotptest.ttcn"
TTCN_Logger::log_str(TTCN_USER, "Received Opening Socket failed");
current_location.update_lineno(94);
#line 94 "Isotptest.ttcn"
TTCN_Runtime::setverdict(FAIL);
break;
}
}
if (tmp_3_alt_flag_2 == ALT_MAYBE) {
current_location.update_lineno(95);
#line 95 "Isotptest.ttcn"
tmp_3_alt_flag_2 = t__guard.timeout(NULL);
if (tmp_3_alt_flag_2 == ALT_YES) {
current_location.update_lineno(96);
#line 96 "Isotptest.ttcn"
TTCN_Logger::log_str(TTCN_USER, "timeout!");
current_location.update_lineno(97);
#line 97 "Isotptest.ttcn"
TTCN_Runtime::setverdict(FAIL);
break;
}
}
if (tmp_3_alt_flag_3 == ALT_MAYBE) {
current_location.update_lineno(98);
#line 98 "Isotptest.ttcn"
tmp_3_alt_flag_3 = t__guard.timeout(NULL);
if (tmp_3_alt_flag_3 == ALT_YES) {
current_location.update_lineno(99);
#line 99 "Isotptest.ttcn"
TTCN_Logger::log_str(TTCN_USER, "timeout!");
current_location.update_lineno(100);
#line 100 "Isotptest.ttcn"
TTCN_Runtime::setverdict(FAIL);
break;
}
}
if (tmp_3_default_flag == ALT_MAYBE) {
tmp_3_default_flag = TTCN_Default::try_altsteps();
if (tmp_3_default_flag == ALT_YES || tmp_3_default_flag == ALT_BREAK) break;
else if (tmp_3_default_flag == ALT_REPEAT) goto tmp_3;
}
current_location.update_lineno(89);
#line 89 "Isotptest.ttcn"
if (tmp_3_alt_flag_0 == ALT_NO && tmp_3_alt_flag_1 == ALT_NO && tmp_3_alt_flag_2 == ALT_NO && tmp_3_alt_flag_3 == ALT_NO && tmp_3_default_flag == ALT_NO) TTCN_error("None of the branches can be chosen in the alt statement in file Isotptest.ttcn between lines 89 and 101.");
TTCN_Snapshot::take_new(TRUE);
}
}
current_location.update_lineno(102);
#line 102 "Isotptest.ttcn"
t__guard.stop();
current_location.update_lineno(103);
#line 103 "Isotptest.ttcn"
return v__result;
}

void start_f__open__socket(const COMPONENT& component_reference, const SocketCAN__open__socket__type& v__socket__type)
{
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_open_socket(");
v__socket__type.log();
TTCN_Logger::log_event_str(") on component ");
component_reference.log();
TTCN_Logger::log_char('.');
TTCN_Logger::end_event();
Text_Buf text_buf;
TTCN_Runtime::prepare_start_component(component_reference, "Isotptest", "f_open_socket", text_buf);
v__socket__type.encode_text(text_buf);
TTCN_Runtime::send_start_component(text_buf);
}

SocketCAN__open__isotp__result f__open__isotp(const OCTETSTRING& p__rx__can__id, const OCTETSTRING& p__tx__can__id)
{
TTCN_Location current_location("Isotptest.ttcn", 106, TTCN_Location::LOCATION_FUNCTION, "f_open_isotp");
current_location.update_lineno(110);
#line 110 "Isotptest.ttcn"
INTEGER v__socket__id;
current_location.update_lineno(111);
#line 111 "Isotptest.ttcn"
v__socket__id = f__open__socket(SocketCAN__open__socket__type::OPEN__CAN__ISOTP).id();
current_location.update_lineno(112);
#line 112 "Isotptest.ttcn"
SocketCAN__Types::SocketCAN__ifr v__ifr;
current_location.update_lineno(113);
#line 113 "Isotptest.ttcn"
v__ifr = f__ioctl__get__if__index(v__socket__id).ifr();
current_location.update_lineno(114);
#line 114 "Isotptest.ttcn"
SocketCAN__Types::SocketCAN__bind__result v__bind__result;
current_location.update_lineno(115);
#line 115 "Isotptest.ttcn"
v__bind__result = f__bind(v__socket__id, const_cast< const SocketCAN__Types::SocketCAN__ifr&>(v__ifr).if__index(), p__rx__can__id, p__tx__can__id);
current_location.update_lineno(117);
#line 117 "Isotptest.ttcn"
SocketCAN__open__isotp__result v__result;
current_location.update_lineno(118);
#line 118 "Isotptest.ttcn"
v__result.ifr() = v__ifr;
v__result.socket__id() = v__socket__id;
current_location.update_lineno(120);
#line 120 "Isotptest.ttcn"
return v__result;
}

void start_f__open__isotp(const COMPONENT& component_reference, const OCTETSTRING& p__rx__can__id, const OCTETSTRING& p__tx__can__id)
{
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_open_isotp(");
p__rx__can__id.log();
TTCN_Logger::log_event_str(", ");
p__tx__can__id.log();
TTCN_Logger::log_event_str(") on component ");
component_reference.log();
TTCN_Logger::log_char('.');
TTCN_Logger::end_event();
Text_Buf text_buf;
TTCN_Runtime::prepare_start_component(component_reference, "Isotptest", "f_open_isotp", text_buf);
p__rx__can__id.encode_text(text_buf);
p__tx__can__id.encode_text(text_buf);
TTCN_Runtime::send_start_component(text_buf);
}

SocketCAN__Types::SocketCAN__ioctl__result f__ioctl__get__if__index(const INTEGER& p__socket__id)
{
TTCN_Location current_location("Isotptest.ttcn", 123, TTCN_Location::LOCATION_FUNCTION, "f_ioctl_get_if_index");
current_location.update_lineno(126);
#line 126 "Isotptest.ttcn"
SocketCAN__Types::SocketCAN__ioctl__result v__result;
current_location.update_lineno(127);
#line 127 "Isotptest.ttcn"
TIMER t__guard("t_guard");
current_location.update_lineno(128);
#line 128 "Isotptest.ttcn"
t__guard.start(1.0e1);
current_location.update_lineno(130);
#line 130 "Isotptest.ttcn"
{
SocketCAN__Types::SocketCAN__ioctl_template tmp_8;
tmp_8.id() = p__socket__id;
tmp_8.ifu() = OMIT_VALUE;
PTC__isotp__CT_component_pt__socketCAN.send(tmp_8, NULL);
}
current_location.update_lineno(132);
#line 132 "Isotptest.ttcn"
{
tmp_9:
alt_status tmp_9_alt_flag_0 = ALT_MAYBE;
alt_status tmp_9_alt_flag_1 = ALT_MAYBE;
alt_status tmp_9_alt_flag_2 = ALT_MAYBE;
alt_status tmp_9_default_flag = ALT_MAYBE;
TTCN_Snapshot::take_new(FALSE);
for ( ; ; ) {
if (tmp_9_alt_flag_0 == ALT_MAYBE) {
current_location.update_lineno(133);
#line 133 "Isotptest.ttcn"
tmp_9_alt_flag_0 = PTC__isotp__CT_component_pt__socketCAN.receive(SocketCAN__Templates::a__SocketCAN__ioctl__result(SocketCAN__Templates::a__result(SocketCAN__Types::SocketCAN__Result__code::SocketCAN__SUCCESS)), &(v__result), any_compref, NULL, NULL, NULL);
if (tmp_9_alt_flag_0 == ALT_YES) {
current_location.update_lineno(134);
#line 134 "Isotptest.ttcn"
try {
TTCN_Logger::begin_event(TTCN_USER);
TTCN_Logger::log_event_str("Retrieved interface index");
const_cast< const SocketCAN__Types::SocketCAN__ioctl__result&>(v__result).ifr().if__index().log();
TTCN_Logger::end_event();
} catch (...) {
TTCN_Logger::finish_event();
throw;
}
break;
}
}
if (tmp_9_alt_flag_1 == ALT_MAYBE) {
current_location.update_lineno(135);
#line 135 "Isotptest.ttcn"
tmp_9_alt_flag_1 = PTC__isotp__CT_component_pt__socketCAN.receive(SocketCAN__Templates::a__SocketCAN__ioctl__result(SocketCAN__Templates::a__result(SocketCAN__Types::SocketCAN__Result__code::SocketCAN__ERROR)), NULL, any_compref, NULL, NULL, NULL);
if (tmp_9_alt_flag_1 == ALT_YES) {
current_location.update_lineno(136);
#line 136 "Isotptest.ttcn"
try {
TTCN_Logger::begin_event(TTCN_USER);
TTCN_Logger::log_event_str("Retrieving interface index failed");
p__socket__id.log();
TTCN_Logger::end_event();
} catch (...) {
TTCN_Logger::finish_event();
throw;
}
current_location.update_lineno(136);
#line 136 "Isotptest.ttcn"
TTCN_Runtime::setverdict(FAIL);
break;
}
}
if (tmp_9_alt_flag_2 == ALT_MAYBE) {
current_location.update_lineno(137);
#line 137 "Isotptest.ttcn"
tmp_9_alt_flag_2 = t__guard.timeout(NULL);
if (tmp_9_alt_flag_2 == ALT_YES) {
current_location.update_lineno(138);
#line 138 "Isotptest.ttcn"
TTCN_Logger::log_str(TTCN_USER, "timeout!");
current_location.update_lineno(139);
#line 139 "Isotptest.ttcn"
TTCN_Runtime::setverdict(FAIL);
break;
}
}
if (tmp_9_default_flag == ALT_MAYBE) {
tmp_9_default_flag = TTCN_Default::try_altsteps();
if (tmp_9_default_flag == ALT_YES || tmp_9_default_flag == ALT_BREAK) break;
else if (tmp_9_default_flag == ALT_REPEAT) goto tmp_9;
}
current_location.update_lineno(132);
#line 132 "Isotptest.ttcn"
if (tmp_9_alt_flag_0 == ALT_NO && tmp_9_alt_flag_1 == ALT_NO && tmp_9_alt_flag_2 == ALT_NO && tmp_9_default_flag == ALT_NO) TTCN_error("None of the branches can be chosen in the alt statement in file Isotptest.ttcn between lines 132 and 141.");
TTCN_Snapshot::take_new(TRUE);
}
}
current_location.update_lineno(142);
#line 142 "Isotptest.ttcn"
return v__result;
}

void start_f__ioctl__get__if__index(const COMPONENT& component_reference, const INTEGER& p__socket__id)
{
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_ioctl_get_if_index(");
p__socket__id.log();
TTCN_Logger::log_event_str(") on component ");
component_reference.log();
TTCN_Logger::log_char('.');
TTCN_Logger::end_event();
Text_Buf text_buf;
TTCN_Runtime::prepare_start_component(component_reference, "Isotptest", "f_ioctl_get_if_index", text_buf);
p__socket__id.encode_text(text_buf);
TTCN_Runtime::send_start_component(text_buf);
}

SocketCAN__Types::SocketCAN__bind__result f__bind(const INTEGER& p__socket__id, const INTEGER& p__if__index, const OCTETSTRING& p__rx__can__id, const OCTETSTRING& p__tx__can__id)
{
TTCN_Location current_location("Isotptest.ttcn", 145, TTCN_Location::LOCATION_FUNCTION, "f_bind");
current_location.update_lineno(151);
#line 151 "Isotptest.ttcn"
SocketCAN__Types::SocketCAN__bind__result v__result;
current_location.update_lineno(152);
#line 152 "Isotptest.ttcn"
TIMER t__guard("t_guard");
current_location.update_lineno(153);
#line 153 "Isotptest.ttcn"
t__guard.start(1.0e1);
current_location.update_lineno(155);
#line 155 "Isotptest.ttcn"
{
SocketCAN__Types::SocketCAN__bind_template tmp_10;
tmp_10.id() = p__socket__id;
{
SocketCAN__Types::SocketCAN__bind__isotp_template& tmp_11 = tmp_10.bindu().isotp();
tmp_11.if__index() = p__if__index;
tmp_11.rx__can__id() = p__rx__can__id;
tmp_11.tx__can__id() = p__tx__can__id;
}
PTC__isotp__CT_component_pt__socketCAN.send(tmp_10, NULL);
}
current_location.update_lineno(158);
#line 158 "Isotptest.ttcn"
{
tmp_12:
alt_status tmp_12_alt_flag_0 = ALT_MAYBE;
alt_status tmp_12_alt_flag_1 = ALT_MAYBE;
alt_status tmp_12_alt_flag_2 = ALT_MAYBE;
alt_status tmp_12_default_flag = ALT_MAYBE;
TTCN_Snapshot::take_new(FALSE);
for ( ; ; ) {
if (tmp_12_alt_flag_0 == ALT_MAYBE) {
current_location.update_lineno(159);
#line 159 "Isotptest.ttcn"
tmp_12_alt_flag_0 = PTC__isotp__CT_component_pt__socketCAN.receive(SocketCAN__Templates::a__SocketCAN__bind__result(SocketCAN__Templates::a__result(SocketCAN__Types::SocketCAN__Result__code::SocketCAN__SUCCESS)), &(v__result), any_compref, NULL, NULL, NULL);
if (tmp_12_alt_flag_0 == ALT_YES) {
current_location.update_lineno(160);
#line 160 "Isotptest.ttcn"
try {
TTCN_Logger::begin_event(TTCN_USER);
TTCN_Logger::log_event_str("Binding socket");
p__socket__id.log();
TTCN_Logger::end_event();
} catch (...) {
TTCN_Logger::finish_event();
throw;
}
break;
}
}
if (tmp_12_alt_flag_1 == ALT_MAYBE) {
current_location.update_lineno(161);
#line 161 "Isotptest.ttcn"
tmp_12_alt_flag_1 = PTC__isotp__CT_component_pt__socketCAN.receive(SocketCAN__Templates::a__SocketCAN__bind__result(SocketCAN__Templates::a__result(SocketCAN__Types::SocketCAN__Result__code::SocketCAN__ERROR)), NULL, any_compref, NULL, NULL, NULL);
if (tmp_12_alt_flag_1 == ALT_YES) break;
}
if (tmp_12_alt_flag_2 == ALT_MAYBE) {
current_location.update_lineno(162);
#line 162 "Isotptest.ttcn"
tmp_12_alt_flag_2 = t__guard.timeout(NULL);
if (tmp_12_alt_flag_2 == ALT_YES) {
current_location.update_lineno(163);
#line 163 "Isotptest.ttcn"
TTCN_Logger::log_str(TTCN_USER, "timeout!");
current_location.update_lineno(164);
#line 164 "Isotptest.ttcn"
TTCN_Runtime::setverdict(FAIL);
break;
}
}
if (tmp_12_default_flag == ALT_MAYBE) {
tmp_12_default_flag = TTCN_Default::try_altsteps();
if (tmp_12_default_flag == ALT_YES || tmp_12_default_flag == ALT_BREAK) break;
else if (tmp_12_default_flag == ALT_REPEAT) goto tmp_12;
}
current_location.update_lineno(158);
#line 158 "Isotptest.ttcn"
if (tmp_12_alt_flag_0 == ALT_NO && tmp_12_alt_flag_1 == ALT_NO && tmp_12_alt_flag_2 == ALT_NO && tmp_12_default_flag == ALT_NO) TTCN_error("None of the branches can be chosen in the alt statement in file Isotptest.ttcn between lines 158 and 166.");
TTCN_Snapshot::take_new(TRUE);
}
}
current_location.update_lineno(167);
#line 167 "Isotptest.ttcn"
return v__result;
}

void start_f__bind(const COMPONENT& component_reference, const INTEGER& p__socket__id, const INTEGER& p__if__index, const OCTETSTRING& p__rx__can__id, const OCTETSTRING& p__tx__can__id)
{
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_bind(");
p__socket__id.log();
TTCN_Logger::log_event_str(", ");
p__if__index.log();
TTCN_Logger::log_event_str(", ");
p__rx__can__id.log();
TTCN_Logger::log_event_str(", ");
p__tx__can__id.log();
TTCN_Logger::log_event_str(") on component ");
component_reference.log();
TTCN_Logger::log_char('.');
TTCN_Logger::end_event();
Text_Buf text_buf;
TTCN_Runtime::prepare_start_component(component_reference, "Isotptest", "f_bind", text_buf);
p__socket__id.encode_text(text_buf);
p__if__index.encode_text(text_buf);
p__rx__can__id.encode_text(text_buf);
p__tx__can__id.encode_text(text_buf);
TTCN_Runtime::send_start_component(text_buf);
}

void f__close__socket(const INTEGER& p__socket__id)
{
TTCN_Location current_location("Isotptest.ttcn", 170, TTCN_Location::LOCATION_FUNCTION, "f_close_socket");
current_location.update_lineno(172);
#line 172 "Isotptest.ttcn"
{
SocketCAN__Types::SocketCAN__close_template tmp_13;
tmp_13.id() = p__socket__id;
PTC__isotp__CT_component_pt__socketCAN.send(tmp_13, NULL);
}
}

void start_f__close__socket(const COMPONENT& component_reference, const INTEGER& p__socket__id)
{
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_close_socket(");
p__socket__id.log();
TTCN_Logger::log_event_str(") on component ");
component_reference.log();
TTCN_Logger::log_char('.');
TTCN_Logger::end_event();
Text_Buf text_buf;
TTCN_Runtime::prepare_start_component(component_reference, "Isotptest", "f_close_socket", text_buf);
p__socket__id.encode_text(text_buf);
TTCN_Runtime::send_start_component(text_buf);
}

void f__send__isotp__message(const INTEGER& p__socket__id, const OCTETSTRING& p__pdu)
{
TTCN_Location current_location("Isotptest.ttcn", 174, TTCN_Location::LOCATION_FUNCTION, "f_send_isotp_message");
current_location.update_lineno(177);
#line 177 "Isotptest.ttcn"
{
SocketCAN__Types::SocketCAN__write__isotp_template tmp_14;
tmp_14.id() = p__socket__id;
tmp_14.pdu() = p__pdu;
PTC__isotp__CT_component_pt__socketCAN.send(tmp_14, NULL);
}
current_location.update_lineno(178);
#line 178 "Isotptest.ttcn"
{
tmp_15:
alt_status tmp_15_alt_flag_0 = ALT_MAYBE;
alt_status tmp_15_default_flag = ALT_MAYBE;
TTCN_Snapshot::take_new(FALSE);
for ( ; ; ) {
if (tmp_15_alt_flag_0 == ALT_MAYBE) {
current_location.update_lineno(179);
#line 179 "Isotptest.ttcn"
tmp_15_alt_flag_0 = PTC__isotp__CT_component_pt__socketCAN.receive(Isotp::a__SocketCAN__write__isotp__result(SocketCAN__Templates::a__result(SocketCAN__Types::SocketCAN__Result__code::SocketCAN__SUCCESS)), NULL, any_compref, NULL, NULL, NULL);
if (tmp_15_alt_flag_0 == ALT_YES) {
current_location.update_lineno(180);
#line 180 "Isotptest.ttcn"
TTCN_Logger::log_str(TTCN_USER, "Sent ISOTP Message \n");
break;
}
}
if (tmp_15_default_flag == ALT_MAYBE) {
tmp_15_default_flag = TTCN_Default::try_altsteps();
if (tmp_15_default_flag == ALT_YES || tmp_15_default_flag == ALT_BREAK) break;
else if (tmp_15_default_flag == ALT_REPEAT) goto tmp_15;
}
current_location.update_lineno(178);
#line 178 "Isotptest.ttcn"
if (tmp_15_alt_flag_0 == ALT_NO && tmp_15_default_flag == ALT_NO) TTCN_error("None of the branches can be chosen in the alt statement in file Isotptest.ttcn between lines 178 and 182.");
TTCN_Snapshot::take_new(TRUE);
}
}
}

void start_f__send__isotp__message(const COMPONENT& component_reference, const INTEGER& p__socket__id, const OCTETSTRING& p__pdu)
{
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_send_isotp_message(");
p__socket__id.log();
TTCN_Logger::log_event_str(", ");
p__pdu.log();
TTCN_Logger::log_event_str(") on component ");
component_reference.log();
TTCN_Logger::log_char('.');
TTCN_Logger::end_event();
Text_Buf text_buf;
TTCN_Runtime::prepare_start_component(component_reference, "Isotptest", "f_send_isotp_message", text_buf);
p__socket__id.encode_text(text_buf);
p__pdu.encode_text(text_buf);
TTCN_Runtime::send_start_component(text_buf);
}

void f__behaviour__isotp(const BOOLEAN& p__initiator, const OCTETSTRING& p__rx__can__id, const OCTETSTRING& p__tx__can__id)
{
TTCN_Location current_location("Isotptest.ttcn", 186, TTCN_Location::LOCATION_FUNCTION, "f_behaviour_isotp");
current_location.update_lineno(191);
#line 191 "Isotptest.ttcn"
{
Map_Params tmp_16(0);
TTCN_Runtime::map_port(self, PTC__isotp__CT_component_pt__socketCAN.get_name(), SYSTEM_COMPREF, "pt_socketCAN", tmp_16);
}
current_location.update_lineno(192);
#line 192 "Isotptest.ttcn"
INTEGER v__socket__id;
current_location.update_lineno(193);
#line 193 "Isotptest.ttcn"
SocketCAN__Types::SocketCAN__ifr v__ifr;
current_location.update_lineno(194);
#line 194 "Isotptest.ttcn"
SocketCAN__Types::SocketCAN__send__data__ifu v__ifu;
current_location.update_lineno(196);
#line 196 "Isotptest.ttcn"
SocketCAN__open__isotp__result res;
current_location.update_lineno(197);
#line 197 "Isotptest.ttcn"
res = f__open__isotp(p__rx__can__id, p__tx__can__id);
current_location.update_lineno(198);
#line 198 "Isotptest.ttcn"
v__socket__id = const_cast< const SocketCAN__open__isotp__result&>(res).socket__id();
current_location.update_lineno(199);
#line 199 "Isotptest.ttcn"
v__ifr = const_cast< const SocketCAN__open__isotp__result&>(res).ifr();
current_location.update_lineno(200);
#line 200 "Isotptest.ttcn"
v__ifu.if__name() = const_cast< const SocketCAN__Types::SocketCAN__ifr&>(v__ifr).if__name();
current_location.update_lineno(202);
#line 202 "Isotptest.ttcn"
try {
TTCN_Logger::begin_event(TTCN_USER);
TTCN_Logger::log_event_str("socket open(): ");
res.log();
TTCN_Logger::end_event();
} catch (...) {
TTCN_Logger::finish_event();
throw;
}
current_location.update_lineno(204);
#line 204 "Isotptest.ttcn"
BOOLEAN condition3(TRUE);
current_location.update_lineno(207);
#line 207 "Isotptest.ttcn"
if ((p__initiator == TRUE)) {
current_location.update_lineno(208);
#line 208 "Isotptest.ttcn"
OCTETSTRING v__pdu(os_0);
current_location.update_lineno(209);
#line 209 "Isotptest.ttcn"
f__send__isotp__message(v__socket__id, v__pdu);
}
for ( ; ; ) {
current_location.update_lineno(211);
#line 211 "Isotptest.ttcn"
if (!condition3) break;
current_location.update_lineno(214);
#line 214 "Isotptest.ttcn"
SocketCAN__Types::SocketCAN__receive__CAN__or__CAN__FD__frame v__result__socketcan;
current_location.update_lineno(215);
#line 215 "Isotptest.ttcn"
SocketCAN__Types::SocketCAN__receive__isotp__pdu v__result__isotp__pdu;
current_location.update_lineno(218);
#line 218 "Isotptest.ttcn"
{
tmp_21:
alt_status tmp_21_alt_flag_0 = ALT_MAYBE;
alt_status tmp_21_alt_flag_1 = ALT_MAYBE;
alt_status tmp_21_default_flag = ALT_MAYBE;
TTCN_Snapshot::take_new(FALSE);
for ( ; ; ) {
if (tmp_21_alt_flag_0 == ALT_MAYBE) {
current_location.update_lineno(220);
#line 220 "Isotptest.ttcn"
tmp_21_alt_flag_0 = PTC__isotp__CT_component_pt__socketCAN.receive(Isotp::a__SocketCAN__receive__isotp__pdu(INTEGER_template(v__socket__id), OCTETSTRING_template(ANY_VALUE), OCTETSTRING_template(ANY_VALUE)), &(v__result__isotp__pdu), any_compref, NULL, NULL, NULL);
if (tmp_21_alt_flag_0 == ALT_YES) {
current_location.update_lineno(221);
#line 221 "Isotptest.ttcn"
try {
TTCN_Logger::begin_event(TTCN_USER);
TTCN_Logger::log_event_str("SocketCan:Isotp pdu received");
v__result__isotp__pdu.log();
TTCN_Logger::end_event();
} catch (...) {
TTCN_Logger::finish_event();
throw;
}
current_location.update_lineno(222);
#line 222 "Isotptest.ttcn"
f__send__isotp__message(v__socket__id, const_cast< const SocketCAN__Types::SocketCAN__receive__isotp__pdu&>(v__result__isotp__pdu).pdu());
break;
}
}
if (tmp_21_alt_flag_1 == ALT_MAYBE) {
current_location.update_lineno(224);
#line 224 "Isotptest.ttcn"
tmp_21_alt_flag_1 = PTC__isotp__CT_component_pt__socketCAN.receive(Isotp::a__SocketCAN__receive__isotp__pdu(INTEGER_template(ANY_VALUE), OCTETSTRING_template(ANY_VALUE), OCTETSTRING_template(ANY_VALUE)), &(v__result__isotp__pdu), any_compref, NULL, NULL, NULL);
if (tmp_21_alt_flag_1 == ALT_YES) {
current_location.update_lineno(225);
#line 225 "Isotptest.ttcn"
try {
TTCN_Logger::begin_event(TTCN_USER);
TTCN_Logger::log_event_str("SocketCan:Isotp pdu received from unexpected port");
v__result__isotp__pdu.log();
TTCN_Logger::end_event();
} catch (...) {
TTCN_Logger::finish_event();
throw;
}
current_location.update_lineno(226);
#line 226 "Isotptest.ttcn"
TTCN_Runtime::setverdict(INCONC);
break;
}
}
if (tmp_21_default_flag == ALT_MAYBE) {
tmp_21_default_flag = TTCN_Default::try_altsteps();
if (tmp_21_default_flag == ALT_YES || tmp_21_default_flag == ALT_BREAK) break;
else if (tmp_21_default_flag == ALT_REPEAT) goto tmp_21;
}
current_location.update_lineno(218);
#line 218 "Isotptest.ttcn"
if (tmp_21_alt_flag_0 == ALT_NO && tmp_21_alt_flag_1 == ALT_NO && tmp_21_default_flag == ALT_NO) TTCN_error("None of the branches can be chosen in the alt statement in file Isotptest.ttcn between lines 218 and 228.");
TTCN_Snapshot::take_new(TRUE);
}
}
}
current_location.update_lineno(230);
#line 230 "Isotptest.ttcn"
f__close__socket(v__socket__id);
current_location.update_lineno(231);
#line 231 "Isotptest.ttcn"
{
Map_Params tmp_22(0);
TTCN_Runtime::unmap_port(self, PTC__isotp__CT_component_pt__socketCAN.get_name(), SYSTEM_COMPREF, "pt_socketCAN", tmp_22);
}
current_location.update_lineno(232);
#line 232 "Isotptest.ttcn"
TTCN_Runtime::setverdict(PASS);
}

void start_f__behaviour__isotp(const COMPONENT& component_reference, const BOOLEAN& p__initiator, const OCTETSTRING& p__rx__can__id, const OCTETSTRING& p__tx__can__id)
{
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_behaviour_isotp(");
p__initiator.log();
TTCN_Logger::log_event_str(", ");
p__rx__can__id.log();
TTCN_Logger::log_event_str(", ");
p__tx__can__id.log();
TTCN_Logger::log_event_str(") on component ");
component_reference.log();
TTCN_Logger::log_char('.');
TTCN_Logger::end_event();
Text_Buf text_buf;
TTCN_Runtime::prepare_start_component(component_reference, "Isotptest", "f_behaviour_isotp", text_buf);
p__initiator.encode_text(text_buf);
p__rx__can__id.encode_text(text_buf);
p__tx__can__id.encode_text(text_buf);
TTCN_Runtime::send_start_component(text_buf);
}

verdicttype testcase_tc__Isotp__Example001(boolean has_timer, double timer_value)
{
TTCN_Runtime::check_begin_testcase(has_timer, timer_value);
TTCN_Location current_location("Isotptest.ttcn", 237, TTCN_Location::LOCATION_TESTCASE, "tc_Isotp_Example001");
try {
TTCN_Runtime::begin_testcase("Isotptest", "tc_Isotp_Example001", "Isotptest", "MTC_CT", "Isotptest", "MTC_CT", has_timer, timer_value);
current_location.update_lineno(240);
#line 240 "Isotptest.ttcn"
COMPONENT v__PTC__isotp1;
current_location.update_lineno(240);
#line 240 "Isotptest.ttcn"
COMPONENT v__PTC__isotp2;
current_location.update_lineno(243);
#line 243 "Isotptest.ttcn"
v__PTC__isotp1 = TTCN_Runtime::create_component("Isotptest", "PTC_isotp_CT", NULL, NULL, FALSE);
current_location.update_lineno(244);
#line 244 "Isotptest.ttcn"
v__PTC__isotp2 = TTCN_Runtime::create_component("Isotptest", "PTC_isotp_CT", NULL, NULL, FALSE);
current_location.update_lineno(252);
#line 252 "Isotptest.ttcn"
start_f__behaviour__isotp(v__PTC__isotp1, TRUE, os_1, os_2);
current_location.update_lineno(253);
#line 253 "Isotptest.ttcn"
start_f__behaviour__isotp(v__PTC__isotp2, TRUE, os_2, os_1);
current_location.update_lineno(256);
#line 256 "Isotptest.ttcn"
{
tmp_25:
alt_status alt_flag = ALT_UNCHECKED, default_flag = ALT_UNCHECKED;
TTCN_Snapshot::take_new(FALSE);
for ( ; ; ) {
if (alt_flag != ALT_NO) {
alt_flag = TTCN_Runtime::component_done(ALL_COMPREF);
if (alt_flag == ALT_YES) break;
else if (alt_flag == ALT_REPEAT) goto tmp_25;
}
if (default_flag != ALT_NO) {
default_flag = TTCN_Default::try_altsteps();
if (default_flag == ALT_YES || default_flag == ALT_BREAK) break;
else if (default_flag == ALT_REPEAT) goto tmp_25;
}
current_location.update_lineno(256);
#line 256 "Isotptest.ttcn"
if (alt_flag == ALT_NO && default_flag == ALT_NO) TTCN_error("Stand-alone done statement failed in file Isotptest.ttcn, line 256.");
TTCN_Snapshot::take_new(TRUE);
}
}
current_location.update_lineno(262);
#line 262 "Isotptest.ttcn"
TTCN_Runtime::kill_component(ALL_COMPREF);
} catch (const TC_Error& tc_error) {
} catch (const TC_End& tc_end) {
TTCN_Logger::log_str(TTCN_FUNCTION, "Test case tc_Isotp_Example001 was stopped.");
}
return TTCN_Runtime::end_testcase();
}


/* Bodies of static functions */

static void pre_init_module()
{
TTCN_Location current_location("Isotptest.ttcn", 0, TTCN_Location::LOCATION_UNKNOWN, "Isotptest");
CanError::module_object.pre_init_module();
SocketCAN__PortType::module_object.pre_init_module();
SocketCAN__Templates::module_object.pre_init_module();
Isotp::module_object.pre_init_module();
current_location.update_lineno(21);
#line 21 "Isotptest.ttcn"
const_c__guard = 1.0e1;
module_object.add_function("f_open_socket", (genericfunc_t)&f__open__socket, (genericfunc_t)&start_f__open__socket);
module_object.add_function("f_open_isotp", (genericfunc_t)&f__open__isotp, (genericfunc_t)&start_f__open__isotp);
module_object.add_function("f_ioctl_get_if_index", (genericfunc_t)&f__ioctl__get__if__index, (genericfunc_t)&start_f__ioctl__get__if__index);
module_object.add_function("f_bind", (genericfunc_t)&f__bind, (genericfunc_t)&start_f__bind);
module_object.add_function("f_close_socket", (genericfunc_t)&f__close__socket, (genericfunc_t)&start_f__close__socket);
module_object.add_function("f_send_isotp_message", (genericfunc_t)&f__send__isotp__message, (genericfunc_t)&start_f__send__isotp__message);
module_object.add_function("f_behaviour_isotp", (genericfunc_t)&f__behaviour__isotp, (genericfunc_t)&start_f__behaviour__isotp);
module_object.add_testcase_nonpard("tc_Isotp_Example001", testcase_tc__Isotp__Example001);
}

static void post_init_module()
{
TTCN_Location current_location("Isotptest.ttcn", 0, TTCN_Location::LOCATION_UNKNOWN, "Isotptest");
CanError::module_object.post_init_module();
SocketCAN__PortType::module_object.post_init_module();
SocketCAN__Templates::module_object.post_init_module();
Isotp::module_object.post_init_module();
}

static boolean init_comp_type(const char *component_type, boolean init_base_comps)
{
(void)init_base_comps;
if (!strcmp(component_type, "MTC_CT")) {
return TRUE;
} else if (!strcmp(component_type, "PTC_isotp_CT")) {
PTC__isotp__CT_component_pt__socketCAN.activate_port();
return TRUE;
} else return FALSE;
}

static boolean init_system_port(const char* component_type, const char* port_name)
{
if (!strcmp(component_type, "PTC_isotp_CT")) {
if (!strcmp(port_name, "pt_socketCAN")) {
PTC__isotp__CT_component_pt__socketCAN.safe_start();
return TRUE;
}
}
return FALSE;
}

static boolean start_ptc_function(const char *function_name, Text_Buf& function_arguments)
{
if (!strcmp(function_name, "f_open_socket")) {
SocketCAN__open__socket__type v__socket__type;
v__socket__type.decode_text(function_arguments);
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_open_socket(");
v__socket__type.log();
TTCN_Logger::log_event_str(").");
TTCN_Logger::end_event();
TTCN_Runtime::function_started(function_arguments);
f__open__socket(v__socket__type);
TTCN_Runtime::function_finished("f_open_socket");
return TRUE;
} else if (!strcmp(function_name, "f_open_isotp")) {
OCTETSTRING p__rx__can__id;
OCTETSTRING p__tx__can__id;
p__rx__can__id.decode_text(function_arguments);
p__tx__can__id.decode_text(function_arguments);
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_open_isotp(");
p__rx__can__id.log();
TTCN_Logger::log_event_str(", ");
p__tx__can__id.log();
TTCN_Logger::log_event_str(").");
TTCN_Logger::end_event();
TTCN_Runtime::function_started(function_arguments);
f__open__isotp(p__rx__can__id, p__tx__can__id);
TTCN_Runtime::function_finished("f_open_isotp");
return TRUE;
} else if (!strcmp(function_name, "f_ioctl_get_if_index")) {
INTEGER p__socket__id;
p__socket__id.decode_text(function_arguments);
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_ioctl_get_if_index(");
p__socket__id.log();
TTCN_Logger::log_event_str(").");
TTCN_Logger::end_event();
TTCN_Runtime::function_started(function_arguments);
f__ioctl__get__if__index(p__socket__id);
TTCN_Runtime::function_finished("f_ioctl_get_if_index");
return TRUE;
} else if (!strcmp(function_name, "f_bind")) {
INTEGER p__socket__id;
INTEGER p__if__index;
OCTETSTRING p__rx__can__id;
OCTETSTRING p__tx__can__id;
p__socket__id.decode_text(function_arguments);
p__if__index.decode_text(function_arguments);
p__rx__can__id.decode_text(function_arguments);
p__tx__can__id.decode_text(function_arguments);
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_bind(");
p__socket__id.log();
TTCN_Logger::log_event_str(", ");
p__if__index.log();
TTCN_Logger::log_event_str(", ");
p__rx__can__id.log();
TTCN_Logger::log_event_str(", ");
p__tx__can__id.log();
TTCN_Logger::log_event_str(").");
TTCN_Logger::end_event();
TTCN_Runtime::function_started(function_arguments);
f__bind(p__socket__id, p__if__index, p__rx__can__id, p__tx__can__id);
TTCN_Runtime::function_finished("f_bind");
return TRUE;
} else if (!strcmp(function_name, "f_close_socket")) {
INTEGER p__socket__id;
p__socket__id.decode_text(function_arguments);
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_close_socket(");
p__socket__id.log();
TTCN_Logger::log_event_str(").");
TTCN_Logger::end_event();
TTCN_Runtime::function_started(function_arguments);
f__close__socket(p__socket__id);
TTCN_Runtime::function_finished("f_close_socket");
return TRUE;
} else if (!strcmp(function_name, "f_send_isotp_message")) {
INTEGER p__socket__id;
OCTETSTRING p__pdu;
p__socket__id.decode_text(function_arguments);
p__pdu.decode_text(function_arguments);
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_send_isotp_message(");
p__socket__id.log();
TTCN_Logger::log_event_str(", ");
p__pdu.log();
TTCN_Logger::log_event_str(").");
TTCN_Logger::end_event();
TTCN_Runtime::function_started(function_arguments);
f__send__isotp__message(p__socket__id, p__pdu);
TTCN_Runtime::function_finished("f_send_isotp_message");
return TRUE;
} else if (!strcmp(function_name, "f_behaviour_isotp")) {
BOOLEAN p__initiator;
OCTETSTRING p__rx__can__id;
OCTETSTRING p__tx__can__id;
p__initiator.decode_text(function_arguments);
p__rx__can__id.decode_text(function_arguments);
p__tx__can__id.decode_text(function_arguments);
TTCN_Logger::begin_event(TTCN_Logger::PARALLEL_PTC);
TTCN_Logger::log_event_str("Starting function f_behaviour_isotp(");
p__initiator.log();
TTCN_Logger::log_event_str(", ");
p__rx__can__id.log();
TTCN_Logger::log_event_str(", ");
p__tx__can__id.log();
TTCN_Logger::log_event_str(").");
TTCN_Logger::end_event();
TTCN_Runtime::function_started(function_arguments);
f__behaviour__isotp(p__initiator, p__rx__can__id, p__tx__can__id);
TTCN_Runtime::function_finished("f_behaviour_isotp");
return TRUE;
} else return FALSE;
}

static void module_control_part()
{
TTCN_Location current_location("Isotptest.ttcn", 268, TTCN_Location::LOCATION_CONTROLPART, "Isotptest");
TTCN_Runtime::begin_controlpart("Isotptest");
current_location.update_lineno(272);
#line 272 "Isotptest.ttcn"
testcase_tc__Isotp__Example001(FALSE, 0.0);
TTCN_Runtime::end_controlpart();
}


} /* end of namespace */