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

namespace IPCP__Templates {

/* Literal string constants */

const unsigned char os_0_octets[] = { 0, 0, 0, 0 };
extern const OCTETSTRING os_0(4, os_0_octets);
const unsigned char module_checksum[] = { 0x70, 0xb6, 0x37, 0xd1, 0x15, 0xf4, 0xd2, 0xe4, 0x22, 0xfb, 0x98, 0xc5, 0x72, 0x7c, 0x4b, 0x53 };

/* Global variable definitions */

INTEGER_template template_tr__IPCP__Ack__DNS_identifier_defval;
const INTEGER_template& tr__IPCP__Ack__DNS_identifier_defval = template_tr__IPCP__Ack__DNS_identifier_defval;
OCTETSTRING_template template_tr__IPCP__Ack__DNS_dns1_defval;
const OCTETSTRING_template& tr__IPCP__Ack__DNS_dns1_defval = template_tr__IPCP__Ack__DNS_dns1_defval;
OCTETSTRING_template template_tr__IPCP__Ack__DNS_dns2_defval;
const OCTETSTRING_template& tr__IPCP__Ack__DNS_dns2_defval = template_tr__IPCP__Ack__DNS_dns2_defval;
INTEGER_template template_ts__IPCP__ReqDNS_identifier_defval;
const INTEGER_template& ts__IPCP__ReqDNS_identifier_defval = template_ts__IPCP__ReqDNS_identifier_defval;
INTEGER_template template_ts__IPCP__ReqDNS__Primary_identifier_defval;
const INTEGER_template& ts__IPCP__ReqDNS__Primary_identifier_defval = template_ts__IPCP__ReqDNS__Primary_identifier_defval;
INTEGER_template template_ts__IPCP__ReqDNS__Secondary_identifier_defval;
const INTEGER_template& ts__IPCP__ReqDNS__Secondary_identifier_defval = template_ts__IPCP__ReqDNS__Secondary_identifier_defval;
TTCN_Module module_object("IPCP_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_11,
  current_runtime_version.requires_minor_version_1,
  current_runtime_version.requires_patch_level_0,  current_runtime_version.requires_runtime_1);

/* Bodies of functions, altsteps and testcases */

IPCP__Types::IpcpPacket_template tr__IPCP(const IPCP__Types::LcpCode_template& code, const INTEGER_template& identifier, const IPCP__Types::IpcpOptionList_template& opts)
{
TTCN_Location current_location("IPCP_Templates.ttcn", 16, TTCN_Location::LOCATION_TEMPLATE, "tr_IPCP");
IPCP__Types::IpcpPacket_template ret_val;
ret_val.code() = code;
ret_val.identifier() = identifier;
ret_val.len() = ANY_VALUE;
ret_val.options() = opts;
return ret_val;
}

IPCP__Types::IpcpPacket_template ts__IPCP(const IPCP__Types::LcpCode_template& code, const INTEGER_template& identifier, const IPCP__Types::IpcpOptionList_template& opts)
{
TTCN_Location current_location("IPCP_Templates.ttcn", 24, TTCN_Location::LOCATION_TEMPLATE, "ts_IPCP");
IPCP__Types::IpcpPacket_template ret_val;
ret_val.code() = code;
ret_val.identifier() = identifier;
ret_val.len() = 0;
ret_val.options() = opts;
return ret_val;
}

IPCP__Types::IpcpOption_template tr__IPCP__PrimaryDns(const OCTETSTRING_template& addr)
{
TTCN_Location current_location("IPCP_Templates.ttcn", 32, TTCN_Location::LOCATION_TEMPLATE, "tr_IPCP_PrimaryDns");
IPCP__Types::IpcpOption_template ret_val;
ret_val.code() = IPCP__Types::IpcpConfigOptCode::IPCP__OPT__PrimaryDNS;
ret_val.len() = 6;
ret_val.data() = addr;
return ret_val;
}

IPCP__Types::IpcpOption_template ts__IPCP__PrimaryDns(const OCTETSTRING_template& addr)
{
TTCN_Location current_location("IPCP_Templates.ttcn", 37, TTCN_Location::LOCATION_TEMPLATE, "ts_IPCP_PrimaryDns");
IPCP__Types::IpcpOption_template ret_val;
ret_val.code() = IPCP__Types::IpcpConfigOptCode::IPCP__OPT__PrimaryDNS;
ret_val.len() = 6;
ret_val.data() = addr;
return ret_val;
}

IPCP__Types::IpcpOption_template tr__IPCP__SecondaryDns(const OCTETSTRING_template& addr)
{
TTCN_Location current_location("IPCP_Templates.ttcn", 42, TTCN_Location::LOCATION_TEMPLATE, "tr_IPCP_SecondaryDns");
IPCP__Types::IpcpOption_template ret_val;
ret_val.code() = IPCP__Types::IpcpConfigOptCode::IPCP__OPT__SecondaryDNS;
ret_val.len() = 6;
ret_val.data() = addr;
return ret_val;
}

IPCP__Types::IpcpOption_template ts__IPCP__SecondaryDns(const OCTETSTRING_template& addr)
{
TTCN_Location current_location("IPCP_Templates.ttcn", 47, TTCN_Location::LOCATION_TEMPLATE, "ts_IPCP_SecondaryDns");
IPCP__Types::IpcpOption_template ret_val;
ret_val.code() = IPCP__Types::IpcpConfigOptCode::IPCP__OPT__SecondaryDNS;
ret_val.len() = 6;
ret_val.data() = addr;
return ret_val;
}

IPCP__Types::IpcpPacket_template tr__IPCP__Ack__DNS(const INTEGER_template& identifier, const OCTETSTRING_template& dns1, const OCTETSTRING_template& dns2)
{
TTCN_Location current_location("IPCP_Templates.ttcn", 52, TTCN_Location::LOCATION_TEMPLATE, "tr_IPCP_Ack_DNS");
IPCP__Types::IpcpPacket_template ret_val;
{
IPCP__Types::IpcpOptionList_template tmp_0;
tmp_0.set_size(5);
tmp_0[0] = ANY_OR_OMIT;
tmp_0[1] = tr__IPCP__PrimaryDns(dns1);
tmp_0[2] = ANY_OR_OMIT;
tmp_0[3] = tr__IPCP__SecondaryDns(dns2);
tmp_0[4] = ANY_OR_OMIT;
ret_val = tr__IPCP(IPCP__Types::LcpCode_template(IPCP__Types::LcpCode::LCP__Configure__Ack), identifier, tmp_0);
}
return ret_val;
}

IPCP__Types::IpcpPacket_template ts__IPCP__ReqDNS(const INTEGER_template& identifier)
{
TTCN_Location current_location("IPCP_Templates.ttcn", 58, TTCN_Location::LOCATION_TEMPLATE, "ts_IPCP_ReqDNS");
IPCP__Types::IpcpPacket_template ret_val;
{
IPCP__Types::IpcpOptionList_template tmp_1;
tmp_1.set_size(2);
tmp_1[0] = ts__IPCP__PrimaryDns(OCTETSTRING_template(os_0));
tmp_1[1] = ts__IPCP__SecondaryDns(OCTETSTRING_template(os_0));
ret_val = ts__IPCP(IPCP__Types::LcpCode_template(IPCP__Types::LcpCode::LCP__Configure__Request), identifier, tmp_1);
}
return ret_val;
}

IPCP__Types::IpcpPacket_template ts__IPCP__ReqDNS__Primary(const INTEGER_template& identifier)
{
TTCN_Location current_location("IPCP_Templates.ttcn", 62, TTCN_Location::LOCATION_TEMPLATE, "ts_IPCP_ReqDNS_Primary");
IPCP__Types::IpcpPacket_template ret_val;
{
IPCP__Types::IpcpOptionList_template tmp_2;
tmp_2.set_size(1);
tmp_2[0] = ts__IPCP__PrimaryDns(OCTETSTRING_template(os_0));
ret_val = ts__IPCP(IPCP__Types::LcpCode_template(IPCP__Types::LcpCode::LCP__Configure__Request), identifier, tmp_2);
}
return ret_val;
}

IPCP__Types::IpcpPacket_template ts__IPCP__ReqDNS__Secondary(const INTEGER_template& identifier)
{
TTCN_Location current_location("IPCP_Templates.ttcn", 65, TTCN_Location::LOCATION_TEMPLATE, "ts_IPCP_ReqDNS_Secondary");
IPCP__Types::IpcpPacket_template ret_val;
{
IPCP__Types::IpcpOptionList_template tmp_3;
tmp_3.set_size(1);
tmp_3[0] = ts__IPCP__SecondaryDns(OCTETSTRING_template(os_0));
ret_val = ts__IPCP(IPCP__Types::LcpCode_template(IPCP__Types::LcpCode::LCP__Configure__Request), identifier, tmp_3);
}
return ret_val;
}


/* Bodies of static functions */

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

void post_init_module()
{
TTCN_Location current_location("IPCP_Templates.ttcn", 0, TTCN_Location::LOCATION_UNKNOWN, "IPCP_Templates");
IPCP__Types::module_object.post_init_module();
current_location.update_lineno(52);
/* IPCP_Templates.ttcn, line 52 */
template_tr__IPCP__Ack__DNS_identifier_defval = ANY_VALUE;
current_location.update_lineno(53);
/* IPCP_Templates.ttcn, line 53 */
template_tr__IPCP__Ack__DNS_dns1_defval = ANY_VALUE;
current_location.update_lineno(54);
/* IPCP_Templates.ttcn, line 54 */
template_tr__IPCP__Ack__DNS_dns2_defval = ANY_VALUE;
current_location.update_lineno(58);
/* IPCP_Templates.ttcn, line 58 */
template_ts__IPCP__ReqDNS_identifier_defval = 0;
current_location.update_lineno(62);
/* IPCP_Templates.ttcn, line 62 */
template_ts__IPCP__ReqDNS__Primary_identifier_defval = 0;
current_location.update_lineno(65);
/* IPCP_Templates.ttcn, line 65 */
template_ts__IPCP__ReqDNS__Secondary_identifier_defval = 0;
}


} /* end of namespace */