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

namespace OSMUX__CodecPort__CtrlFunct {

/* Literal string constants */

const unsigned char module_checksum[] = { 0xac, 0xfc, 0x01, 0x00, 0x4e, 0x8f, 0x18, 0x28, 0x87, 0x3c, 0xfc, 0x86, 0x1e, 0x62, 0xe6, 0x93 };

/* 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("OSMUX_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("OSMUX_CodecPort_CtrlFunct.ttcn", 0, TTCN_Location::LOCATION_UNKNOWN, "OSMUX_CodecPort_CtrlFunct");
OSMUX__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("OSMUX_CodecPort_CtrlFunct.ttcn", 0, TTCN_Location::LOCATION_UNKNOWN, "OSMUX_CodecPort_CtrlFunct");
OSMUX__CodecPort::module_object.post_init_module();
current_location.update_lineno(11);
/* OSMUX_CodecPort_CtrlFunct.ttcn, line 11 */
const_f__IPL4__listen_options_defval = NULL_VALUE;
current_location.update_lineno(22);
/* OSMUX_CodecPort_CtrlFunct.ttcn, line 22 */
const_f__IPL4__connect_options_defval = NULL_VALUE;
current_location.update_lineno(28);
/* OSMUX_CodecPort_CtrlFunct.ttcn, line 28 */
const_f__IPL4__close_proto_defval.unspecified() = NULL_VALUE;
}


} /* end of namespace */
