blob: fd473e84cf1c1961bfb08507c2d089ebce36f721 [file] [log] [blame]
///////////////////////////////////////////////////////////////////////////////
//
// Copyright (c) 2000-2017 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
}
}