demo/SocketCAN_Templates.cc

// 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 "SocketCAN_Templates.hh"

namespace SocketCAN__Templates {

/* Prototypes of static functions */

static void pre_init_module();
static void post_init_module();

/* Literal string constants */

static const unsigned char module_checksum[] = { 0x1d, 0x05, 0xef, 0xf1, 0xa5, 0xb8, 0x02, 0x2c, 0x96, 0x81, 0xbf, 0x16, 0x06, 0xef, 0xdf, 0x37 };

/* Global variable definitions */

TTCN_Module module_object("SocketCAN_Templates", __DATE__, __TIME__, module_checksum, pre_init_module, NULL, 0U, 4294967295U, 4294967295U, 4294967295U, NULL, 0LU, 0, post_init_module, NULL, NULL, NULL, NULL, NULL, NULL, NULL);

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);

/* Bodies of functions, altsteps and testcases */

SocketCAN__Types::SocketCAN__Result_template a__result(const SocketCAN__Types::SocketCAN__Result__code& v__result__code)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 22, TTCN_Location::LOCATION_TEMPLATE, "a_result");
SocketCAN__Types::SocketCAN__Result_template ret_val;
ret_val.result__code() = v__result__code;
ret_val.err() = ANY_OR_OMIT;
ret_val.err__text() = ANY_OR_OMIT;
return ret_val;
}

SocketCAN__Types::SocketCAN__socket__result_template a__SocketCAN__socket__result(const SocketCAN__Types::SocketCAN__Result_template& p__result)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 28, TTCN_Location::LOCATION_TEMPLATE, "a_SocketCAN_socket_result");
SocketCAN__Types::SocketCAN__socket__result_template ret_val;
ret_val.id() = ANY_VALUE;
ret_val.result() = p__result;
return ret_val;
}

SocketCAN__Types::SocketCAN__ioctl__result_template a__SocketCAN__ioctl__result(const SocketCAN__Types::SocketCAN__Result_template& p__result)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 34, TTCN_Location::LOCATION_TEMPLATE, "a_SocketCAN_ioctl_result");
SocketCAN__Types::SocketCAN__ioctl__result_template ret_val;
ret_val.ifr() = ANY_VALUE;
ret_val.result() = p__result;
return ret_val;
}

SocketCAN__Types::SocketCAN__connect__result_template a__SocketCAN__connect__result(const SocketCAN__Types::SocketCAN__Result_template& p__result)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 40, TTCN_Location::LOCATION_TEMPLATE, "a_SocketCAN_connect_result");
SocketCAN__Types::SocketCAN__connect__result_template ret_val;
ret_val.result() = p__result;
return ret_val;
}

SocketCAN__Types::SocketCAN__bind__result_template a__SocketCAN__bind__result(const SocketCAN__Types::SocketCAN__Result_template& p__result)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 45, TTCN_Location::LOCATION_TEMPLATE, "a_SocketCAN_bind_result");
SocketCAN__Types::SocketCAN__bind__result_template ret_val;
ret_val.result() = p__result;
return ret_val;
}

SocketCAN__Types::SocketCAN__send__data__result_template a__SocketCAN__send__data__result(const SocketCAN__Types::SocketCAN__Result_template& p__result)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 50, TTCN_Location::LOCATION_TEMPLATE, "a_SocketCAN_send_data_result");
SocketCAN__Types::SocketCAN__send__data__result_template ret_val;
ret_val.result() = p__result;
return ret_val;
}

SocketCAN__Types::SocketCAN__write__data__result_template a__SocketCAN__write__data__result(const SocketCAN__Types::SocketCAN__Result_template& p__result)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 55, TTCN_Location::LOCATION_TEMPLATE, "a_SocketCAN_write_data_result");
SocketCAN__Types::SocketCAN__write__data__result_template ret_val;
ret_val.result() = p__result;
return ret_val;
}

