From 5e6ae79d0c321dbf0af11aa813d32cef97191f34 Mon Sep 17 00:00:00 2001 From: Alexander Couzens Date: Fri, 11 Sep 2020 19:49:22 +0200 Subject: [PATCH] library: GSM_Types: fix extra indention tab The top level context doesn't have an indent. Change-Id: Ifece2e9fa782f173665e10fa9174403cccac7eb6 --- library/GSM_Types.ttcn | 404 ++++++++++++++++++++--------------------- 1 file changed, 202 insertions(+), 202 deletions(-) diff --git a/library/GSM_Types.ttcn b/library/GSM_Types.ttcn index 8625cc3bb..5340fee99 100644 --- a/library/GSM_Types.ttcn +++ b/library/GSM_Types.ttcn @@ -12,223 +12,223 @@ module GSM_Types { - import from General_Types all; - import from Osmocom_Types all; +import from General_Types all; +import from Osmocom_Types all; - type integer GsmArfcn (0..1023); - type integer UmtsArfcn (0..16383); - type integer UmtsScramblingCode (0..511); - const integer GsmMaxFrameNumber := 26*51*2048; - type integer GsmFrameNumber (0..GsmMaxFrameNumber); - type integer GsmRxLev (0..63); - type integer GsmTsc (0..7) with { variant "FIELDLENGTH(8)" }; - type uint32_t GsmTmsi; - type OCT4 GprsTlli; - type hexstring GsmMcc length(3); - type hexstring GsmMnc length(2 .. 3); - type uint16_t GsmLac; - type uint16_t GsmCellId; +type integer GsmArfcn (0..1023); +type integer UmtsArfcn (0..16383); +type integer UmtsScramblingCode (0..511); +const integer GsmMaxFrameNumber := 26*51*2048; +type integer GsmFrameNumber (0..GsmMaxFrameNumber); +type integer GsmRxLev (0..63); +type integer GsmTsc (0..7) with { variant "FIELDLENGTH(8)" }; +type uint32_t GsmTmsi; +type OCT4 GprsTlli; +type hexstring GsmMcc length(3); +type hexstring GsmMnc length(2 .. 3); +type uint16_t GsmLac; +type uint16_t GsmCellId; - type enumerated GprsCodingScheme { - CS1, CS2, CS3, CS4 - }; +type enumerated GprsCodingScheme { + CS1, CS2, CS3, CS4 +}; - function f_gprs_blocksize(GprsCodingScheme cs) return integer { - select (cs) { - case (CS1) { return 22 } - case (CS2) { return 32 } - case (CS3) { return 38 } - case (CS3) { return 52 } - case else { - setverdict(fail, "Invalid GPRS CS ", cs); - mtc.stop; - } +function f_gprs_blocksize(GprsCodingScheme cs) return integer { + select (cs) { + case (CS1) { return 22 } + case (CS2) { return 32 } + case (CS3) { return 38 } + case (CS3) { return 52 } + case else { + setverdict(fail, "Invalid GPRS CS ", cs); + mtc.stop; } } +} - /* 10.5.2.8 */ - type enumerated ChannelNeeded { - CHAN_NEED_ANY (0), - CHAN_NEED_SDCCH (1), - CHAN_NEED_TCH_F (2), - CHAN_NEED_TCH_H (3) - } with { variant "FIELDLENGTH(2)" }; - type record ChannelNeeded12 { - ChannelNeeded second, - ChannelNeeded first - } with { variant "" }; +/* 10.5.2.8 */ +type enumerated ChannelNeeded { + CHAN_NEED_ANY (0), + CHAN_NEED_SDCCH (1), + CHAN_NEED_TCH_F (2), + CHAN_NEED_TCH_H (3) +} with { variant "FIELDLENGTH(2)" }; +type record ChannelNeeded12 { + ChannelNeeded second, + ChannelNeeded first +} with { variant "" }; - /* TS 48.058 9.3.1 Channel Number IE */ - type enumerated RslChanNr0 { - RSL_CHAN_NR_INVALID ('00000'B), - RSL_CHAN_NR_Bm_ACCH ('00001'B), - RSL_CHAN_NR_BCCH ('10000'B), - RSL_CHAN_NR_RACH ('10001'B), - RSL_CHAN_NR_PCH_AGCH ('10010'B), - RSL_CHAN_NR_OSMO_PDCH ('11000'B), - RSL_CHAN_NR_OSMO_CBCH4 ('11001'B), - RSL_CHAN_NR_OSMO_CBCH8 ('11010'B) - } with { variant "FIELDLENGTH(5)" variant "FIELDORDER(msb)" }; +/* TS 48.058 9.3.1 Channel Number IE */ +type enumerated RslChanNr0 { + RSL_CHAN_NR_INVALID ('00000'B), + RSL_CHAN_NR_Bm_ACCH ('00001'B), + RSL_CHAN_NR_BCCH ('10000'B), + RSL_CHAN_NR_RACH ('10001'B), + RSL_CHAN_NR_PCH_AGCH ('10010'B), + RSL_CHAN_NR_OSMO_PDCH ('11000'B), + RSL_CHAN_NR_OSMO_CBCH4 ('11001'B), + RSL_CHAN_NR_OSMO_CBCH8 ('11010'B) +} with { variant "FIELDLENGTH(5)" variant "FIELDORDER(msb)" }; - type record RslChanNr2 { - BIT4 tag ('0001'B), - uint1_t sub_chan - } with { variant "FIELDLENGTH(5)" variant "FIELDORDER(msb)" }; +type record RslChanNr2 { + BIT4 tag ('0001'B), + uint1_t sub_chan +} with { variant "FIELDLENGTH(5)" variant "FIELDORDER(msb)" }; - type record RslChanNr4 { - BIT3 tag ('001'B), - uint2_t sub_chan - } with { variant "FIELDLENGTH(5)" variant "FIELDORDER(msb)" }; +type record RslChanNr4 { + BIT3 tag ('001'B), + uint2_t sub_chan +} with { variant "FIELDLENGTH(5)" variant "FIELDORDER(msb)" }; - type record RslChanNr8 { - BIT2 tag ('01'B), - uint3_t sub_chan - } with { variant "FIELDLENGTH(5)" variant "FIELDORDER(msb)" }; +type record RslChanNr8 { + BIT2 tag ('01'B), + uint3_t sub_chan +} with { variant "FIELDLENGTH(5)" variant "FIELDORDER(msb)" }; - type union RslChanNrU { - RslChanNr0 ch0, - RslChanNr2 lm, - RslChanNr4 sdcch4, - RslChanNr8 sdcch8 - } with { - variant "TAG(lm, tag = '0001'B; - sdcch4, tag = '001'B; - sdcch8, tag = '01'B; - ch0, OTHERWISE)" - variant "FIELDLENGTH(5)" - variant "FIELDORDER(msb)" - }; +type union RslChanNrU { + RslChanNr0 ch0, + RslChanNr2 lm, + RslChanNr4 sdcch4, + RslChanNr8 sdcch8 +} with { + variant "TAG(lm, tag = '0001'B; + sdcch4, tag = '001'B; + sdcch8, tag = '01'B; + ch0, OTHERWISE)" + variant "FIELDLENGTH(5)" + variant "FIELDORDER(msb)" +}; - type record RslChannelNr { - RslChanNrU u, - uint3_t tn - } with { variant "FIELDLENGTH(8)" variant "FIELDORDER(msb)" }; +type record RslChannelNr { + RslChanNrU u, + uint3_t tn +} with { variant "FIELDLENGTH(8)" variant "FIELDORDER(msb)" }; - template RslChannelNr t_RslChanNr0(template uint3_t tn, template RslChanNr0 cht) := { - u := { ch0 := cht }, - tn := tn - } - - template RslChannelNr t_RslChanNr_RACH(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_RACH); - template RslChannelNr t_RslChanNr_BCCH(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_BCCH); - template RslChannelNr t_RslChanNr_PCH_AGCH(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_PCH_AGCH); - template RslChannelNr t_RslChanNr_Bm(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_Bm_ACCH); - template RslChannelNr t_RslChanNr_PDCH(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_OSMO_PDCH); - template RslChannelNr t_RslChanNr_CBCH4(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_OSMO_CBCH4); - template RslChannelNr t_RslChanNr_CBCH8(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_OSMO_CBCH8); - template RslChannelNr t_RslChanNr_Lm(template uint3_t tn, template uint1_t sub_slot) := { - u := { lm := { tag := '0001'B, sub_chan := sub_slot } }, - tn := tn - } - template RslChannelNr t_RslChanNr_SDCCH4(template uint3_t tn, template uint2_t sub_slot) := { - u := { sdcch4 := { tag := '001'B, sub_chan := sub_slot } }, - tn := tn - } - template RslChannelNr t_RslChanNr_SDCCH8(template uint3_t tn, template uint3_t sub_slot) := { - u := { sdcch8 := { tag := '01'B, sub_chan := sub_slot } }, - tn := tn - } - - template (value) RslChannelNr ts_RslChanNr0(uint3_t tn, RslChanNr0 cht) := { - u := { ch0 := cht }, - tn := tn - } - template (value) RslChannelNr ts_RslChanNr_RACH(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_RACH); - template (value) RslChannelNr ts_RslChanNr_BCCH(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_BCCH); - template (value) RslChannelNr ts_RslChanNr_PCH_AGCH(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_PCH_AGCH); - template (value) RslChannelNr ts_RslChanNr_Bm(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_Bm_ACCH); - template (value) RslChannelNr ts_RslChanNr_PDCH(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_OSMO_PDCH); - template (value) RslChannelNr ts_RslChanNr_CBCH4(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_OSMO_CBCH4); - template (value) RslChannelNr ts_RslChanNr_CBCH8(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_OSMO_CBCH8); - template (value) RslChannelNr ts_RslChanNr_Lm(uint3_t tn, uint1_t sub_slot) := { - u := { lm := { tag := '0001'B, sub_chan := sub_slot } }, - tn := tn - } - template (value) RslChannelNr ts_RslChanNr_SDCCH4(uint3_t tn, uint2_t sub_slot) := { - u := { sdcch4 := { tag := '001'B, sub_chan := sub_slot } }, - tn := tn - } - template (value) RslChannelNr ts_RslChanNr_SDCCH8(uint3_t tn, uint3_t sub_slot) := { - u := { sdcch8 := { tag := '01'B, sub_chan := sub_slot } }, - tn := tn - } - - /* TS 48.058 9.3.2 Link ID */ - type enumerated RslLinkIdC { - FACCH_SDCCH (0), - SACCH (1), - OSMO_PTCCH (2) /* Osmocom (trxcon) specific extension */ - } with { variant "FIELDLENGTH(2)" }; - - type enumerated RslSapi0Prio { - SAPI0_PRIO_NORMAL (0), - SAPI0_PRIO_HIGH (1), - SAPI0_PRIO_LOW (2) - } with { variant "FIELDLENGTH(2)" }; - - type uint3_t GsmSapi; - - type record RslLinkId { - RslLinkIdC c, - boolean na, - RslSapi0Prio prio, - GsmSapi sapi - } with { variant "" }; - - template RslLinkId tr_RslLinkId := { - c := ?, - na := ?, - prio := ?, - sapi := ? - }; - - template RslLinkId tr_RslLinkID_DCCH(template GsmSapi sapi) modifies tr_RslLinkId := { - c := FACCH_SDCCH, - na := false, - sapi := sapi - }; - - template RslLinkId tr_RslLinkID_SACCH(template GsmSapi sapi) modifies tr_RslLinkId := { - c := SACCH, - na := false, - sapi := sapi - }; - - template RslLinkId tr_RslLinkID_OSMO_PTCCH(template GsmSapi sapi) modifies tr_RslLinkId := { - c := OSMO_PTCCH, - na := false, - sapi := sapi - }; - - template (value) RslLinkId ts_RslLinkID_DCCH(GsmSapi sapi) := { - c := FACCH_SDCCH, - na := false, - prio := SAPI0_PRIO_NORMAL, - sapi := sapi - }; - - template (value) RslLinkId ts_RslLinkID_SACCH(GsmSapi sapi) := { - c := SACCH, - na := false, - prio := SAPI0_PRIO_NORMAL, - sapi := sapi - }; - - template (value) RslLinkId ts_RslLinkID_OSMO_PTCCH(GsmSapi sapi) := { - c := OSMO_PTCCH, - na := false, - prio := SAPI0_PRIO_NORMAL, - sapi := sapi - }; - - function f_hex_is_odd_length(hexstring digits) return bitstring { - if (lengthof(digits) rem 2 == 1) { - return '1'B; - } else { - return '0'B; - } +template RslChannelNr t_RslChanNr0(template uint3_t tn, template RslChanNr0 cht) := { + u := { ch0 := cht }, + tn := tn +} + +template RslChannelNr t_RslChanNr_RACH(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_RACH); +template RslChannelNr t_RslChanNr_BCCH(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_BCCH); +template RslChannelNr t_RslChanNr_PCH_AGCH(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_PCH_AGCH); +template RslChannelNr t_RslChanNr_Bm(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_Bm_ACCH); +template RslChannelNr t_RslChanNr_PDCH(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_OSMO_PDCH); +template RslChannelNr t_RslChanNr_CBCH4(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_OSMO_CBCH4); +template RslChannelNr t_RslChanNr_CBCH8(template uint3_t tn) := t_RslChanNr0(tn, RSL_CHAN_NR_OSMO_CBCH8); +template RslChannelNr t_RslChanNr_Lm(template uint3_t tn, template uint1_t sub_slot) := { + u := { lm := { tag := '0001'B, sub_chan := sub_slot } }, + tn := tn +} +template RslChannelNr t_RslChanNr_SDCCH4(template uint3_t tn, template uint2_t sub_slot) := { + u := { sdcch4 := { tag := '001'B, sub_chan := sub_slot } }, + tn := tn +} +template RslChannelNr t_RslChanNr_SDCCH8(template uint3_t tn, template uint3_t sub_slot) := { + u := { sdcch8 := { tag := '01'B, sub_chan := sub_slot } }, + tn := tn +} + +template (value) RslChannelNr ts_RslChanNr0(uint3_t tn, RslChanNr0 cht) := { + u := { ch0 := cht }, + tn := tn +} +template (value) RslChannelNr ts_RslChanNr_RACH(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_RACH); +template (value) RslChannelNr ts_RslChanNr_BCCH(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_BCCH); +template (value) RslChannelNr ts_RslChanNr_PCH_AGCH(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_PCH_AGCH); +template (value) RslChannelNr ts_RslChanNr_Bm(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_Bm_ACCH); +template (value) RslChannelNr ts_RslChanNr_PDCH(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_OSMO_PDCH); +template (value) RslChannelNr ts_RslChanNr_CBCH4(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_OSMO_CBCH4); +template (value) RslChannelNr ts_RslChanNr_CBCH8(uint3_t tn) := ts_RslChanNr0(tn, RSL_CHAN_NR_OSMO_CBCH8); +template (value) RslChannelNr ts_RslChanNr_Lm(uint3_t tn, uint1_t sub_slot) := { + u := { lm := { tag := '0001'B, sub_chan := sub_slot } }, + tn := tn +} +template (value) RslChannelNr ts_RslChanNr_SDCCH4(uint3_t tn, uint2_t sub_slot) := { + u := { sdcch4 := { tag := '001'B, sub_chan := sub_slot } }, + tn := tn +} +template (value) RslChannelNr ts_RslChanNr_SDCCH8(uint3_t tn, uint3_t sub_slot) := { + u := { sdcch8 := { tag := '01'B, sub_chan := sub_slot } }, + tn := tn +} + +/* TS 48.058 9.3.2 Link ID */ +type enumerated RslLinkIdC { + FACCH_SDCCH (0), + SACCH (1), + OSMO_PTCCH (2) /* Osmocom (trxcon) specific extension */ +} with { variant "FIELDLENGTH(2)" }; + +type enumerated RslSapi0Prio { + SAPI0_PRIO_NORMAL (0), + SAPI0_PRIO_HIGH (1), + SAPI0_PRIO_LOW (2) +} with { variant "FIELDLENGTH(2)" }; + +type uint3_t GsmSapi; + +type record RslLinkId { + RslLinkIdC c, + boolean na, + RslSapi0Prio prio, + GsmSapi sapi +} with { variant "" }; + +template RslLinkId tr_RslLinkId := { + c := ?, + na := ?, + prio := ?, + sapi := ? +}; + +template RslLinkId tr_RslLinkID_DCCH(template GsmSapi sapi) modifies tr_RslLinkId := { + c := FACCH_SDCCH, + na := false, + sapi := sapi +}; + +template RslLinkId tr_RslLinkID_SACCH(template GsmSapi sapi) modifies tr_RslLinkId := { + c := SACCH, + na := false, + sapi := sapi +}; + +template RslLinkId tr_RslLinkID_OSMO_PTCCH(template GsmSapi sapi) modifies tr_RslLinkId := { + c := OSMO_PTCCH, + na := false, + sapi := sapi +}; + +template (value) RslLinkId ts_RslLinkID_DCCH(GsmSapi sapi) := { + c := FACCH_SDCCH, + na := false, + prio := SAPI0_PRIO_NORMAL, + sapi := sapi +}; + +template (value) RslLinkId ts_RslLinkID_SACCH(GsmSapi sapi) := { + c := SACCH, + na := false, + prio := SAPI0_PRIO_NORMAL, + sapi := sapi +}; + +template (value) RslLinkId ts_RslLinkID_OSMO_PTCCH(GsmSapi sapi) := { + c := OSMO_PTCCH, + na := false, + prio := SAPI0_PRIO_NORMAL, + sapi := sapi +}; + +function f_hex_is_odd_length(hexstring digits) return bitstring { + if (lengthof(digits) rem 2 == 1) { + return '1'B; + } else { + return '0'B; } +} /* TS 04.12 Section 3.3.1 Block type */