///////////////////////////////////////////////////////////////////////////////
//
// Copyright (c) 2000-2018 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_CoAP_Peer_Definitions.ttcn
//  Description:
//  Rev:                R1A
//  Prodnr:             LPA 108 661
//  Updated:            2017-09-01
//  Contact:            http://ttcn.ericsson.se
///////////////////////////////////////////////////////////////////////////////
module IFW_CoAP_Peer_Definitions
{
	import from CoAP_Types all;
	import from IPL4asp_Types all;
	import from IPL4asp_PortType all;
	import from IFW_Common all;
	
	type component IFW_COAP_CT extends IFW_BASE_CT
	{
	    var CoapContext ctx := CoapContext_empty; 
	    
		var CoAP_ReqResp msgToSend := c_CoAP_ReqResp_empty;
		var CoAP_ReqResp lastReceived := c_CoAP_ReqResp_empty;
		
		var ASP_SendTo_List buffer := {};
	  
    	port IPL4asp_PT IPL4_PCO;
	}

	type record CoapContext
	{
		integer connId,
		boolean temporarilyUnavailable,
		integer connId_listen,
		charstring remoteHost,
		integer remotePort,
        ProtoTuple connectProtocol,
        OptionList connectOptions,
		charstring localHost,
		integer localPort,
        ProtoTuple listeningProtocol,
        OptionList listeningOptions,
		boolean cherryPickOptionsCheck,
		Charstring_List locationPath
	}
	with { extension "done" }
	
	type record CoapPSKParameters
	{
	  charstring identity,
	  charstring key
	}

	const CoapContext CoapContext_empty :=
	{
		connId := -1,
		temporarilyUnavailable := false,
		connId_listen := -1,
		remoteHost := "",
		remotePort := -1,
        connectProtocol := { udp := {} },
        connectOptions := {{reuseAddress := {enable := true}}},
		localHost := "",
		localPort := -1,
        listeningProtocol := { udp := {} },
        listeningOptions := {{reuseAddress := {enable := true}}},
		cherryPickOptionsCheck := false,
		locationPath := {}
	}
	
	type record of ASP_SendTo ASP_SendTo_List;
	
	const CoAP_ReqResp c_CoAP_ReqResp_empty :=
	{
	  	header := 
	  	{
    		version := 1,
    		msg_type := CONFIRMABLE,
    		code :=
    		{
    			class := 0,
    			detail := 0
			},
    		message_id := 0
	  	},
    	token := ''O,
    	options := omit,
    	payload := omit
	}
		
	template CoAP_ReqResp t_CoAP_ReqResp_empty :=
	{
	  	header := 
	  	{
    		version := ?,
    		msg_type := ?,
    		code :=
    		{
    			class := ?,
    			detail := ?
			},
    		message_id := ?
	  	},
    	token := ?,
    	options := *,
    	payload := *
	}
	
	type record of UCHAR0_255 Charstring_List;

	type enumerated MID_Generation {
	  GENERATE_NEW_MID,
	  USE_GIVEN_MID,
	  USE_LAST_RECEIVED_MID
        }

    type enumerated Token_Generation {
      GENERATE_NEW_TOKEN,
      USE_GIVEN_TOKEN,
      USE_LAST_RECEIVED_TOKEN
    }
	
	type enumerated MID_Check {
	  CHECK_MID,
	  DO_NOT_CHECK_MID
	}
}