// This C++ source file was generated by the TTCN-3 compiler
// of the TTCN-3 Test Executor version 11.1.0
// The generation of user and time information were disabled by the -D flag.

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

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

/* Including header files */

#include "TRXC_CodecPort_CtrlFunct.hh"

namespace TRXC__CodecPort__CtrlFunct {

/* Literal string constants */

const unsigned char module_checksum[] = { 0xbf, 0xa1, 0xfa, 0xe6, 0x41, 0x46, 0x37, 0x27, 0xb7, 0xc7, 0x32, 0xa2, 0x5c, 0x74, 0xd0, 0x68 };

/* Global variable definitions */

IPL4asp__Types::OptionList const_f__IPL4__listen_options_defval;
const IPL4asp__Types::OptionList& f__IPL4__listen_options_defval = const_f__IPL4__listen_options_defval;
IPL4asp__Types::OptionList const_f__IPL4__connect_options_defval;
const IPL4asp__Types::OptionList& f__IPL4__connect_options_defval = const_f__IPL4__connect_options_defval;
Socket__API__Definitions::ProtoTuple const_f__IPL4__close_proto_defval;
const Socket__API__Definitions::ProtoTuple& f__IPL4__close_proto_defval = const_f__IPL4__close_proto_defval;
TTCN_Module module_object("TRXC_CodecPort_CtrlFunct", __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);

const RuntimeVersionChecker ver_checker(  current_runtime_version.requires_major_version_11,
  current_runtime_version.requires_minor_version_1,
  current_runtime_version.requires_patch_level_0,  current_runtime_version.requires_runtime_1);

/* Bodies of static functions */

void pre_init_module()
{
TTCN_Location current_location("TRXC_CodecPort_CtrlFunct.ttcn", 0, TTCN_Location::LOCATION_UNKNOWN, "TRXC_CodecPort_CtrlFunct");
TRXC__CodecPort::module_object.pre_init_module();
module_object.add_function("f_IPL4_listen", (genericfunc_t)&f__IPL4__listen, NULL);
module_object.add_function("f_IPL4_connect", (genericfunc_t)&f__IPL4__connect, NULL);
module_object.add_function("f_IPL4_close", (genericfunc_t)&f__IPL4__close, NULL);
module_object.add_function("f_IPL4_setUserData", (genericfunc_t)&f__IPL4__setUserData, NULL);
module_object.add_function("f_IPL4_getUserData", (genericfunc_t)&f__IPL4__getUserData, NULL);
}

void post_init_module()
{
TTCN_Location current_location("TRXC_CodecPort_CtrlFunct.ttcn", 0, TTCN_Location::LOCATION_UNKNOWN, "TRXC_CodecPort_CtrlFunct");
TRXC__CodecPort::module_object.post_init_module();
current_location.update_lineno(11);
/* TRXC_CodecPort_CtrlFunct.ttcn, line 11 */
const_f__IPL4__listen_options_defval = NULL_VALUE;
current_location.update_lineno(22);
/* TRXC_CodecPort_CtrlFunct.ttcn, line 22 */
const_f__IPL4__connect_options_defval = NULL_VALUE;
current_location.update_lineno(28);
/* TRXC_CodecPort_CtrlFunct.ttcn, line 28 */
const_f__IPL4__close_proto_defval.unspecified() = NULL_VALUE;
}


} /* end of namespace */