///////////////////////////////////////////////////////////////////////////////
//
// Copyright (c) 2000-2020 Ericsson Telecom AB
//
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
//  File:               IFW_MQTT_Server_Definitions.ttcn
//  Description:
//  Rev:                <RnXnn>
//  Prodnr:             CNL 113 910
//  Updated:            2020-03-06
//  Contact:            http://ttcn.ericsson.se
///////////////////////////////////////////////////////////////////////////////
module IFW_MQTT_Server_Definitions
{
  import from MQTT_v3_1_1_Types all;
  import from IPL4asp_PortType all;
  import from IFW_Common all;

  type component IFW_MQTT_Server_CT extends IFW_BASE_CT
  {
    var MqttServerContext ctx := c_MqttServerContext_empty; 

    var MQTT_v3_1_1_ReqResp msgToSend := c_MQTTMessage_empty;
    var MQTT_v3_1_1_ReqResp lastReceived := c_MQTTMessage_empty;

    port IPL4asp_PT IPL4_PCO;
  }

  type record MqttServerContext
  {
    integer serverConnId,
    integer clientConnId,
    charstring localHost,
    integer localPort,
    charstring remoteHost,
    integer remotePort
  }	
  with { extension "done" }

  const MqttServerContext c_MqttServerContext_empty :=
  {
    serverConnId := -1,
    clientConnId := -1,
    localHost := "",
    localPort := -1,
    remoteHost := "",
    remotePort := -1
  }

  const MQTT_v3_1_1_ReqResp c_MQTTMessage_empty :=
  {
    pingreq :=
    {
      header := {
        flags := '0000'B
      }
    }
  }
}