SocketCAN__Types::SocketCAN__receive__CAN__or__CAN__FD__frame_template a__SocketCAN__receive__CAN__frame(const INTEGER_template& p__id, const OCTETSTRING_template& p__can__id, const OCTETSTRING_template& p__can__pdu)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 60, TTCN_Location::LOCATION_TEMPLATE, "a_SocketCAN_receive_CAN_frame");
SocketCAN__Types::SocketCAN__receive__CAN__or__CAN__FD__frame_template ret_val;
ret_val.id() = p__id;
ret_val.ifr() = ANY_VALUE;
{
Can::CAN__frame_template& tmp_0 = ret_val.frame().can__frame();
tmp_0.can__id() = p__can__id;
tmp_0.can__pdu() = p__can__pdu;
}
ret_val.timestamp() = ANY_VALUE;
return ret_val;
}

SocketCAN__Types::SocketCAN__receive__CAN__or__CAN__FD__frame_template a__SocketCAN__receive__CAN__FD__frame(const INTEGER_template& p__id, const OCTETSTRING_template& p__can__id, const BITSTRING_template& p__can__flags, const OCTETSTRING_template& p__can__pdu)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 72, TTCN_Location::LOCATION_TEMPLATE, "a_SocketCAN_receive_CAN_FD_frame");
SocketCAN__Types::SocketCAN__receive__CAN__or__CAN__FD__frame_template ret_val;
ret_val.id() = p__id;
ret_val.ifr() = ANY_VALUE;
{
Can::CANFD__frame_template& tmp_1 = ret_val.frame().canfd__frame();
tmp_1.can__id() = p__can__id;
tmp_1.can__flags() = p__can__flags;
tmp_1.can__pdu() = p__can__pdu;
}
ret_val.timestamp() = ANY_VALUE;
return ret_val;
}

SocketCAN__Types::SocketCAN__receive__CAN__or__CAN__FD__frame_template a__SocketCAN__receive__CAN__or__CAN__FD__frame(const INTEGER_template& p__id, const SocketCAN__Types::SocketCAN__CAN__or__CAN__FD__frame_template& p__frame)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 88, TTCN_Location::LOCATION_TEMPLATE, "a_SocketCAN_receive_CAN_or_CAN_FD_frame");
SocketCAN__Types::SocketCAN__receive__CAN__or__CAN__FD__frame_template ret_val;
ret_val.id() = p__id;
ret_val.ifr() = ANY_VALUE;
ret_val.frame() = p__frame;
ret_val.timestamp() = ANY_VALUE;
return ret_val;
}

SocketCAN__Types::SocketCAN__receive__BCM__message_template a__SocketCAN__receive__BCM__message(const INTEGER_template& p__id, const Bcm::SocketCAN__bcm__frame_template& p__frame)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 98, TTCN_Location::LOCATION_TEMPLATE, "a_SocketCAN_receive_BCM_message");
SocketCAN__Types::SocketCAN__receive__BCM__message_template ret_val;
ret_val.id() = p__id;
ret_val.ifr() = ANY_VALUE;
ret_val.frame() = p__frame;
return ret_val;
}

SocketCAN__Types::SocketCAN__setsockopt__result_template a__SocketCAN__setsockopt__result(const SocketCAN__Types::SocketCAN__Result_template& p__result)
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 107, TTCN_Location::LOCATION_TEMPLATE, "a_SocketCAN_setsockopt_result");
SocketCAN__Types::SocketCAN__setsockopt__result_template ret_val;
ret_val.result() = p__result;
return ret_val;
}


/* Bodies of static functions */

static void pre_init_module()
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 0, TTCN_Location::LOCATION_UNKNOWN, "SocketCAN_Templates");
SocketCAN__Types::module_object.pre_init_module();
}

static void post_init_module()
{
TTCN_Location current_location("../src/SocketCAN_Templates.ttcn", 0, TTCN_Location::LOCATION_UNKNOWN, "SocketCAN_Templates");
SocketCAN__Types::module_object.post_init_module();
}


} /* end of namespace */