753 lines
19 KiB
Plaintext
753 lines
19 KiB
Plaintext
module Osmocom_Gb_Types {
|
|
|
|
/* This module contains additional definitions and templates that we use on top of the
|
|
* TITAN NS + BSSGP modules */
|
|
|
|
import from General_Types all;
|
|
import from Osmocom_Types all;
|
|
import from GSM_Types all;
|
|
import from GSM_RR_Types all;
|
|
import from BSSGP_Types all
|
|
import from NS_Types all
|
|
|
|
type uint16_t Nsvci;
|
|
type uint16_t Nsei;
|
|
type uint16_t BssgpBvci;
|
|
|
|
/* TS 48.016 10.3.7 */
|
|
type enumerated NsPduType {
|
|
NS_PDUT_NS_UNITDATA ('00000000'B),
|
|
NS_PDUT_NS_RESET ('00000010'B),
|
|
NS_PDUT_NS_RESET_ACK ('00000011'B),
|
|
NS_PDUT_NS_BLOCK ('00000100'B),
|
|
NS_PDUT_NS_BLOCK_ACK ('00000101'B),
|
|
NS_PDUT_NS_UNBLOCK ('00000110'B),
|
|
NS_PDUT_NS_UNBLOCK_ACK ('00000111'B),
|
|
NS_PDUT_NS_STATUS ('00001000'B),
|
|
NS_PDUT_NS_ALIVE ('00001010'B),
|
|
NS_PDUT_NS_ALIVE_ACK ('00001011'B)
|
|
/* FIXME: SNS */
|
|
} with { variant "FIELDLENGTH(8)" };
|
|
|
|
/* TS 48.016 10.3 */
|
|
type enumerated NsIEI {
|
|
NS_IEI_CAUSE ('00000000'B),
|
|
NS_IEI_NSVCI ('00000001'B),
|
|
NS_IEI_NS_PDU ('00000010'B),
|
|
NS_IEI_BVCI ('00000011'B),
|
|
NS_IEI_NSEI ('00000100'B),
|
|
NS_IEI_LIST_IPv4 ('00000101'B),
|
|
NS_IEI_LIST_IPv6 ('00000110'B),
|
|
NS_IEI_MAX_NUM_NSVC ('00000111'B),
|
|
NS_IEI_NUM_IPv4_EP ('00001000'B),
|
|
NS_IEI_NUM_IPv6_EP ('00001001'B),
|
|
NS_IEI_RESET_FLAG ('00001010'B),
|
|
NS_IEI_IP_ADDRESS ('00001011'B)
|
|
} with { variant "FIELDLENGTH(8)" };
|
|
|
|
/* TS 48.016 10.3.2 */
|
|
type enumerated NsCause {
|
|
NS_CAUSE_TRANSIT_NETWORK_FAILURE ('00000000'B),
|
|
NS_CAUSE_OM_INTERVENTION ('00000001'B),
|
|
NS_CAUSE_EQUIPMENT_FAILURE ('00000010'B),
|
|
NS_CAUSE_NSVC_BLOCKED ('00000011'B),
|
|
NS_CAUSE_NSVC_UNKNOWN ('00000100'B),
|
|
NS_CAUSE_BVCI_UNKNOWN_AT_NSE ('00000101'B),
|
|
NS_CAUSE_SEMANTICALLY_INCORRECT_PDU ('00001000'B),
|
|
NS_CAUSE_PDU_NOT_COMPATIBLE_WITH_PROTOCOL_STATE ('00001010'B),
|
|
NS_CAUSE_PROTOCOL_ERROR_UNSPEIFIED ('00001011'B),
|
|
NS_CAUSE_INVALID_ESSENTIAL_IE ('00001100'B),
|
|
NS_CAUSE_MISSING_ESSENTIAL_IE ('00001101'B),
|
|
NS_CAUSE_INVALID_NR_OF_IPv4_ENDPOINTS ('00001110'B),
|
|
NS_CAUSE_INVALID_NR_OF_IPv6_ENDPOINTS ('00001111'B),
|
|
NS_CAUSE_INVALID_NR_OF_NSVCS ('00010000'B),
|
|
NS_CAUSE_INVALID_WEIGHTS ('00010001'B),
|
|
NS_CAUSE_UNKNOWN_IP_ENDPOINT ('00010010'B),
|
|
NS_CAUSE_UNKNOWN_IP_ADDRESS ('00010011'B),
|
|
NS_CAUSE_IP_TEST_FAILEDA ('00010100'B)
|
|
} with { variant "FIELDLENGTH(8)" };
|
|
|
|
template NS_SDU_ControlBits t_SduCtrlB := {
|
|
rBit := '0'B,
|
|
cBit := '0'B,
|
|
spare := '000000'B
|
|
}
|
|
|
|
function t_NS_IE_CAUSE(template NsCause cause) return template CauseNS {
|
|
var template CauseNS ret;
|
|
ret.iEI := '00'O;
|
|
ret.ext := '1'B;
|
|
ret.lengthIndicator := { length1 := 1 };
|
|
if (isvalue(cause)) {
|
|
ret.cause := int2oct(enum2int(valueof(cause)), 1);
|
|
} else {
|
|
ret.cause := ?
|
|
}
|
|
return ret;
|
|
}
|
|
|
|
private function f_oct_or_wc(template integer inp, integer len) return template octetstring {
|
|
if (isvalue(inp)) {
|
|
return int2oct(valueof(inp), len);
|
|
} else {
|
|
return ?
|
|
}
|
|
}
|
|
|
|
template NS_VCI t_NS_IE_NSVCI(template Nsvci nsvci) := {
|
|
iEI := '01'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
nS_VCI := f_oct_or_wc(nsvci, 2)
|
|
}
|
|
|
|
template NSEI_NS t_NS_IE_NSEI(template Nsei nsei) := {
|
|
iEI:= '04'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
nSEI := f_oct_or_wc(nsei, 2)
|
|
}
|
|
|
|
template PDU_NS t_NS_RESET(template NsCause cause, template Nsvci nsvci, template Nsei nsei) := {
|
|
pDU_NS_Reset := {
|
|
nsPduType := '02'O,
|
|
causeNS := t_NS_IE_CAUSE(cause),
|
|
nS_VCI := t_NS_IE_NSVCI(nsvci),
|
|
nSEI_NS := t_NS_IE_NSEI(nsei)
|
|
}
|
|
}
|
|
|
|
template PDU_NS t_NS_RESET_ACK(template Nsvci nsvci, template Nsei nsei) := {
|
|
pDU_NS_Reset_Ack := {
|
|
nsPduType := '03'O,
|
|
nS_VCI := t_NS_IE_NSVCI(nsvci),
|
|
nSEI_NS := t_NS_IE_NSEI(nsei)
|
|
}
|
|
}
|
|
|
|
template PDU_NS t_NS_BLOCK(template NsCause cause, template Nsvci nsvci) := {
|
|
pDU_NS_Block := {
|
|
nsPduType := '04'O,
|
|
causeNS := t_NS_IE_CAUSE(cause),
|
|
nS_VCI := t_NS_IE_NSVCI(nsvci)
|
|
}
|
|
}
|
|
|
|
template PDU_NS t_NS_BLOCK_ACK(template Nsvci nsvci) := {
|
|
pDU_NS_Block_Ack := {
|
|
nsPduType := '05'O,
|
|
nS_VCI := t_NS_IE_NSVCI(nsvci)
|
|
}
|
|
}
|
|
|
|
template PDU_NS t_NS_UNBLOCK := {
|
|
pDU_NS_Unblock := {
|
|
nsPduType := '06'O
|
|
}
|
|
}
|
|
|
|
template PDU_NS t_NS_UNBLOCK_ACK := {
|
|
pDU_NS_Unblock_Ack := {
|
|
nsPduType := '07'O
|
|
}
|
|
}
|
|
|
|
template PDU_NS t_NS_ALIVE := {
|
|
pDU_NS_Alive := {
|
|
nsPduType := '0A'O
|
|
}
|
|
}
|
|
|
|
template PDU_NS t_NS_ALIVE_ACK := {
|
|
pDU_NS_Alive_Ack := {
|
|
nsPduType := '0B'O
|
|
}
|
|
}
|
|
|
|
template PDU_NS ts_NS_STATUS(NsCause cause, PDU_NS pdu) := {
|
|
pDU_NS_Status := {
|
|
nsPduType := '08'O,
|
|
causeNS := t_NS_IE_CAUSE(cause),
|
|
nS_VCI := omit,
|
|
nS_PDU := {
|
|
iEI := '02'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 0 /* overwritten */
|
|
},
|
|
ns_PDU := enc_PDU_NS(pdu)
|
|
},
|
|
bVCI_NS := omit,
|
|
listofIP4Elements := omit,
|
|
listofIP6Elements := omit
|
|
}
|
|
}
|
|
|
|
template PDU_NS t_NS_UNITDATA(template NS_SDU_ControlBits bits, template BssgpBvci bvci, template
|
|
octetstring sdu) := {
|
|
pDU_NS_Unitdata := {
|
|
nsPduType := '00'O,
|
|
nS_SDU_ControlBits := bits,
|
|
bVCI := f_oct_or_wc(bvci, 2),
|
|
nS_SDU := sdu
|
|
}
|
|
}
|
|
|
|
|
|
type record BssgpCellId {
|
|
RoutingAreaIdentification ra_id,
|
|
CellIdentity cell_id
|
|
} with { variant "" };
|
|
|
|
type enumerated BssgpCause {
|
|
BSSGP_CAUSE_PROC_OVERLOAD ('00'H),
|
|
BSSGP_CAUSE_EQUIMENT_FAILURE ('01'H),
|
|
BSSGP_CAUSE_TRANSIT_NETWORK_FAILURE ('02'H),
|
|
BSSGP_CAUSE_NET_SV_CAP_MOD_GT_ZERO_KBPS ('03'H),
|
|
BSSGP_CAUSE_UNKNOWN_MS ('04'H),
|
|
BSSGP_CAUSE_BVCI_UNKNOWN ('05'H),
|
|
BSSGP_CAUSE_CELL_TRAFFIC_CONGESTION ('06'H),
|
|
BSSGP_CAUSE_SGSN_CONGESTION ('07'H),
|
|
BSSGP_CAUSE_OM_INTERVENTION ('08'H),
|
|
BSSGP_CAUSE_BVCI_BLOCKED ('09'H),
|
|
BSSGP_CAUSE_PFC_CREATE_FAILURE ('0a'H),
|
|
BSSGP_CAUSE_PFC_PREEMPTED ('0b'H),
|
|
BSSGP_CAUSE_ABQP_NO_MORE_SUPPORTED ('0c'H),
|
|
BSSGP_CAUSE_SEMANTICALLY_INCORRECT_PDU ('20'H),
|
|
BSSGP_CAUSE_INVALID_MANDATORY_IE ('21'H),
|
|
BSSGP_CAUSE_MISSING_MANDATORY_IE ('22'H),
|
|
BSSGP_CAUSE_MISSING_CONDITIONAL_IE ('23'H),
|
|
BSSGP_CAUSE_UNEXPECTED_CONDITIONAL_IE ('24'H),
|
|
BSSGP_CAUSE_CONDITIONAL_IE_ERROR ('25'H),
|
|
BSSGP_CAUSE_PDU_NOT_COMPATIBLE_WITH_PROTOCOL_STATE ('26'H),
|
|
BSSGP_CAUSE_PROTOCOL_ERROR_UNSPECIFIED ('27'H),
|
|
BSSGP_CAUSE_PDU_NOT_COMPATIBLE_WITH_FEATURE_SET ('28'H),
|
|
BSSGP_CAUSE_REQUESTED_INFO_NOT_AVAILABLE ('29'H),
|
|
BSSGP_CAUSE_UNKNOWN_DESTINATION_ADDRESS ('2a'H),
|
|
BSSGP_CAUSE_UNKNOWN_RIM_APP_IDENTITY ('2b'H),
|
|
BSSGP_CAUSE_INVALID_CONTAINER_UNIT_INFO ('2c'H),
|
|
BSSGP_CAUSE_PFC_QUEUING ('2d'H),
|
|
BSSGP_CAUSE_PFC_CREATED_SUCCESSFULLY ('2e'H),
|
|
BSSGP_CAUSE_T12_EXPIRY ('2f'H),
|
|
BSSGP_CAUSE_MS_UNDER_PS_HANDOVER_TREATMENT ('30'H),
|
|
BSSGP_CAUSE_UPLINK_QUALITY ('31'H),
|
|
BSSGP_CAUSE_UPLINK_STRENGTH ('32'H),
|
|
BSSGP_CAUSE_DOWNLINK_QUALITY ('33'H),
|
|
BSSGP_CAUSE_DOWNLINK_STRENGTH ('34'H),
|
|
BSSGP_CAUSE_DISTANCE ('35'H),
|
|
BSSGP_CAUSE_BETTER_CELL ('36'H),
|
|
BSSGP_CAUSE_TRAFFIC ('37'H),
|
|
BSSGP_CAUSE_OM_INTERVENTION2 ('38'H),
|
|
BSSGP_CAUSE_MS_BACK_ON_OLD_CHANNEL ('39'H),
|
|
BSSGP_CAUSE_T13_EXPIRY ('3a'H),
|
|
BSSGP_CAUSE_T14_EXPIRY ('3b'H),
|
|
BSSGP_CAUSE_NOT_ALL_REQUESTED_PFC_CREATED ('3c'H)
|
|
} with { variant "FIELDLENGTH(8)" };
|
|
|
|
|
|
template BVCI t_BSSGP_BVCI(template BssgpBvci bvci) := {
|
|
iEI := '04'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
unstructured_value := f_oct_or_wc(bvci, 2)
|
|
}
|
|
|
|
template IMSI_BSSGP tr_BSSGP_IMSI(template hexstring imsi) := {
|
|
iEI := '0D'O,
|
|
ext := '1'B,
|
|
lengthIndicator := ?,
|
|
type_of_Identity := '001'B,
|
|
oddevenIndicator := ?,
|
|
digits := imsi
|
|
}
|
|
|
|
template IMSI_BSSGP ts_BSSGP_IMSI(hexstring imsi) := {
|
|
iEI := '0D'O,
|
|
ext := '1'B,
|
|
lengthIndicator := { length1 := 0 /* overwritten */ },
|
|
type_of_Identity := '001'B,
|
|
oddevenIndicator := f_hex_is_odd_length(imsi),
|
|
digits := imsi
|
|
}
|
|
|
|
template TMSI_BSSGP ts_BSSGP_TMSI(GsmTmsi tmsi) := {
|
|
iEI := '20'O,
|
|
ext := '1'B,
|
|
lengthIndicator := { length1 := 4 },
|
|
tMSI_Value := int2oct(tmsi, 4)
|
|
}
|
|
|
|
function f_bssgp_length_ind(integer len) return LIN2_2a {
|
|
var LIN2_2a ret;
|
|
if (len > 255) {
|
|
ret := { length2 := len };
|
|
} else {
|
|
ret := { length1 := len };
|
|
}
|
|
return ret;
|
|
}
|
|
|
|
template LLC_PDU ts_BSSGP_LLC_PDU(octetstring pdu) := {
|
|
iEI := '0D'O,
|
|
ext := '1'B,
|
|
lengthIndicator := f_bssgp_length_ind(lengthof(pdu)),
|
|
lLC_PDU := pdu
|
|
}
|
|
|
|
template LLC_PDU tr_BSSGP_LLC_PDU(template octetstring pdu := ?) := {
|
|
iEI := '0E'O,
|
|
ext := ?,
|
|
lengthIndicator := ?,
|
|
lLC_PDU := pdu
|
|
}
|
|
|
|
function t_BSSGP_CAUSE(template BssgpCause cause) return template Cause_BSSGP {
|
|
var template Cause_BSSGP ret;
|
|
ret.iEI := '07'O;
|
|
ret.ext := '1'B;
|
|
ret.lengthIndicator := { length1 := 1 };
|
|
if (isvalue(cause)) {
|
|
ret.cause_Value := int2oct(enum2int(valueof(cause)), 1);
|
|
} else {
|
|
ret.cause_Value := ?
|
|
}
|
|
return ret;
|
|
}
|
|
|
|
function t_BSSGP_IE_CellId(template BssgpCellId cid) return template Cell_Identifier {
|
|
var template Cell_Identifier ret := {
|
|
iEI := '08'O,
|
|
ext := '1'B,
|
|
lengthIndicator := { length1 := 8 },
|
|
mccDigit1 := ?,
|
|
mccDigit2 := ?,
|
|
mccDigit3 := ?,
|
|
mncDigit3 := ?,
|
|
mncDigit1 := ?,
|
|
mncDigit2 := ?,
|
|
lac := ?,
|
|
rac := ?,
|
|
cI_value := ?
|
|
}
|
|
if (istemplatekind(cid, "omit")) {
|
|
return omit;
|
|
} else if (istemplatekind(cid, "*")) {
|
|
return *;
|
|
} else if (istemplatekind(cid, "?")) {
|
|
return ?;
|
|
}
|
|
if (isvalue(cid) and isvalue(cid.ra_id) and isvalue(cid.ra_id.lai)) {
|
|
if (isvalue(cid.ra_id.lai.mcc_mnc)) {
|
|
ret.mccDigit1 := cid.ra_id.lai.mcc_mnc[0];
|
|
ret.mccDigit2 := cid.ra_id.lai.mcc_mnc[1];
|
|
ret.mccDigit3 := cid.ra_id.lai.mcc_mnc[2];
|
|
ret.mncDigit3 := cid.ra_id.lai.mcc_mnc[5];
|
|
ret.mncDigit2 := cid.ra_id.lai.mcc_mnc[4];
|
|
ret.mncDigit1 := cid.ra_id.lai.mcc_mnc[3];
|
|
}
|
|
if (isvalue(cid.ra_id.lai.lac)) {
|
|
ret.lac := f_oct_or_wc(cid.ra_id.lai.lac, 2);
|
|
}
|
|
}
|
|
if (isvalue(cid) and isvalue(cid.ra_id)) {
|
|
ret.rac := f_oct_or_wc(cid.ra_id.rac, 1);
|
|
}
|
|
if (isvalue(cid)) {
|
|
ret.cI_value := f_oct_or_wc(cid.cell_id, 2);
|
|
}
|
|
return ret;
|
|
}
|
|
|
|
template PDU_BSSGP ts_BVC_RESET(BssgpCause cause, BssgpBvci bvci,
|
|
template BssgpCellId cell_id) := {
|
|
pDU_BSSGP_BVC_RESET := {
|
|
bssgpPduType := '22'O,
|
|
bVCI := t_BSSGP_BVCI(bvci),
|
|
cause := t_BSSGP_CAUSE(cause),
|
|
cell_Identifier := t_BSSGP_IE_CellId(cell_id),
|
|
feature_bitmap := omit,
|
|
extended_Feature_Bitmap := omit
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP tr_BVC_RESET(template BssgpCause cause, template BssgpBvci bvci,
|
|
template BssgpCellId cell_id) := {
|
|
pDU_BSSGP_BVC_RESET := {
|
|
bssgpPduType := '22'O,
|
|
bVCI := t_BSSGP_BVCI(bvci),
|
|
cause := t_BSSGP_CAUSE(cause),
|
|
cell_Identifier := t_BSSGP_IE_CellId(cell_id),
|
|
feature_bitmap := *,
|
|
extended_Feature_Bitmap := *
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP ts_BVC_RESET_ACK(BssgpBvci bvci, template BssgpCellId cell_id) := {
|
|
pDU_BSSGP_BVC_RESET_ACK := {
|
|
bssgpPduType := '23'O,
|
|
bVCI := t_BSSGP_BVCI(bvci),
|
|
cell_Identifier := t_BSSGP_IE_CellId(cell_id),
|
|
feature_bitmap := omit,
|
|
extended_Feature_Bitmap := omit
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP tr_BVC_RESET_ACK(template BssgpBvci bvci, template BssgpCellId cell_id) := {
|
|
pDU_BSSGP_BVC_RESET_ACK := {
|
|
bssgpPduType := '23'O,
|
|
bVCI := t_BSSGP_BVCI(bvci),
|
|
cell_Identifier := t_BSSGP_IE_CellId(cell_id),
|
|
feature_bitmap := *,
|
|
extended_Feature_Bitmap := *
|
|
}
|
|
}
|
|
|
|
|
|
template PDU_BSSGP t_BVC_UNBLOCK(template BssgpBvci bvci) := {
|
|
pDU_BSSGP_BVC_UNBLOCK := {
|
|
bssgpPduType := '24'O,
|
|
bVCI := t_BSSGP_BVCI(bvci)
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP t_BVC_UNBLOCK_ACK(template BssgpBvci bvci) := {
|
|
pDU_BSSGP_BVC_UNBLOCK_ACK := {
|
|
bssgpPduType := '25'O,
|
|
bVCI := t_BSSGP_BVCI(bvci)
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP t_BVC_BLOCK(template BssgpBvci bvci, template BssgpCause cause) := {
|
|
pDU_BSSGP_BVC_BLOCK := {
|
|
bssgpPduType := '20'O,
|
|
bVCI := t_BSSGP_BVCI(bvci),
|
|
cause := t_BSSGP_CAUSE(cause)
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP t_BVC_BLOCK_ACK(template BssgpBvci bvci) := {
|
|
pDU_BSSGP_BVC_BLOCK_ACK := {
|
|
bssgpPduType := '21'O,
|
|
bVCI := t_BSSGP_BVCI(bvci)
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP t_BVC_FC_BVC(uint16_t bmax, uint16_t bucket_leak_rate,
|
|
uint16_t bmax_default_ms, uint16_t r_default_ms, OCT1 tag) := {
|
|
pDU_BSSGP_FLOW_CONTROL_BVC := {
|
|
bssgpPduType := '26'O,
|
|
tag := {
|
|
iEI := '1E'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 1
|
|
},
|
|
unstructured_Value := tag
|
|
},
|
|
bVC_Bucket_Size := {
|
|
iEI := '05'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
bmax := f_oct_or_wc(bmax, 2)
|
|
},
|
|
bucket_Leak_Rate := {
|
|
iEI := '03'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
r_Value := f_oct_or_wc(bucket_leak_rate, 2)
|
|
},
|
|
bmax_default_MS := {
|
|
iEI := '01'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
bmax := f_oct_or_wc(bmax_default_ms, 2)
|
|
},
|
|
r_default_MS := {
|
|
iEI := '1C'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
r_default_MS_value := f_oct_or_wc(r_default_ms, 2)
|
|
},
|
|
bucket_Full_Ratio := omit,
|
|
bVC_Measurement := omit,
|
|
flow_Control_Granularity := omit
|
|
}
|
|
}
|
|
template PDU_BSSGP tr_BVC_FC_BVC(template uint16_t bmax := ?,
|
|
template uint16_t bucket_leak_rate := ?,
|
|
template uint16_t bmax_default_ms := ?,
|
|
template uint16_t r_default_ms := ?,
|
|
template OCT1 tag := ?) := {
|
|
pDU_BSSGP_FLOW_CONTROL_BVC := {
|
|
bssgpPduType := '26'O,
|
|
tag := {
|
|
iEI := '1E'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 1
|
|
},
|
|
unstructured_Value := tag
|
|
},
|
|
bVC_Bucket_Size := {
|
|
iEI := '05'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
bmax := f_oct_or_wc(bmax, 2)
|
|
},
|
|
bucket_Leak_Rate := {
|
|
iEI := '03'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
r_Value := f_oct_or_wc(bucket_leak_rate, 2)
|
|
},
|
|
bmax_default_MS := {
|
|
iEI := '01'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
bmax := f_oct_or_wc(bmax_default_ms, 2)
|
|
},
|
|
r_default_MS := {
|
|
iEI := '1C'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
r_default_MS_value := f_oct_or_wc(r_default_ms, 2)
|
|
},
|
|
bucket_Full_Ratio := *,
|
|
bVC_Measurement := *,
|
|
flow_Control_Granularity := *
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP t_BVC_FC_BVC_ACK(template OCT1 tag) := {
|
|
pDU_BSSGP_FLOW_CONTROL_BVC_ACK := {
|
|
bssgpPduType := '27'O,
|
|
tag := {
|
|
iEI := '1E'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
unstructured_Value := tag
|
|
}
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP ts_BSSGP_STATUS(template BssgpBvci bvci, template BssgpCause cause,
|
|
PDU_BSSGP pdu) := {
|
|
pDU_BSSGP_STATUS := {
|
|
bssgpPduType := '0A'O,
|
|
cause := t_BSSGP_CAUSE(cause),
|
|
bVCI := t_BSSGP_BVCI(bvci),
|
|
pDU_in_Error := {
|
|
iEI := '15'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 0 /* overwritten */
|
|
},
|
|
erroneous_BSSGP_PDU := enc_PDU_BSSGP(pdu)
|
|
}
|
|
}
|
|
}
|
|
|
|
template QoS_Profile_V t_defaultQos := {
|
|
peak_Bit_Rate := int2oct(80, 2),
|
|
precedence := '000'B,
|
|
a_bit := '0'B,
|
|
t_bit := '0'B,
|
|
c_r_bit := '0'B,
|
|
peakBitRateGranularity := '00'B
|
|
}
|
|
|
|
template QoS_Profile ts_QoS_TLV(template QoS_Profile_V qos) := {
|
|
iEI := '18'O,
|
|
ext := '1'B,
|
|
lengthIndicator := { length1 := 3 },
|
|
peak_Bit_Rate := qos.peak_Bit_Rate,
|
|
precedence := qos.precedence,
|
|
a_bit := qos.a_bit,
|
|
t_bit := qos.t_bit,
|
|
c_r_bit := qos.c_r_bit,
|
|
peakBitRateGranularity := qos.peakBitRateGranularity
|
|
}
|
|
|
|
template PDU_Lifetime t_DefaultLifetime(uint16_t delay := 65535) := {
|
|
iEI := '16'O,
|
|
ext := '1'B,
|
|
lengthIndicator := {
|
|
length1 := 2
|
|
},
|
|
delay_Value := f_oct_or_wc(delay, 2)
|
|
}
|
|
|
|
template PDU_BSSGP ts_BSSGP_DL_UD(GprsTlli tlli, octetstring pdu) := {
|
|
pDU_BSSGP_DL_UNITDATA := {
|
|
bssgpPduType := '00'O,
|
|
tLLI_current := tlli,
|
|
qoS_Profile := t_defaultQos,
|
|
pDU_Lifetime := t_DefaultLifetime(65535),
|
|
mS_Radio_Access_Capability := omit,
|
|
priority := omit,
|
|
dRX_Parameters := omit,
|
|
iMSI := omit,
|
|
tLLI_old := omit,
|
|
pFI := omit,
|
|
lSA_Information := omit,
|
|
service_UTRAN_CCO := omit,
|
|
service_Class_Indicator := omit,
|
|
subscriber_Profile_ID_For_RAT_Priority := omit,
|
|
redirection_Indication := omit,
|
|
redirection_Completed := omit,
|
|
unconfirmed_Send_State_Variable := omit,
|
|
sCI := omit,
|
|
gGSN_PGW_Location := omit,
|
|
eDRX_Paremeters := omit,
|
|
old_Routing_Area_Identification := omit,
|
|
attach_Indicator := omit,
|
|
alignment_octets := omit,
|
|
lLC_PDU := ts_BSSGP_LLC_PDU(pdu),
|
|
initialLLC_PDU := omit
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP tr_BSSGP_DL_UD := {
|
|
pDU_BSSGP_DL_UNITDATA := {
|
|
bssgpPduType := '00'O,
|
|
tLLI_current := ?,
|
|
qoS_Profile := ?,
|
|
pDU_Lifetime := ?,
|
|
mS_Radio_Access_Capability := *,
|
|
priority := *,
|
|
dRX_Parameters := *,
|
|
iMSI := *,
|
|
tLLI_old := *,
|
|
pFI := *,
|
|
lSA_Information := *,
|
|
service_UTRAN_CCO := *,
|
|
service_Class_Indicator := *,
|
|
subscriber_Profile_ID_For_RAT_Priority := *,
|
|
redirection_Indication := *,
|
|
redirection_Completed := *,
|
|
unconfirmed_Send_State_Variable := *,
|
|
sCI := *,
|
|
gGSN_PGW_Location := *,
|
|
eDRX_Paremeters := *,
|
|
old_Routing_Area_Identification := *,
|
|
attach_Indicator := *,
|
|
alignment_octets := *,
|
|
lLC_PDU := tr_BSSGP_LLC_PDU,
|
|
initialLLC_PDU := *
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP ts_BSSGP_UL_UD(GprsTlli tlli, BssgpCellId cell_id, octetstring payload) := {
|
|
pDU_BSSGP_UL_UNITDATA := {
|
|
bssgpPduType := '01'O,
|
|
tLLI := tlli,
|
|
qoS_Profile := t_defaultQos,
|
|
cell_Identifier := t_BSSGP_IE_CellId(cell_id),
|
|
pFI := omit,
|
|
lSA_Identifier_List := omit,
|
|
redirect_Attempt_Flag := omit,
|
|
iMSI_BSSGP := omit,
|
|
unconfirmed_Send_State_Variable := omit,
|
|
selected_PLMN_ID := omit,
|
|
selected_Operator := omit,
|
|
cS_Registered_Operator := omit,
|
|
alignment_octets := omit,
|
|
lLC_PDU := ts_BSSGP_LLC_PDU(payload)
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP tr_BSSGP_UL_UD(template GprsTlli tlli := ?, template BssgpCellId cell_id := ?,
|
|
template octetstring payload := ?) := {
|
|
pDU_BSSGP_UL_UNITDATA := {
|
|
bssgpPduType := '01'O,
|
|
tLLI := tlli,
|
|
qoS_Profile := ?,
|
|
cell_Identifier := t_BSSGP_IE_CellId(cell_id),
|
|
pFI := *,
|
|
lSA_Identifier_List := *,
|
|
redirect_Attempt_Flag := *,
|
|
iMSI_BSSGP := *,
|
|
unconfirmed_Send_State_Variable := *,
|
|
selected_PLMN_ID := *,
|
|
selected_Operator := *,
|
|
cS_Registered_Operator := *,
|
|
alignment_octets := *,
|
|
lLC_PDU := tr_BSSGP_LLC_PDU(payload)
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP tr_BSSGP_PS_PAGING(BssgpBvci bvci) := {
|
|
pDU_BSSGP_PAGING_PS := {
|
|
bssgpPduType := '06'O,
|
|
iMSI := ?,
|
|
dRX_Parameters := *,
|
|
paging_Field4 := {
|
|
bVCI := t_BSSGP_BVCI(bvci)
|
|
},
|
|
pFI := *,
|
|
aBQP := *,
|
|
qoS_Profile := ?,
|
|
pTMSI := *,
|
|
eDRX_Paremeters := *
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP ts_BSSGP_PS_PAGING_IMSI(BssgpBvci bvci, hexstring imsi) := {
|
|
pDU_BSSGP_PAGING_PS := {
|
|
bssgpPduType := '06'O,
|
|
iMSI := ts_BSSGP_IMSI(imsi),
|
|
dRX_Parameters := omit,
|
|
paging_Field4 := {
|
|
bVCI := t_BSSGP_BVCI(bvci)
|
|
},
|
|
pFI := omit,
|
|
aBQP := omit,
|
|
qoS_Profile := ts_QoS_TLV(t_defaultQos),
|
|
pTMSI := omit,
|
|
eDRX_Paremeters := omit
|
|
}
|
|
}
|
|
|
|
template PDU_BSSGP ts_BSSGP_PS_PAGING_PTMSI(BssgpBvci bvci, hexstring imsi, GsmTmsi tmsi) := {
|
|
pDU_BSSGP_PAGING_PS := {
|
|
bssgpPduType := '06'O,
|
|
iMSI := ts_BSSGP_IMSI(imsi),
|
|
dRX_Parameters := omit,
|
|
paging_Field4 := {
|
|
bVCI := t_BSSGP_BVCI(bvci)
|
|
},
|
|
pFI := omit,
|
|
aBQP := omit,
|
|
qoS_Profile := ts_QoS_TLV(t_defaultQos),
|
|
pTMSI := ts_BSSGP_TMSI(tmsi),
|
|
eDRX_Paremeters := omit
|
|
}
|
|
}
|
|
|
|
|
|
} with { encode "RAW" };
|