// This C++ source file was generated by the TTCN-3 compiler
// of the TTCN-3 Test Executor version 9.0.0
// for  (build@3978f7fbee0c) on Mon Jun 24 02:37:33 2024

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

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

/* Including header files */

#include "SCTP_Templates.hh"

namespace SCTP__Templates {

/* Literal string constants */

const unsigned char module_checksum[] = { 0x91, 0x83, 0x1e, 0x2b, 0xad, 0x40, 0x6f, 0x04, 0xb4, 0x9b, 0x5d, 0x86, 0x5e, 0xf3, 0x73, 0xde };

/* Global variable definitions */

INTEGER_template template_ts__SctpTuple_ppid_defval;
const INTEGER_template& ts__SctpTuple_ppid_defval = template_ts__SctpTuple_ppid_defval;
INTEGER_template template_ts__SctpTuple_assoc__id_defval;
const INTEGER_template& ts__SctpTuple_assoc__id_defval = template_ts__SctpTuple_assoc__id_defval;
INTEGER_template template_tr__SctpTuple_ppid_defval;
const INTEGER_template& tr__SctpTuple_ppid_defval = template_tr__SctpTuple_ppid_defval;
INTEGER_template template_tr__SctpTuple_assoc__id_defval;
const INTEGER_template& tr__SctpTuple_assoc__id_defval = template_tr__SctpTuple_assoc__id_defval;
Socket__API__Definitions::SAC__STATE_template template_tr__SctpAssocChange_state_defval;
const Socket__API__Definitions::SAC__STATE_template& tr__SctpAssocChange_state_defval = template_tr__SctpAssocChange_state_defval;
INTEGER_template template_tr__SctpAssocChange_conn__id_defval;
const INTEGER_template& tr__SctpAssocChange_conn__id_defval = template_tr__SctpAssocChange_conn__id_defval;
Socket__API__Definitions::SctpTuple_template template_tr__SctpAssocChange_sctp_defval;
const Socket__API__Definitions::SctpTuple_template& tr__SctpAssocChange_sctp_defval = template_tr__SctpAssocChange_sctp_defval;
Socket__API__Definitions::SPC__STATE_template template_tr__SctpPeerAddrChange_state_defval;
const Socket__API__Definitions::SPC__STATE_template& tr__SctpPeerAddrChange_state_defval = template_tr__SctpPeerAddrChange_state_defval;
INTEGER_template template_tr__SctpPeerAddrChange_conn__id_defval;
const INTEGER_template& tr__SctpPeerAddrChange_conn__id_defval = template_tr__SctpPeerAddrChange_conn__id_defval;
INTEGER_template template_tr__SctpShutDownEvent_conn__id_defval;
const INTEGER_template& tr__SctpShutDownEvent_conn__id_defval = template_tr__SctpShutDownEvent_conn__id_defval;
TTCN_Module module_object("SCTP_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);

const RuntimeVersionChecker ver_checker(  current_runtime_version.requires_major_version_9,
  current_runtime_version.requires_minor_version_0,
  current_runtime_version.requires_patch_level_0,  current_runtime_version.requires_runtime_1);

/* Bodies of functions, altsteps and testcases */

Socket__API__Definitions::SctpTuple_template ts__SctpTuple(const INTEGER_template& ppid, const INTEGER_template& assoc__id)
{
TTCN_Location current_location("SCTP_Templates.ttcn", 15, TTCN_Location::LOCATION_TEMPLATE, "ts_SctpTuple");
Socket__API__Definitions::SctpTuple_template ret_val;
ret_val.sinfo__stream() = OMIT_VALUE;
ret_val.sinfo__ppid() = ppid;
ret_val.remSocks() = OMIT_VALUE;
ret_val.assocId() = assoc__id;
return ret_val;
}

Socket__API__Definitions::SctpTuple_template tr__SctpTuple(const INTEGER_template& ppid, const INTEGER_template& assoc__id)
{
TTCN_Location current_location("SCTP_Templates.ttcn", 23, TTCN_Location::LOCATION_TEMPLATE, "tr_SctpTuple");
Socket__API__Definitions::SctpTuple_template ret_val;
ret_val.sinfo__stream() = ANY_OR_OMIT;
ret_val.sinfo__ppid() = ppid;
ret_val.remSocks() = ANY_OR_OMIT;
ret_val.assocId() = assoc__id;
return ret_val;
}

Socket__API__Definitions::PortEvent_template tr__SctpAssocChange(const Socket__API__Definitions::SAC__STATE_template& state, const INTEGER_template& conn__id, const Socket__API__Definitions::SctpTuple_template& sctp)
{
TTCN_Location current_location("SCTP_Templates.ttcn", 33, TTCN_Location::LOCATION_TEMPLATE, "tr_SctpAssocChange");
Socket__API__Definitions::PortEvent_template ret_val;
{
Socket__API__Definitions::SctpAssocChange_template& tmp_0 = ret_val.sctpEvent().sctpAssocChange();
tmp_0.clientId() = conn__id;
tmp_0.proto().sctp() = sctp;
tmp_0.sac__state() = state;
}
return ret_val;
}

Socket__API__Definitions::PortEvent_template tr__SctpPeerAddrChange(const Socket__API__Definitions::SPC__STATE_template& state, const INTEGER_template& conn__id)
{
TTCN_Location current_location("SCTP_Templates.ttcn", 48, TTCN_Location::LOCATION_TEMPLATE, "tr_SctpPeerAddrChange");
Socket__API__Definitions::PortEvent_template ret_val;
{
Socket__API__Definitions::SctpPeerAddrChange_template& tmp_1 = ret_val.sctpEvent().sctpPeerAddrChange();
tmp_1.clientId() = conn__id;
tmp_1.spc__state() = state;
}
return ret_val;
}

Socket__API__Definitions::PortEvent_template tr__SctpShutDownEvent(const INTEGER_template& conn__id)
{
TTCN_Location current_location("SCTP_Templates.ttcn", 59, TTCN_Location::LOCATION_TEMPLATE, "tr_SctpShutDownEvent");
Socket__API__Definitions::PortEvent_template ret_val;
ret_val.sctpEvent().sctpShutDownEvent().clientId() = conn__id;
return ret_val;
}


/* Bodies of static functions */

void pre_init_module()
{
TTCN_Location current_location("SCTP_Templates.ttcn", 0, TTCN_Location::LOCATION_UNKNOWN, "SCTP_Templates");
Socket__API__Definitions::module_object.pre_init_module();
}

void post_init_module()
{
TTCN_Location current_location("SCTP_Templates.ttcn", 0, TTCN_Location::LOCATION_UNKNOWN, "SCTP_Templates");
Socket__API__Definitions::module_object.post_init_module();
current_location.update_lineno(16);
/* SCTP_Templates.ttcn, line 16 */
template_ts__SctpTuple_ppid_defval = OMIT_VALUE;
current_location.update_lineno(17);
/* SCTP_Templates.ttcn, line 17 */
template_ts__SctpTuple_assoc__id_defval = OMIT_VALUE;
current_location.update_lineno(24);
/* SCTP_Templates.ttcn, line 24 */
template_tr__SctpTuple_ppid_defval = ANY_OR_OMIT;
current_location.update_lineno(25);
/* SCTP_Templates.ttcn, line 25 */
template_tr__SctpTuple_assoc__id_defval = ANY_OR_OMIT;
current_location.update_lineno(34);
/* SCTP_Templates.ttcn, line 34 */
template_tr__SctpAssocChange_state_defval = ANY_VALUE;
current_location.update_lineno(35);
/* SCTP_Templates.ttcn, line 35 */
template_tr__SctpAssocChange_conn__id_defval = ANY_VALUE;
current_location.update_lineno(36);
/* SCTP_Templates.ttcn, line 36 */
template_tr__SctpAssocChange_sctp_defval = ANY_VALUE;
current_location.update_lineno(49);
/* SCTP_Templates.ttcn, line 49 */
template_tr__SctpPeerAddrChange_state_defval = ANY_VALUE;
current_location.update_lineno(50);
/* SCTP_Templates.ttcn, line 50 */
template_tr__SctpPeerAddrChange_conn__id_defval = ANY_VALUE;
current_location.update_lineno(60);
/* SCTP_Templates.ttcn, line 60 */
template_tr__SctpShutDownEvent_conn__id_defval = ANY_VALUE;
}


} /* end of namespace */