import Ericsson NS, ISUP, ROHC and SNDCP modules for TITAN
diff --git a/ROHC_CNL113426_LATEST/src/ROHC_Types.ttcn b/ROHC_CNL113426_LATEST/src/ROHC_Types.ttcn
new file mode 100644
index 0000000..5ca513e
--- /dev/null
+++ b/ROHC_CNL113426_LATEST/src/ROHC_Types.ttcn
@@ -0,0 +1,1079 @@
+///////////////////////////////////////////////////////////////////////////////
+// //
+// Copyright Test Competence Center(TCC) ETH 2003 //
+// //
+// The copyright to the computer program(s) herein is the property of TCC. //
+// The program(s) may be used and/or copied only with the written permission //
+// of TCC or in accordance with the terms and conditions stipulated in the //
+// agreement/contract under which the program(s) has been supplied. //
+// //
+///////////////////////////////////////////////////////////////////////////////
+//
+// File: ROHC_Types.ttcn
+// Description: ROHC
+// Rev: R3A01
+// Prodnr: CNL 113 426
+// Updated: 2006.04.13
+// Contact: http://ttcn.ericsson.se
+//
+
+/* Based on RFC 3095, July 2001 */
+
+/* TODO: improvements::
+- Profile4_Dynamic_Chain_u should not contain the sn field
+
+ethesi */
+
+module ROHC_Types
+{
+import from General_Types all;
+
+external function f_ROHC_enc(in ROHC_packet_u pdu, in ROHC_config p_config)
+return octetstring;
+external function f_ROHC_dec(in octetstring data, inout ROHC_config p_config)
+return ROHC_packet_u;
+external function f_ROHC_CRC(in octetstring data, in integer crclen)
+return integer;
+external function f_FBCK_enc(in Feedback_data pdu, in ROHC_config p_config)
+return octetstring;
+external function f_FBCK_dec(in octetstring data, in ROHC_config p_config)
+return Feedback_data;
+
+/* Constants for ROHC mode field values including mode cancellation */
+const integer cg_ROHC_mode_C := 0;
+const integer cg_ROHC_mode_U := 1;
+const integer cg_ROHC_mode_O := 2;
+const integer cg_ROHC_mode_R := 3;
+
+/* Constants for ROHC feedback type */
+const integer cg_ROHC_fbck_type_ACK := 0;
+const integer cg_ROHC_fbck_type_NACK := 1;
+const integer cg_ROHC_fbck_type_SNACK := 2;
+const integer cg_ROHC_fbck_type_reserved := 3;
+
+type bitstring ROHC_BIT7_BO_LAST length (7) with {variant "BYTEORDER(last)"};
+
+type enumerated Packet_type { R_0(0), R_0_CRC(1), UO_0(2), R_1(3), R_1_ID(4),
+ R_1_TS(5), UO_1(6), UO_1_ID(7), UO_1_TS(8), UOR_2(9), UOR_2_ID(10),
+ UOR_2_TS(11), IR(12), IR_DYN(13), NOPKT(14) };
+
+/* ==================== ROHC configuration and context ==================== */
+
+ type record IP_context {
+ /* Version of this IP level. MSB bit may be set (Profile 4 only). */
+ integer version,
+ /* RND bit of this IP level (RND or RND2) */
+ boolean rnd_bit,
+ /* Whether AH is present in the IPX index list */
+ boolean ah_present,
+ /* Whether GRE is present in the IPX index list */
+ boolean gre_present,
+ /* Whether ESP is present in the IPX index list */
+ boolean esp_present,
+ /* Length of the compressed AH data field after the base header */
+ integer ah_data_len,
+ /* Whether GRE header has GRE checksum or not */
+ boolean gre_cksum_present
+ };
+
+ type record UDP_context {
+ boolean udp_cksum
+ };
+
+ type record of IP_context IP_contexts;
+
+ type record ROHC_context {
+ integer mode,
+ integer profile,
+ /* The decoded packet type */
+ Packet_type pkt,
+ IP_contexts ip_ctx,
+ UDP_context udp_ctx
+ };
+
+ type record of integer int_array;
+
+ type record of ROHC_context ROHC_context_rof;
+
+ type record ROHC_config {
+ boolean large_cid,
+ int_array rtp_ports,
+ ROHC_context_rof context
+ };
+
+ type port ROHC_ASP_SP_PT message
+ {
+ inout ROHC_packet_u;
+ inout octetstring;
+ } with { extension "internal" }
+
+
+ /* ROHC Configuration port */
+ type record ROHC_ROHCCFG_REQ_setconfig
+ {
+ ROHC_config config
+ }
+
+ type enumerated ROHC_ROHCCFG_REQ_operation { rohccfg_getconfig }
+
+ type union ROHC_ROHCCFG_REQ
+ {
+ ROHC_ROHCCFG_REQ_operation simpleop,
+ ROHC_ROHCCFG_REQ_setconfig setconfig
+ }
+
+ type enumerated ROHC_ROHCCFG_RSP_operation { rohccfg_ok }
+
+ type record ROHC_ROHCCFG_RSP_config
+ {
+ ROHC_config config
+ }
+
+ type union ROHC_ROHCCFG_RSP
+ {
+ ROHC_ROHCCFG_RSP_operation simpleop,
+ ROHC_ROHCCFG_RSP_config config
+ }
+
+ type port ROHC_PORTCFG_PT message
+ {
+ inout ROHC_config;
+ inout charstring;
+ inout ROHC_ROHCCFG_REQ;
+ inout ROHC_ROHCCFG_RSP;
+ } with { extension "internal" }
+
+ type union ROHC_packet_u
+ {
+ ROHC_packet rohc,
+ Segment_packet segment
+ }
+
+ type record ROHC_packet /* p.42 */
+ {
+ Padding padding optional,
+ Feedback feedback optional,
+ Header header,
+ Payload payload optional
+ };
+
+/* TODO CHECK: why this is needed ?
+type record Reconstructed_unit
+{
+ octetstring reconstructed_packet,
+ OCT4 CRC
+}; */
+
+ type record Segment_packet /* p.50 */
+ {
+ Padding padding optional,
+ Feedback feedback optional,
+ INT7b segment_header_id, /* Must be 127 (0x7F) */
+ boolean final,
+ Payload payload optional,
+ integer crc optional
+ };
+
+ type octetstring Padding; /* Must be a serie of 0xE0 */
+ type octetstring Payload;
+
+ type OCT1n Feedback1; /* p.91 */
+
+ type record Feedback_opts_u /* p.91 */
+ {
+ INT4b opt_type,
+ INT4b opt_len,
+ octetstring opt_data optional
+ };
+
+ type record of Feedback_opts_u Feedback_opts; /* p.91 */
+
+ type record Feedback2 /* p.91 */
+ {
+ INT2b acktype,
+ INT2b mode,
+ INT12b_BO_LAST sn,
+ Feedback_opts feedback_opts optional
+ };
+
+ type union Feedback_type /* p.46 */
+ {
+ Feedback1 feedback1,
+ Feedback2 feedback2
+ };
+
+ type record Feedback_data /* p.46 */
+ {
+ INT14b_BO_LAST cid,
+ Feedback_type feedback_type
+ };
+
+ type record Feedback_u /* p.45 */
+ {
+ BIT5 feedback_type, /* Must be '11110'B */
+ INT3b code,
+ LIN1 size optional,
+ /* TODO: size could be 0, so feedback_data should be optional;
+ although it's a weird case, but still possible */
+ Feedback_data feedback_data
+ };
+
+ type record of Feedback_u Feedback; /* p.42 */
+
+ type union Header /* p.77 */
+ {
+ Profile0_headers prof0,
+ Profile1_headers prof1,
+ Profile2_headers prof2,
+ Profile4_headers prof4
+ };
+
+ //Profile0
+
+ type union Profile0_headers
+ {
+ Profile0_IR_packet ir,
+ Profile0_normal_packet normal
+ };
+
+ type record Profile0_IR_packet /* p.127 */
+ {
+ INT14b_BO_LAST cid,
+ BIT7 type_ind, /* Must be '1111110'B */
+ BIT1 d, /* Must be 0 */
+ LIN1 profile, /* Must be 0 */
+ LIN1 crc,
+ octetstring orig_packet
+ };
+
+ type record Profile0_normal_packet /* p.128 */
+ {
+ INT14b_BO_LAST cid,
+ octetstring orig_packet
+ };
+
+ //Profile1
+
+ type record Profile1_headers /* p.77 */
+ {
+ Profile1_base_header base_header,
+ Profile1_Extension ext optional,
+ LIN2_BO_LAST ip_id_outer optional,
+ octetstring ah_outer optional,
+ LIN2_BO_LAST gre_cksum1 optional,
+ LIN2_BO_LAST ip_id_inner optional,
+ octetstring ah_inner optional,
+ LIN2_BO_LAST gre_cksum2 optional,
+ LIN2_BO_LAST udp_cksum optional
+ };
+
+ type union Profile1_base_header
+ {
+ Profile1_IR_header ir,
+ Profile1_IR_DYN_header ir_dyn,
+ Profile1_R_0_header r_0,
+ Profile1_R_0_CRC_header r_0_crc,
+ Profile1_UO_0_header uo_0,
+ Profile1_R_1_header r_1,
+ Profile1_R_1_ID_header r_1_id,
+ Profile1_R_1_TS_header r_1_ts,
+ Profile1_UO_1_header uo_1,
+ Profile1_UO_1_ID_header uo_1_id,
+ Profile1_UO_1_TS_header uo_1_ts,
+ Profile1_UOR_2_header uor_2,
+ Profile1_UOR_2_ID_header uor_2_id,
+ Profile1_UOR_2_TS_header uor_2_ts
+ };
+
+ type union Static_Chain_u /* p.91 */
+ {
+ IPv4_Static ipv4_stat,
+ IPv6_Static ipv6_stat,
+ UDP_Static udp_stat,
+ RTP_Static rtp_stat,
+ ESP_Static esp_stat
+ };
+
+ type union Dynamic_Chain_u /* p.91 */
+ {
+ IPv4_Dynamic ipv4_dyn,
+ IPv6_Dynamic ipv6_dyn,
+ UDP_Dynamic udp_dyn,
+ RTP_Dynamic rtp_dyn,
+ ESP_Dynamic esp_dyn
+ };
+
+ type record of Static_Chain_u Static_Chain; /* p.91 */
+
+ type record of Dynamic_Chain_u Dynamic_Chain; /* p.91 */
+
+ type record Profile1_IR_header /* p.45 */ /* p.91 */
+ {
+ INT14b_BO_LAST cid,
+ BIT7 type_ind, /* Must be '1111110'B */
+ BIT1 d,
+ LIN1 profile, /* Must be 1 */
+ LIN1 crc,
+ Static_Chain stat_chain,
+ Dynamic_Chain dyn_chain optional
+ };
+
+ type record Profile1_IR_DYN_header /* p.46 */ /* p.92 */
+ {
+ INT14b_BO_LAST cid,
+ BIT8 type_ind, /* Must be '11111000'B */
+ LIN1 profile, /* Must be 1 */
+ LIN1 crc,
+ Dynamic_Chain dyn_chain
+ };
+
+ type record Profile1_R_0_header /* p.74 */
+ {
+ INT14b_BO_LAST cid,
+ BIT2 type_ind, /* Must be '00'B */
+ INT6b sn
+ };
+
+ type record Profile1_R_0_CRC_header /* p.74 */
+ {
+ INT14b_BO_LAST cid,
+ BIT2 type_ind, /* Must be '01'B */
+ INT7b sn,
+ INT7b crc
+ };
+
+ type record Profile1_UO_0_header /* p.75 */
+ {
+ INT14b_BO_LAST cid,
+ BIT1 type_ind, /* Must be '0'B */
+ INT4b sn,
+ INT3b crc
+ };
+
+ type record Profile1_R_1_header /* p.75 */
+ {
+ INT14b_BO_LAST cid,
+ BIT2 type_ind, /* Must be '10'B */
+ INT6b sn,
+ BIT1 m_bit,
+ BIT1 x_bit,
+ INT6b ts
+ };
+
+ type record Profile1_R_1_ID_header /* p.75 */
+ {
+ INT14b_BO_LAST cid,
+ BIT2 type_ind, /* Must be '10'B */
+ INT6b sn,
+ BIT1 m_bit,
+ BIT1 x_bit,
+ BIT1 t_bit, /* Must be '0'B */
+ INT5b ip_id
+ };
+
+ type record Profile1_R_1_TS_header /* p.75 */
+ {
+ INT14b_BO_LAST cid,
+ BIT2 type_ind, /* Must be '10'B */
+ INT6b sn,
+ BIT1 m_bit,
+ BIT1 x_bit,
+ BIT1 t_bit, /* Must be '1'B */
+ INT5b ts
+ };
+
+ type record Profile1_UO_1_header /* p.76 */
+ {
+ INT14b_BO_LAST cid,
+ BIT2 type_ind, /* Must be '10'B */
+ INT6b ts,
+ BIT1 m_bit,
+ INT4b sn,
+ INT3b crc
+ };
+
+ type record Profile1_UO_1_ID_header /* p.76 */
+ {
+ INT14b_BO_LAST cid,
+ BIT2 type_ind, /* Must be '10'B */
+ BIT1 t_bit, /* Must be '0'B */
+ INT5b ip_id,
+ BIT1 x_bit,
+ INT4b sn,
+ INT3b crc
+ };
+
+ type record Profile1_UO_1_TS_header /* p.76 */
+ {
+ INT14b_BO_LAST cid,
+ BIT2 type_ind, /* Must be '10'B */
+ BIT1 t_bit, /* Must be '1'B */
+ INT5b ts,
+ BIT1 m_bit,
+ INT4b sn,
+ INT3b crc
+ };
+
+ type record Profile1_UOR_2_header /* p.77 */
+ {
+ INT14b_BO_LAST cid,
+ BIT3 type_ind, /* Must be '110'B */
+ INT6b ts,
+ BIT1 m_bit,
+ INT6b sn,
+ BIT1 x_bit,
+ INT7b crc
+ };
+
+ type record Profile1_UOR_2_ID_header /* p.77 */
+ {
+ INT14b_BO_LAST cid,
+ BIT3 type_ind, /* Must be '110'B */
+ INT5b ip_id,
+ BIT1 t_bit, /* Must be '0'B */
+ BIT1 m_bit,
+ INT6b sn,
+ BIT1 x_bit,
+ INT7b crc
+ };
+
+ type record Profile1_UOR_2_TS_header /* p.77 */
+ {
+ INT14b_BO_LAST cid,
+ BIT3 type_ind, /* Must be '110'B */
+ INT5b ts,
+ BIT1 t_bit, /* Must be '1'B */
+ BIT1 m_bit,
+ INT6b sn,
+ BIT1 x_bit,
+ INT7b crc
+ };
+
+ type record Short_Seqnum /* p.120 */
+ {
+ BIT1 ind, /* Must be '0'B */
+ INT7b lsb_of_seqnum
+ };
+
+ type record Long_Seqnum /* p.120 */
+ {
+ BIT1 ind, /* Must be '1'B */
+ INT31b_BO_LAST lsb_of_seqnum
+ };
+
+ type union AEGSeqnum /* p.112 */
+ {
+ Short_Seqnum short_form,
+ Long_Seqnum long_form
+ };
+
+ type record XI_Item4_r /* p.121 */
+ {
+ BIT1 x_ind,
+ INT3b index
+ };
+
+ type record XI_Item8_r /* p.121 */
+ {
+ BIT1 x_ind,
+ INT7b index
+ };
+
+ type record of XI_Item4_r XI_Item4;
+
+ type record of XI_Item8_r XI_Item8;
+
+ type union XI_list /* p.113 */
+ {
+ XI_Item4 xi_item4,
+ XI_Item8 xi_item8
+ };
+
+ type record IPv6_ext_item
+ {
+ LIN1 nexthead,
+ LIN1 hdr_ext_len,
+ octetstring data
+ }
+
+ type record MINE_item {
+ LIN1 protocol,
+ BIT1 s_bit,
+ ROHC_BIT7_BO_LAST reserved,
+ LIN2_BO_LAST cksum,
+ OCT4 dstaddr,
+ OCT4 srcaddr optional
+ } with {
+ variant "FIELDORDER(msb)";
+ variant (srcaddr) "PRESENCE(s_bit = '1'B)";
+ }
+
+/* TODO: check why better use INTn intead of OCTn */
+ type record AH_item /* RFC 2402, p.3 */
+ {
+ LIN1 nexthead, /* Must be 51 */
+ LIN1 payload_len,
+ LIN2_BO_LAST reserved, /* Must be 0 */
+ LIN4_BO_LAST spi,
+ LIN4_BO_LAST sn,
+ octetstring auth_data optional
+ }
+
+ type record ESP_item
+ {
+ LIN1 nexthead, /* Must be 50 */
+ LIN4_BO_LAST spi,
+ LIN4_BO_LAST sn
+ }
+
+ type record GRE_item
+ {
+ LIN1 nexthead, /* Must be 47 */
+ BIT1 C_bit,
+ BIT1 reserved_1, /* Must be '0'B */
+ BIT1 K_bit,
+ BIT1 S_bit,
+ BIT1 reserved_2, /* Must be '0'B */
+ BIT3 version,
+ LIN2_BO_LAST cksum optional,
+ LIN4_BO_LAST key optional,
+ LIN4_BO_LAST sn optional
+ }
+
+ type union Item
+ {
+ IPv6_ext_item ipv6_ext_item,
+ AH_item ah_item,
+ ESP_item esp_item,
+ GRE_item gre_item,
+ MINE_item mine_item
+/* TODO CHECK: could we use it ?
+ octetstring any_item */
+ }
+
+ type record of Item IP_Item_list;
+
+ type record of OCT4n CSRC_Item_list;
+
+ /* TODO: temporary solution for profile4 tests */
+ type record of octetstring RAW_data;
+
+ type union Item_list
+ {
+ CSRC_Item_list csrc_item_list,
+ IP_Item_list ip_item_list,
+ /* TODO: temporary solution for profile4 tests */
+ RAW_data raw_data
+ }
+
+ type record Enc_Type_0 /* p.112 */
+ {
+ BIT2 et, /* Must be '00'B */
+ BIT1 gp_bit,
+ BIT1 ps_bit,
+ INT4b cc,
+ LIN1 gen_id optional,
+ XI_list xi_list optional,
+ BIT4 padding optional, /* Must be '0000'B */
+ Item_list item_list optional
+ };
+
+ type record Enc_Type_1 /* p.114 */
+ {
+ BIT2 et, /* Must be '01'B */
+ BIT1 gp_bit,
+ BIT1 ps_bit,
+ INT4b xi1,
+ LIN1 gen_id optional,
+ LIN1 ref_id,
+ octetstring insbitmask,
+ XI_list xi_list optional,
+ BIT4 padding optional, /* Must be '0000'B */
+ Item_list item_list optional
+ };
+
+ type record Enc_Type_2 /* p.115 */
+ {
+ BIT2 et, /* Must be '10'B */
+ BIT1 gp_bit,
+ BIT1 res,
+ INT4b count,
+ LIN1 gen_id optional,
+ LIN1 ref_id,
+ octetstring rembitmask
+ };
+
+ type record Enc_Type_3 /* p.115 */
+ {
+ BIT2 et, /* Must be '11'B */
+ BIT1 gp_bit,
+ BIT1 ps_bit,
+ INT4b xi1,
+ LIN1 gen_id optional,
+ LIN1 ref_id,
+ octetstring rembitmask,
+ octetstring insbitmask,
+ XI_list xi_list optional,
+ BIT4 padding optional, /* Must be '0000'B */
+ Item_list item_list optional
+ };
+
+ type record IPv4_Static /* p.94 */
+ {
+ INT4b version, /* Must be '0100'B */
+ INT4b reserved, /* Must be '0000'B */
+ LIN1 proto,
+ OCT4 srcaddr,
+ OCT4 dstaddr
+ };
+
+ type record IPv4_Dynamic /* p.94 */
+ {
+ LIN1 tos,
+ LIN1 ttl,
+ LIN2_BO_LAST identification,
+ BIT1 df_bit,
+ BIT1 rnd_bit,
+ BIT1 nbo_bit,
+ BIT5 reserved, /* Must be '00000'B */
+ Enc_Type_0 genextheadlist
+ };
+
+ type record IPv6_Static /* p.93 */
+ {
+ INT4b version, /* Must be '0110'B */
+ INT20b_BO_LAST flowlabel,
+ LIN1 nexthead,
+ OCT16 srcaddr,
+ OCT16 dstaddr
+ };
+
+ type record IPv6_Dynamic /* p.93 */
+ {
+ LIN1 trafficclass,
+ LIN1 hoplimit,
+ Enc_Type_0 genextheadlist
+ };
+
+ type record UDP_Static /* p.95 */
+ {
+ LIN2_BO_LAST srcport,
+ LIN2_BO_LAST dstport
+ };
+
+ type record UDP_Dynamic /* p.95 */
+ {
+ LIN2_BO_LAST cksum
+ };
+
+ type record RTP_Static /* p.96 */
+ {
+ OCT4 ssrc
+ };
+
+ type record Rx_Field /* p.96 */
+ {
+ BIT3 reserved, /* Must be '000'B */
+ BIT1 xbit,
+ INT2b mode,
+ BIT1 tisbit,
+ BIT1 tssbit
+ };
+
+ type record RTP_Dynamic /* p.96 */
+ {
+ INT2b vfield, /* Must be '10'B */
+ BIT1 pbit,
+ BIT1 rxbit,
+ INT4b ccfield,
+ BIT1 mbit,
+ INT7b ptfield,
+ LIN2_BO_LAST rtpseqnum,
+ LIN4_BO_LAST rtpts,
+ Enc_Type_0 gencsrclist,
+ Rx_Field rx_field optional,
+ integer ts_stride optional,
+ integer time_stride optional
+ };
+
+ type record ESP_Static /* p.97 */
+ {
+ LIN4_BO_LAST spi
+ };
+
+ type record ESP_Dynamic /* p.97 */
+ {
+ LIN4_BO_LAST seqnum
+ };
+
+ type union Compr_head_list /* p.112 */
+ {
+ Enc_Type_0 enctype0,
+ Enc_Type_1 enctype1,
+ Enc_Type_2 enctype2,
+ Enc_Type_3 enctype3
+ };
+
+ type record IP_Ext_heads /* p.111 */
+ {
+ BIT1 cl,
+ BIT1 aseq,
+ BIT1 eseq,
+ BIT1 gseq,
+ BIT4 res,
+ AEGSeqnum ah_seq optional,
+ AEGSeqnum esp_seq optional,
+ AEGSeqnum gre_seq optional,
+ Compr_head_list compr_head_list optional
+ };
+
+ type record Outer_IP_fields /* p.82 */
+ {
+ LIN1 tos optional,
+ LIN1 ttl optional,
+ LIN1 proto optional,
+ IP_Ext_heads ext_heads optional,
+ LIN2_BO_LAST ip_id optional
+ };
+
+ type record Outer_IP_flags /* p.81 */
+ {
+ BIT1 tos2,
+ BIT1 ttl2,
+ BIT1 df2,
+ BIT1 pr2,
+ BIT1 ipx2,
+ BIT1 nbo2,
+ BIT1 rnd2,
+ BIT1 i2_bit
+ };
+
+ type record Inner_IP_fields /* p.81 */
+ {
+ LIN1 tos optional,
+ LIN1 ttl optional,
+ LIN1 proto optional,
+ IP_Ext_heads ext_heads optional
+ };
+
+ type record Inner_IP_flags /* p.80 */
+ {
+ BIT1 tos,
+ BIT1 ttl,
+ BIT1 df,
+ BIT1 pr,
+ BIT1 ipx,
+ BIT1 nbo,
+ BIT1 rnd_bit,
+ BIT1 ip2_bit
+ };
+
+ type record RTP_flags
+ {
+ BIT1 r_p,
+ INT7b rtp_pt
+ }
+
+ type record RTP_flags_fields /* p.82 */
+ {
+ INT2b mode,
+ BIT1 r_pt,
+ BIT1 m_bit,
+ BIT1 r_x,
+ BIT1 csrc,
+ BIT1 tss,
+ BIT1 tis,
+ RTP_flags flags optional,
+ Compr_head_list csrc_list optional,
+ integer ts_stride optional,
+ integer time_stride optional
+ }
+
+ type record Extension0 /* p.79 */
+ {
+ BIT2 ext_type, /* Must be '00'B */
+ INT3b sn,
+ INT3b plust
+ }
+
+ type record Extension1 /* p.79 */
+ {
+ BIT2 ext_type, /* Must be '01'B */
+ INT3b sn,
+ INT3b plust,
+ LIN1 minust
+ };
+
+ type record Extension2 /* p.79 */
+ {
+ BIT2 ext_type, /* Must be '10'B */
+ INT3b sn,
+ INT11b_BO_LAST plust,
+ LIN1 minust
+ };
+
+ type record Extension3 /* p.79 */
+ {
+ BIT2 ext_type, /* Must be '11'B */
+ BIT1 s_bit,
+ BIT1 r_ts_bit,
+ BIT1 tsc_bit,
+ BIT1 i_bit,
+ BIT1 ip_bit,
+ BIT1 rtp_bit,
+ Inner_IP_flags inner_ip_flags optional,
+ Outer_IP_flags outer_ip_flags optional,
+ LIN1 sn optional,
+ integer ts optional,
+ /* This field contains the length of the SDVL encoded TS value counted in
+ octets. */
+ integer ts_length optional,
+ Inner_IP_fields inner_ip_hdr optional,
+ LIN2_BO_LAST ip_id optional,
+ Outer_IP_fields outer_ip_hdr optional,
+ RTP_flags_fields rtp_fl_fi optional
+ };
+
+ type union Profile1_Extension /* p.79 */
+ {
+ Extension0 ext0,
+ Extension1 ext1,
+ Extension2 ext2,
+ Extension3 ext3
+ };
+
+ //Profile2
+
+ type record Profile2_headers /* p.77 */
+ {
+ Profile2_base_header base_header,
+ Profile2_Extension ext optional,
+ LIN2_BO_LAST ip_id_outer optional,
+ octetstring ah_outer optional,
+ LIN2_BO_LAST gre_cksum1 optional,
+ LIN2_BO_LAST ip_id_inner optional,
+ octetstring ah_inner optional,
+ LIN2_BO_LAST gre_cksum2 optional,
+ LIN2_BO_LAST udp_cksum optional
+ };
+
+ type union Profile2_base_header
+ {
+ Profile2_IR_header ir,
+ Profile2_IR_DYN_header ir_dyn,
+ Profile1_R_0_header r_0,
+ Profile1_R_0_CRC_header r_0_crc,
+ Profile1_UO_0_header uo_0,
+ Profile2_R_1_header r_1,
+ Profile2_UO_1_header uo_1,
+ Profile2_UOR_2_header uor_2
+ };
+
+ type union Profile2_Static_Chain_u
+ {
+ IPv4_Static ipv4_stat,
+ IPv6_Static ipv6_stat,
+ UDP_Static udp_stat
+ };
+
+ type record Profile2_UDP_Dynamic
+ {
+ LIN2_BO_LAST cksum,
+ LIN2_BO_LAST udp_sn
+ };
+
+ type union Profile2_Dynamic_Chain_u
+ {
+ IPv4_Dynamic ipv4_dyn,
+ IPv6_Dynamic ipv6_dyn,
+ Profile2_UDP_Dynamic udp_dyn
+ };
+
+ type record of Profile2_Static_Chain_u Profile2_Static_Chain;
+
+ type record of Profile2_Dynamic_Chain_u Profile2_Dynamic_Chain;
+
+ type record Profile2_IR_header
+ {
+ INT14b_BO_LAST cid,
+ BIT7 type_ind, /* Must be '1111110'B */
+ BIT1 d,
+ LIN1 profile, /* Must be 2 */
+ LIN1 crc,
+ Profile2_Static_Chain stat_chain,
+ Profile2_Dynamic_Chain dyn_chain optional
+ };
+
+ type record Profile2_IR_DYN_header /* p.46 */ /* p.92 */
+ {
+ INT14b_BO_LAST cid,
+ BIT8 type_ind, /* Must be '11111000'B */
+ LIN1 profile, /* Must be 2 */
+ LIN1 crc,
+ Profile2_Dynamic_Chain dyn_chain
+ };
+
+ type record Profile2_R_1_header
+ {
+ INT14b_BO_LAST cid,
+ BIT2 type_ind, /* Must be '10'B */
+ INT6b sn,
+ BIT1 x_bit,
+ INT7b ip_id
+ };
+
+ type record Profile2_UO_1_header
+ {
+ INT14b_BO_LAST cid,
+ BIT2 type_ind, /* Must be '10'B */
+ INT6b ip_id,
+ INT5b sn,
+ INT3b crc
+ };
+
+ type record Profile2_UOR_2_header
+ {
+ INT14b_BO_LAST cid,
+ BIT3 type_ind, /* Must be '110'B */
+ INT5b sn,
+ BIT1 x_bit,
+ INT7b crc
+ };
+
+ type record Profile2_Inner_IP_flags
+ {
+ BIT1 tos,
+ BIT1 ttl,
+ BIT1 df,
+ BIT1 pr,
+ BIT1 ipx,
+ BIT1 nbo,
+ BIT1 rnd_bit,
+ BIT1 reserved /* Must be '0'B */
+ };
+
+ type union Profile2_Extension
+ {
+ Profile2_Extension0 ext0,
+ Profile2_Extension1 ext1,
+ Profile2_Extension2 ext2,
+ Profile2_Extension3 ext3
+ };
+
+ type record Profile2_Extension0
+ {
+ BIT2 ext_type, /* Must be '00'B */
+ INT3b sn,
+ INT3b ip_id
+ }
+
+ type record Profile2_Extension1
+ {
+ BIT2 ext_type, /* Must be '01'B */
+ INT3b sn,
+ INT11b_BO_LAST ip_id
+ };
+
+ type record Profile2_Extension2
+ {
+ BIT2 ext_type, /* Must be '10'B */
+ INT3b sn,
+ INT11b_BO_LAST ip_id2,
+ LIN1 ip_id
+ };
+
+ type record Profile2_Extension3
+ {
+ BIT2 ext_type, /* Must be '11'B */
+ BIT1 s_bit,
+ INT2b mode,
+ BIT1 i_bit,
+ BIT1 ip_bit,
+ BIT1 ip2_bit,
+ Profile2_Inner_IP_flags inner_ip_flags optional,
+ Outer_IP_flags outer_ip_flags optional,
+ LIN1 sn optional,
+ Inner_IP_fields inner_ip_hdr optional,
+ LIN2_BO_LAST ip_id optional,
+ Outer_IP_fields outer_ip_hdr optional
+ };
+
+ //Profile4
+
+ type record Profile4_headers
+ {
+ Profile4_base_header base_header,
+ Profile2_Extension ext optional,
+ LIN2_BO_LAST ip_id_outer optional,
+ octetstring ah_outer optional,
+ LIN2_BO_LAST gre_cksum1 optional,
+ LIN2_BO_LAST ip_id_inner optional,
+ octetstring ah_inner optional,
+ LIN2_BO_LAST gre_cksum2 optional,
+ Profile4_Dynamic_Chain additional_IP optional
+ };
+
+ type union Profile4_base_header
+ {
+ Profile4_IR_header ir,
+ Profile4_IR_DYN_header ir_dyn,
+ Profile1_R_0_header r_0,
+ Profile1_R_0_CRC_header r_0_crc,
+ Profile1_UO_0_header uo_0,
+ Profile2_R_1_header r_1,
+ Profile2_UO_1_header uo_1,
+ Profile2_UOR_2_header uor_2
+ };
+
+ type union Profile4_Static_Chain_u
+ {
+ IPv4_Static ipv4_stat,
+ IPv6_Static ipv6_stat
+ };
+
+ type record Profile4_IPv4_Dynamic
+ {
+ LIN1 tos,
+ LIN1 ttl,
+ LIN2_BO_LAST identification,
+ BIT1 df_bit,
+ BIT1 rnd_bit,
+ BIT1 nbo_bit,
+ BIT1 sid_bit,
+ BIT4 reserved, /* Must be '0000'B */
+ Enc_Type_0 genextheadlist
+ };
+
+ type union Profile4_Dynamic_Chain_u
+ {
+ Profile4_IPv4_Dynamic ipv4_dyn,
+ IPv6_Dynamic ipv6_dyn,
+ LIN2_BO_LAST sn
+ };
+
+ type record of Profile4_Static_Chain_u Profile4_Static_Chain;
+
+ type record of Profile4_Dynamic_Chain_u Profile4_Dynamic_Chain;
+
+ type record Profile4_IR_header
+ {
+ INT14b_BO_LAST cid,
+ BIT7 type_ind, /* Must be '1111110'B */
+ BIT1 d,
+ LIN1 profile, /* Must be 4 */
+ LIN1 crc,
+ Profile4_Static_Chain stat_chain,
+ Profile4_Dynamic_Chain dyn_chain optional
+ };
+
+ type record Profile4_IR_DYN_header
+ {
+ INT14b_BO_LAST cid,
+ BIT8 type_ind, /* Must be '11111000'B */
+ LIN1 profile, /* Must be 4 */
+ LIN1 crc,
+ Profile4_Dynamic_Chain dyn_chain
+ };
+
+} with { encode "RAW" }
+