osmo-ttcn3-hacks/library/sbcap/SBC_AP_Templates.ttcn

333 lines
9.9 KiB
Plaintext

module SBC_AP_Templates {
import from General_Types all;
import from Osmocom_Types all;
import from SBC_AP_IEs all;
import from SBC_AP_Constants all;
import from SBC_AP_Containers all;
import from SBC_AP_PDU_Contents all;
import from SBC_AP_PDU_Descriptions all;
import from SBC_AP_Types all;
/* 3GPP TS 36.413 9.2.1.38 */
template (value) EUTRAN_CGI ts_SBCAP_ECGI(PLMNidentity plmn_id := '09F107'O, integer cell_id := 1) := {
pLMNidentity := plmn_id,
cell_ID := int2bit(cell_id, 28),
iE_Extensions := omit
}
/* 3GPP TS 36.413 9.2.1.54 */
template (value) CellId_Broadcast_List_Item ts_SBCAP_CellId_Broadcast_List_Item(
template (value) EUTRAN_CGI ecgi := ts_SBCAP_ECGI()) := {
eCGI := ecgi,
iE_Extensions := omit
}
template (value) Broadcast_Scheduled_Area_List ts_SBCAP_Broadcast_Scheduled_Area_List(
template (value) CellId_Broadcast_List cell_id_li := {ts_SBCAP_CellId_Broadcast_List_Item()})
:= {
cellId_Broadcast_List := cell_id_li,
tAI_Broadcast_List := omit,
emergencyAreaID_Broadcast_List := omit,
iE_Extensions := omit
}
template (value) SBC_AP_PDU
ts_SBCAP_PWS_RESTART(
template (value) Restarted_Cell_List restart_cl,
template (value) Global_ENB_ID global_enb_id) := {
initiatingMessage := {
procedureCode := id_PWS_Restart_Indication,
criticality := reject,
value_ := {
PWS_Restart_Indication := {
protocolIEs := {
{
id := SBC_AP_Constants.id_Restarted_Cell_List,
criticality := reject,
value_ := { Restarted_Cell_List := restart_cl }
}, {
id := SBC_AP_Constants.id_Global_ENB_ID,
criticality := reject,
value_ := { Global_ENB_ID := global_enb_id }
}
/* List of TAIs (mandatory) */
/* List of EAIs (optional) */
},
protocolExtensions := omit
}
}
}
}
template (value) SBC_AP_PDU
ts_SBCAP_PWS_FAILURE(
template (value) Failed_Cell_List fail_cl,
template (value) Global_ENB_ID global_enb_id) := {
initiatingMessage := {
procedureCode := id_PWS_Failure_Indication,
criticality := reject,
value_ := {
PWS_Failure_Indication := {
protocolIEs := {
{
id := SBC_AP_Constants.id_Failed_Cell_List,
criticality := reject,
value_ := { Failed_Cell_List := fail_cl }
}, {
id := SBC_AP_Constants.id_Global_ENB_ID,
criticality := reject,
value_ := { Global_ENB_ID := global_enb_id }
}
},
protocolExtensions := omit
}
}
}
}
/* 4.3.4.2.1 WRITE-REPLACE WARNING REQUEST */
template (value) SBC_AP_PDU
ts_SBCAP_WRITE_WARNING(template (value) BIT16 p_msg_id, template (value) BIT16 p_ser_nr,
template (value) uint12_t p_rep_per, template (value) uint16_t p_num_bcast,
template (value) OCT2 p_w_type, OCT1 p_dcs,
template (value) octetstring p_msg_content) := {
initiatingMessage := {
procedureCode := id_Write_Replace_Warning,
criticality := reject,
value_ := {
write_Replace_Warning_Request := {
protocolIEs := {
{
id := SBC_AP_Constants.id_Message_Identifier,
criticality := reject,
value_ := { Message_Identifier := p_msg_id }
}, {
id := SBC_AP_Constants.id_Serial_Number,
criticality := reject,
value_ := { Serial_Number := p_ser_nr }
/* List of TAIs */
/* Warning Area List */
}, {
id := SBC_AP_Constants.id_Repetition_Period,
criticality := reject,
value_ := { Repetition_Period := p_rep_per }
/* Extended Repetition Period */
}, {
id := SBC_AP_Constants.id_Number_of_Broadcasts_Requested,
criticality := reject,
value_ := { Number_of_Broadcasts_Requested := p_num_bcast }
}, {
id := SBC_AP_Constants.id_Warning_Type,
criticality := ignore,
value_ := { Warning_Type := p_w_type }
}, {
/* Warning Security Info */
/* Data Coding Scheme */
id := SBC_AP_Constants.id_Data_Coding_Scheme,
criticality := ignore,
value_ := { Data_Coding_Scheme := oct2bit(p_dcs) }
}, {
/* Warning Message Content */
id := SBC_AP_Constants.id_Warning_Message_Content,
criticality := ignore,
value_ := { Warning_Message_Content := p_msg_content }
}
/* OMC ID */
/* Concurrent Warning Message Indicator */
/* Send Write Replace Warning Indication */
/* Global eNB ID */
/* Warning Area Coordinates */
},
protocolExtensions := omit
}
}
}
}
template (present) SBC_AP_PDU
tr_SBCAP_WRITE_WARNING(template (present) BIT16 p_msg_id, template (present) BIT16 p_ser_nr,
template (present) uint12_t p_rep_per,
template (present) uint16_t p_num_bcast,
template (present) BIT8 dcs := ?,
template (present) octetstring p_msg_content := ?,
template (present) Send_Write_Replace_Warning_Indication send_ind := ?
) := {
initiatingMessage := {
procedureCode := id_Write_Replace_Warning,
criticality := reject,
value_ := {
write_Replace_Warning_Request := {
protocolIEs := {
{
id := SBC_AP_Constants.id_Message_Identifier,
criticality := reject,
value_ := { Message_Identifier := p_msg_id }
}, {
id := SBC_AP_Constants.id_Serial_Number,
criticality := reject,
value_ := { Serial_Number := p_ser_nr }
/* List of TAIs */
/* Warning Area List */
}, {
id := SBC_AP_Constants.id_Repetition_Period,
criticality := reject,
value_ := { Repetition_Period := p_rep_per }
/* Extended Repetition Period */
}, {
id := SBC_AP_Constants.id_Number_of_Broadcasts_Requested,
criticality := reject,
value_ := { Number_of_Broadcasts_Requested := p_num_bcast }
}/*, {
id := SBC_AP_Constants.id_Warning_Type,
criticality := ignore,
value_ := { Warning_Type := warn_type }
}, {
id := SBC_AP_Constants.id_Warning_Security_Information,
criticality := reject,
value_ := { Warning_Security_Information := ? }
}*/, {
id := SBC_AP_Constants.id_Data_Coding_Scheme,
criticality := ignore,
value_ := { Data_Coding_Scheme := dcs }
}, {
/* Warning Message Content */
id := SBC_AP_Constants.id_Warning_Message_Content,
criticality := ignore,
value_ := { Warning_Message_Content := p_msg_content }
/* OMC ID */
/* Concurrent Warning Message Indicator */
}, {
id := SBC_AP_Constants.id_Send_Write_Replace_Warning_Indication,
criticality := ignore,
value_ := { Send_Write_Replace_Warning_Indication := send_ind }
}
/* Global eNB ID */
/* Warning Area Coordinates */
},
protocolExtensions := omit
}
}
}
}
/* 4.3.4.2.5 WRITE REPLACE WARNING INDICATION */
template (value) SBC_AP_PDU
ts_SBCAP_WRITE_WARNING_IND(template (value) BIT16 p_msg_id, template (value) BIT16 p_ser_nr,
template (value) SBC_AP_Cause cause := SBC_AP_Cause_message_accepted,
template (value) CellId_Broadcast_List bcast_cell_id_li := {ts_SBCAP_CellId_Broadcast_List_Item()}) := {
initiatingMessage := {
procedureCode := id_Write_Replace_Warning_Indication,
criticality := ignore,
value_ := {
write_Replace_Warning_Indication := {
protocolIEs := {
{
id := SBC_AP_Constants.id_Message_Identifier,
criticality := reject,
value_ := { Message_Identifier := p_msg_id }
}, {
id := SBC_AP_Constants.id_Serial_Number,
criticality := reject,
value_ := { Serial_Number := p_ser_nr }
}, {
id := SBC_AP_Constants.id_Broadcast_Scheduled_Area_List,
criticality := reject,
value_ := { broadcast_Scheduled_Area_List := ts_SBCAP_Broadcast_Scheduled_Area_List(bcast_cell_id_li) }
}
},
protocolExtensions := omit
}
}
}
}
/* 4.3.4.2.3 STOP WARNING REQUEST */
template (value) SBC_AP_PDU
ts_SBCAP_WRITE_WARNING_RESP(template (value) BIT16 p_msg_id, template (value) BIT16 p_ser_nr,
template (value) SBC_AP_Cause cause := SBC_AP_Cause_message_accepted) := {
successfulOutcome := {
procedureCode := id_Write_Replace_Warning,
criticality := reject,
value_ := {
write_Replace_Warning_Response := {
protocolIEs := {
{
id := SBC_AP_Constants.id_Message_Identifier,
criticality := reject,
value_ := { Message_Identifier := p_msg_id }
}, {
id := SBC_AP_Constants.id_Serial_Number,
criticality := reject,
value_ := { Serial_Number := p_ser_nr }
}, {
id := SBC_AP_Constants.id_Cause,
criticality := reject,
value_ := { Cause := enum2int(valueof(cause)) }
}
},
protocolExtensions := omit
}
}
}
}
template (present) SBC_AP_PDU
tr_SBCAP_STOP_WARNING(template (present) BIT16 p_msg_id, template (present) BIT16 p_ser_nr) := {
initiatingMessage := {
procedureCode := id_Stop_Warning,
criticality := reject,
value_ := {
stop_Warning_Request := {
protocolIEs := {
{
id := SBC_AP_Constants.id_Message_Identifier,
criticality := reject,
value_ := { Message_Identifier := p_msg_id }
}, {
id := SBC_AP_Constants.id_Serial_Number,
criticality := reject,
value_ := { Serial_Number := p_ser_nr }
/* List of TAIs */
/* Warning Area List */
}
},
protocolExtensions := omit
}
}
}
}
/* 4.3.4.2.4 STOP WARNING RESPONSE */
template (value) SBC_AP_PDU
ts_SBCAP_STOP_WARNING_RESP(template (value) BIT16 p_msg_id, template (value) BIT16 p_ser_nr,
template (value) SBC_AP_Cause cause := SBC_AP_Cause_message_accepted) := {
successfulOutcome := {
procedureCode := id_Stop_Warning,
criticality := reject,
value_ := {
stop_Warning_Response := {
protocolIEs := {
{
id := SBC_AP_Constants.id_Message_Identifier,
criticality := reject,
value_ := { Message_Identifier := p_msg_id }
}, {
id := SBC_AP_Constants.id_Serial_Number,
criticality := reject,
value_ := { Serial_Number := p_ser_nr }
}, {
id := SBC_AP_Constants.id_Cause,
criticality := reject,
value_ := { Cause := enum2int(valueof(cause)) }
}
},
protocolExtensions := omit
}
}
}
}
}