66 lines
1.8 KiB
Plaintext
66 lines
1.8 KiB
Plaintext
/* IPCP (IP Configuration Protocol) in TTCN-3
|
|
* (C) 2017 Harald Welte <laforge@gnumonks.org>
|
|
* All rights reserved.
|
|
*
|
|
* Released under the terms of GNU General Public License, Version 2 or
|
|
* (at your option) any later version.
|
|
*
|
|
* SPDX-License-Identifier: GPL-2.0-or-later
|
|
*/
|
|
|
|
module IPCP_Types {
|
|
|
|
import from Osmocom_Types all;
|
|
|
|
/* RFC1331 Section 6 */
|
|
type enumerated LcpCode {
|
|
LCP_Configure_Request ('01'O),
|
|
LCP_Configure_Ack ('02'O),
|
|
LCP_Configure_Nak ('03'O),
|
|
LCP_Configure_Reject ('04'O),
|
|
LCP_Terminate_Requeest ('05'O),
|
|
LCP_Terminate_Ack ('06'O),
|
|
LCP_Code_Reject ('07'O),
|
|
LCP_Protocol_Reject ('08'O),
|
|
LCP_Echo_Request ('09'O),
|
|
LCP_Echo_Reply ('10'O),
|
|
LCP_Discarded_Request ('11'O),
|
|
LCP_Reserved ('12'O)
|
|
} with { variant "FIELDLENGTH(8)" };
|
|
|
|
type record IpcpPacket {
|
|
LcpCode code,
|
|
uint8_t identifier,
|
|
uint16_t len,
|
|
IpcpOptionList options
|
|
} with { variant (len) "LENGTHTO(code,identifier,len,options)" };
|
|
|
|
/* RFC1332 */
|
|
type enumerated IpcpConfigOptCode {
|
|
IPCP_OPT_IpAddresses ('01'O),
|
|
IPCP_OPT_IpCompressionProtocol ('02'O),
|
|
IPCP_OPT_IpAddress ('03'O),
|
|
IPCP_OPT_MobileIPv4 ('04'O),/* RFC 2290 */
|
|
IPCP_OPT_PrimaryDNS (129), /* RFC 1877 */
|
|
IPCP_OPT_PrimaryNBNS (130), /* RFC 1877 */
|
|
IPCP_OPT_SecondaryDNS (131), /* RFC 1877 */
|
|
IPCP_OPT_SecondaryNBNS (132) /* RFC 1877 */
|
|
} with { variant "FIELDLENGTH(8)" };
|
|
|
|
type record IpcpOption {
|
|
IpcpConfigOptCode code,
|
|
uint8_t len,
|
|
octetstring data
|
|
} with { variant (len) "LENGTHTO(code,len,data)" };
|
|
|
|
type record of IpcpOption IpcpOptionList;
|
|
|
|
external function enc_IpcpPacket(in IpcpPacket inp) return octetstring
|
|
with { extension "prototype(convert)" extension "encode(RAW)" };
|
|
|
|
external function dec_IpcpPacket(in octetstring inp) return IpcpPacket
|
|
with { extension "prototype(convert)" extension "decode(RAW)" };
|
|
|
|
|
|
} with { encode "RAW" ; variant "FIELDORDER(msb)" }
|