| /////////////////////////////////////////////////////////////////////////////// |
| // |
| // 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 |
| } |
| } |
| } |
| } |