Module SUPL_V2_Templates

• GeoInformation_TypeDefinitions
     all
• SMS_TypeDefinitions
     all
• OMA_SUPL_V2_UDP_Types
     all
• SUPL_TypeDefinitions
     all
• RRLP_CommonTypes
     all
• RRLPV10Types
     all
• SUPLTypes
     all
• SUPL_SMS_TypeDefinitions
     all
• SUPL_Parameters
     all
• RRLPV5Types
     all
• SUPL_V2_CommonSteps
     all
• SUPL_Templates
     all
• OMA_SUPL_V2_CDMA_Types
     all
• LibCommon_DataStrings
     all
• SUPL_V2_Parameters
     all
• SUPL_Configuration
     all

• suplMessagesGroup
• ulpMessagesGroup
• suplMessagesParameterGroup
• versionTemplatesGroup
• utpMessageGroup
• mmiMessagesGroup
• UDP_SMS_Messages
• C2K_SMS_Messages

Details

const GNSSPosTechnology c_GNSSPosTechnologyGloneASS :=
{
    gps := false,
    galileo := false,
    sbas := false,
    modernized_gps := false,
    qzss := false,
    glonass := true
}

const GNSSPosTechnology c_GNSSPosTechnologyGalileoGloneASS :=
{
    gps := false,
    galileo := true,
    sbas := false,
    modernized_gps := false,
    qzss := false,
    glonass := true
}

const GNSSPosTechnology c_GNSSPosTechnologyGalileo :=
{
    gps := false,
    galileo := true,
    sbas := false,
    modernized_gps := false,
    qzss := false,
    glonass := false
}

const GNSSPosTechnology c_GNSSPosTechnologyGalileoGloneASSiXIT :=
{
gps := false,
galileo := ixit_gANSS.galileo,
sbas := false,
modernized_gps := false,
qzss := false,
glonass := ixit_gANSS.gloneass
}

const GeographicTargetArea c_geographicTargetAreaCircularIn :=
{
    circularArea := {
        coordinate := {
            latitudeSign := north,
            latitude := fx_GadLatitude(35.666667),
            longitude := fx_GadLongitude(139.75)
        },
        radius := 1000,
        radius_min := omit,
        radius_max := omit
    }
}

const GeographicTargetArea c_geographicTargetAreaCircularOut :=
{
    circularArea := {
        coordinate := {
            latitudeSign := north,
            latitude := fx_GadLatitude(35.666667),
            longitude := fx_GadLongitude(139.77)
        },
        radius := 1000,
        radius_min := omit,
        radius_max := omit
    }
}

const charstring c_UTP_START_SI_PERIODIC_TRIGGERED_LOCATION_SESSION
:= "Start SI Periodic Event Triggered Location Session"

const charstring c_UTP_START_SI_AREAEVENT_TRIGGERED_LOCATION_SESSION
:= "Start SI AreaEvent Triggered Location Session"

const charstring c_MMI_MSG_MOVE_TO_CELL_USED_FOR_TESTING :=
"Request for cellular handover to the Cell ID that is normally used for testing."

const charstring c_MMI_MSG_MOVE_TO_CELL_NOT_USED_FOR_TESTING :=
"Request for cellular handover to the Cell ID that is normally NOT used for testing."

const charstring c_MMI_MSG_staticGPSinsideTokyo :=
"Request for GPS scenario inside Tokyo."

const charstring c_MMI_MSG_dynamicGPSenteringTokyo :=
"Request for GPS scenario entering Tokyo."

const charstring c_MMI_MSG_staticGLONASS :=
"Request for GLONASS scenario."

const charstring c_MMI_MSG_staticGalilleo :=
"Request for GALILLEO scenario."

template ULP_PDU
m_ulpPdu( template(present) Version p_version , template(present) SessionID p_sessionId,
         template(present) UlpMessage p_suplMessage) := {
    length_ := 0,
    version := p_version,
    sessionID := p_sessionId,
    message_ := p_suplMessage
}

• p_version -
• p_sessionId -
• p_suplMessage -

template ULP_PDU
m_ulpSuplInit(template(present) Version p_version,
              template(present) SessionID p_sessionId,
              template(present) UlpMessage p_suplInit)
modifies m_ulpPdu(p_version, p_sessionId, p_suplInit) := {
    sessionID := {
        setSessionID := omit, slpSessionID := p_sessionId.slpSessionID
    }
}

• p_version -
• p_sessionId -
• p_suplInit -

template UlpMessage
m_ulpMessageSuplResponse_posTechnology(template PosMethod p_posMethod,
                             template GNSSPosTechnology
                                 p_GNSSPosTechnology) := {
    msSUPLRESPONSE := m_suplResponse_posTechnology(p_posMethod, p_GNSSPosTechnology)
}

• p_posMethod -
• p_GNSSPosTechnology -

template SUPLRESPONSE
m_suplResponse_posTechnology(template PosMethod p_posMethod,
                             template GNSSPosTechnology
                                 p_GNSSPosTechnology) := {
        posMethod := p_posMethod,
        sLPAddress := omit,
        sETAuthKey := omit,
        keyIdentity4 := omit,
        ver2_SUPL_RESPONSE_extension :=
            m_ver2_SUPL_RESPONSE_extension_pos_technology
            (p_GNSSPosTechnology)
}

• p_posMethod -
• p_GNSSPosTechnology -

template Ver2_SUPL_RESPONSE_extension
m_ver2_SUPL_RESPONSE_extension_pos_technology(template
                                              GNSSPosTechnology
                                                  p_gnssPosTechnology)
:= {
    supportedNetworkInformation := omit,
    sPCSETKey := omit,
    sPCTID := omit,
    sPCSETKeylifetime := omit,
    initialApproximateposition := omit,
    gnssPosTechnology := p_gnssPosTechnology
}

• p_gnssPosTechnology -

template Ver2_SUPLTRIGGEREDRESPONSE
m_suplTriggeredResponse_posMethod_trigParams(template PosMethod
                                                 p_positioningMethod,
                                             template TriggerParams
                                                 p_triggerParams) := {
    posMethod := p_positioningMethod,
    triggerParams := p_triggerParams,
    sLPAddress := omit,
    supportedNetworkInformation := omit,
    reportingMode := omit,
    sPCSETKey := omit,
    sPCTID := omit,
    sPCSETKeylifetime := omit,
    gnssPosTechnology := omit
}

• p_positioningMethod -
• p_triggerParams -

template ULP_PDU
m_ulpPduVersion(SessionID p_sessionId, UlpMessage p_suplMessage,
                Version p_version) modifies s_ulpPdu := {
    version := p_version
}

• p_sessionId -
• p_suplMessage -
• p_version -

template UlpMessage
m_ulpMessage_suplTriggeredResponse(template Ver2_SUPLTRIGGEREDRESPONSE
                                       p_suplTriggeredResp) := {
    msSUPLTRIGGEREDRESPONSE := p_suplTriggeredResp
}

• p_suplTriggeredResp -

template UlpMessage
m_ulpMessage_suplReport(template(present) Ver2_SUPLREPORT p_suplReport) := {
    msSUPLREPORT := p_suplReport
}

• p_suplReport -

template UlpMessage
m_suplInitBase(template PosMethod p_posMethod,
               template Notification p_notification,
               template SLPAddress p_slpAddress,
               template SLPMode p_slpMode,
               template Ver2_SUPL_INIT_extension
                   p_ver2_SUPL_INIT_extension) := {
    msSUPLINIT := {
        posMethod := p_posMethod,
        notification := p_notification,
        sLPAddress := p_slpAddress,
        qoP := omit,
        sLPMode := p_slpMode,
        mAC := omit,
        keyIdentity := omit,
        ver2_SUPL_INIT_extension := p_ver2_SUPL_INIT_extension
    }
}

• p_posMethod -
• p_notification -
• p_slpAddress -
• p_slpMode -
• p_ver2_SUPL_INIT_extension -

template UlpMessage m_suplTriggeredResponse := {
    msSUPLTRIGGEREDRESPONSE := {
        posMethod := agpsSETassisted,
        triggerParams := omit,
        sLPAddress := omit,
        supportedNetworkInformation := omit,
        reportingMode := omit,
        sPCSETKey := omit,
        sPCTID := omit,
        sPCSETKeylifetime := omit,
        gnssPosTechnology := omit
    }
}

template UlpMessage m_suplTriggeredResponsePosMethodTriggerParams 
(template PosMethod p_posMethod, template TriggerParams p_triggerParams):= {
msSUPLTRIGGEREDRESPONSE := {
posMethod := p_posMethod,
triggerParams := p_triggerParams,
sLPAddress := omit,
supportedNetworkInformation := omit,
reportingMode := omit,
sPCSETKey := omit,
sPCTID := omit,
sPCSETKeylifetime := omit,
gnssPosTechnology := omit
}
}

• p_posMethod -
• p_triggerParams -

template UlpMessage m_suplTriggeredResponsePosMethodTriggerParamsReportingMode 
(template PosMethod p_posMethod, template TriggerParams p_triggerParams, template ReportingMode p_reportingMode):= {
msSUPLTRIGGEREDRESPONSE := {
posMethod := p_posMethod,
triggerParams := p_triggerParams,
sLPAddress := omit,
supportedNetworkInformation := omit,
reportingMode := p_reportingMode,
sPCSETKey := omit,
sPCTID := omit,
sPCSETKeylifetime := omit,
gnssPosTechnology := omit
}
}

• p_posMethod -
• p_triggerParams -
• p_reportingMode -

template UlpMessage
m_suplTriggeredResponseTriggerParams(template TriggerParams
                                         p_triggerParams) := {
    msSUPLTRIGGEREDRESPONSE := {
        posMethod := agpsSETassisted,
        triggerParams := p_triggerParams,
        sLPAddress := omit,
        supportedNetworkInformation := omit,
        reportingMode := omit,
        sPCSETKey := omit,
        sPCTID := omit,
        sPCSETKeylifetime := omit,
        gnssPosTechnology := omit
    }
}

• p_triggerParams -

template UlpMessage m_suplTriggeredStop := {
    msSUPLTRIGGEREDSTOP := {statusCode := omit}
}

template UlpMessage m_suplReport := {
    msSUPLREPORT := {
        sessionList := omit,
        sETCapabilities := omit,
        reportDataList := omit,
        ver := omit,
        moreComponents := omit
    }
}

template UlpMessage m_suplReportPosition(Position p_position) := {
    msSUPLREPORT := {
        sessionList := omit,
        sETCapabilities := omit,
        reportDataList := {
            {
                positionData := {
                    position := p_position,
                    posMethod := omit,
                    gnssPosTechnology := omit,
                    ganssSignalsInfo := omit
                },
                multipleLocationIds := omit,
                resultCode := omit,
                timestamp := omit
            }
        },
        ver := omit,
        moreComponents := omit
    }
}

• p_position -

template UlpMessage m_suplNotify(NotificationType p_notificationType) :={
msSUPLNOTIFY :={
notification := {
notificationType := p_notificationType,
encodingType := omit,
requestorId := omit,
requestorIdType := omit,
clientName := omit,
clientNameType := omit
}
}
}

• p_notificationType -

template UlpMessage mw_suplTriggeredStart := {
    msSUPLTRIGGEREDSTART := {
        sETCapabilities := ?,
        locationId := ?,
        ver := omit,
        qoP := omit,
        multipleLocationIds := omit,
        thirdParty := omit,
        applicationID := omit,
        triggerType := *,
        triggerParams := *,
        position := *,
        reportingCap := *,
        causeCode := omit
    }
}

template UlpMessage mw_suplTriggeredStop (template StatusCode p_statusCode):= {
msSUPLTRIGGEREDSTOP := {statusCode := p_statusCode}
}

• p_statusCode -

template UlpMessage
mw_suplTriggeredStart_cap(template SETCapabilities p_SETCapabilities, template ReportingCap p_reportingcap) := {
    msSUPLTRIGGEREDSTART := {
        sETCapabilities := p_SETCapabilities, 
        locationId := ?,
        ver := *,
        qoP := *,
        multipleLocationIds := *,
        thirdParty := omit,
        applicationID := *,
        triggerType := *,
        triggerParams := *,
        position := *,
        reportingCap := p_reportingcap,
        causeCode := *
    }
}

• p_SETCapabilities -
• p_reportingcap -

template UlpMessage
mw_ulpMessage_suplStart_pos(template PosTechnology p_posTechnology) := {
msSUPLSTART := {
sETCapabilities := {
posTechnology := p_posTechnology,
prefMethod := ?,
posProtocol := ?,
ver2_SETCapabilities_extension := *
}
,
locationId := ?,
qoP := *,
ver2_SUPL_START_extension := *
}
}

• p_posTechnology -

template UlpMessage
mw_ulpMessage_suplPosInit_pos
(template PosTechnology
 p_posTechnology) := {
msSUPLPOSINIT := {
sETCapabilities := {
posTechnology :=
p_posTechnology,
prefMethod := ?,
posProtocol := ?,
ver2_SETCapabilities_extension
:= *
},
requestedAssistData :=
*,
locationId := ?,
position := *,
sUPLPOS := *,
ver := *,
ver2_SUPL_POS_INIT_extension
:= *
}
}

• p_posTechnology -

template UlpMessage
mw_ulpMessage_suplPosInit_cap(template ReportingCap
p_reportingCapabilities) := {
    msSUPLPOSINIT := {
        sETCapabilities := mw_setCapabilities(p_reportingCapabilities),
        requestedAssistData := *,
        locationId := ?,
        position := *,
        sUPLPOS := *,
        ver := *,
        ver2_SUPL_POS_INIT_extension := *
    }
}

• p_reportingCapabilities -

template UlpMessage
mw_ulpMessage_suplStart_cap(template ReportingCap
p_reportingCapabilities)
:= {
msSUPLSTART := {
sETCapabilities := mw_setCapabilities(p_reportingCapabilities),
locationId := ?,
qoP := *,
ver2_SUPL_START_extension := *
}
}

• p_reportingCapabilities -

template UlpMessage mw_suplReportPositionEstimate := {
    msSUPLREPORT := {
        sessionList := *,
        sETCapabilities := *,
        reportDataList := {
            {
                positionData := {
                    position := {
                        timestamp := ?,
                        positionEstimate := ?,
                        velocity := *
                    },
                    posMethod := *,
                    gnssPosTechnology := *,
                    ganssSignalsInfo := *
                },
                multipleLocationIds := *,
                resultCode := *,
                timestamp := *
            }
        },
        ver := *,
        moreComponents := *
    }
}

template UlpMessage mw_suplReportPositionEstimatePeriodic(template ReportDataList p_ReportDataList) := {
msSUPLREPORT := {
sessionList := *,
sETCapabilities := *,
reportDataList := p_ReportDataList,                                        
ver := *,
moreComponents := *
}
}

• p_ReportDataList -

template ReportData mw_ReportData := {
positionData := {
position := {
timestamp := ?,
positionEstimate := ?,
velocity := *
},
posMethod := *,
gnssPosTechnology := *,
ganssSignalsInfo := *
},
multipleLocationIds := *,
resultCode := *,
timestamp := *
}

template Ver2_SUPLTRIGGEREDSTART
mw_suplTriggeredStart_triggerType(template TriggerType p_triggerType) :=
{
    sETCapabilities := ?,
    locationId := ?,
    ver := *,
    qoP := *,
    multipleLocationIds := *,
    thirdParty := *,
    applicationID := *,
    triggerType := p_triggerType,
    triggerParams := *,
    position := *,
    reportingCap := *,
    causeCode := *
}

• p_triggerType -

template UlpMessage
mw_ulpMessage_triggeredStart(template Ver2_SUPLTRIGGEREDSTART
                                 p_triggeredStart) := {
    msSUPLTRIGGEREDSTART := p_triggeredStart
}

• p_triggeredStart -

template UlpMessage
mw_suplEndWithCode(template StatusCode p_statuscode) := {
    msSUPLEND := {
        position := *,
        statusCode := p_statuscode,
        ver := *,
        ver2_SUPL_END_extension := *
    }
}

• p_statuscode -

template Ver2_SUPL_INIT_extension
m_ver2SuplInitExtensionGnssPosTechnology(template GNSSPosTechnology
                                             p_gnssPosTechnology) := {
    notificationMode := omit,
    supportedNetworkInformation := omit,
    triggerType := omit,
    e_SLPAddress := omit,
    historicReporting := omit,
    protectionLevel := omit,
    gnssPosTechnology := p_gnssPosTechnology,
    minimumMajorVersion := omit
}

• p_gnssPosTechnology -

template Ver2_SUPL_INIT_extension
m_ver2SuplInitExtensionTriggerType(template TriggerType p_triggerType)
:= {
    notificationMode := omit,
    supportedNetworkInformation := omit,
    triggerType := p_triggerType,
    e_SLPAddress := omit,
    historicReporting := omit,
    protectionLevel := omit,
    gnssPosTechnology := omit,
    minimumMajorVersion := omit
}

• p_triggerType -

template Ver2_SUPL_INIT_extension
m_ver2SuplInitMinimumMajorVersion(template integer p_minimumMajorVersion)
:= {
notificationMode := omit,
supportedNetworkInformation := omit,
triggerType := omit,
e_SLPAddress := omit,
historicReporting := omit,
protectionLevel := omit,
gnssPosTechnology := omit,
minimumMajorVersion := p_minimumMajorVersion
}

• p_minimumMajorVersion -

template Ver2_SUPL_INIT_extension
m_ver2SuplInitProtectionLevel(template  ProtectionLevel p_protectionLevel)
:= {
notificationMode := omit,
supportedNetworkInformation := omit,
triggerType := omit,
e_SLPAddress := omit,
historicReporting := omit,
protectionLevel := p_protectionLevel,
gnssPosTechnology := omit,
minimumMajorVersion := omit
}

• p_protectionLevel -

template Ver2_SUPL_INIT_extension
m_ver2SuplInitESlpAddress(template SLPAddress p_sLPAddress)
:= {
notificationMode := omit,
supportedNetworkInformation := omit,
triggerType := omit,
e_SLPAddress := p_sLPAddress,
historicReporting := omit,
protectionLevel := omit,
gnssPosTechnology := omit,
minimumMajorVersion := omit
}

• p_sLPAddress -

template TriggerParams
m_triggerParamsPeriodic(_0PeriodicParams p_number, _0PeriodicParams0 p_interval,
_0PeriodicParams1 p_start) := {
    periodicParams := {
        numberOfFixes := p_number,
        intervalBetweenFixes := p_interval,
        startTime := p_start
    }
}

• p_number -
• p_interval -
• p_start -

template TriggerParams
m_triggerParamsAreaEvent(template(present) AreaEventType p_areaEventType,
                         template(present) boolean p_locationEstimate,
                         template RepeatedReportingParams
                             p_repeatedReportingParams,
                         template _0AreaEventParams p_start,
                         template _0AreaEventParams0 p_stop,
                         template GeographicTargetAreaList
                             p_geographicTargetAreaList,
                         template _0AreaEventParams1 p_areaIdLists) := {
    areaEventParams := {
        areaEventType := p_areaEventType,
        locationEstimate := p_locationEstimate,  
        repeatedReportingParams := p_repeatedReportingParams,  
        startTime := p_start,  
        stopTime := p_stop,  
        geographicTargetAreaList := p_geographicTargetAreaList,
        areaIdLists := p_areaIdLists
    }
}

• p_areaEventType -
• p_locationEstimate -
• p_repeatedReportingParams -
• p_start -
• p_stop -
• p_geographicTargetAreaList -
• p_areaIdLists -

template ReportingMode m_reportingModeBatch(template BatchRepConditions p_batchRepConditions,
                                            template BatchRepType p_batchRepType ) :={
    repMode := batch,     
    batchRepConditions := p_batchRepConditions,            
    batchRepType:= p_batchRepType                      
}

• p_batchRepConditions -
• p_batchRepType -

template ReportingMode m_reportingModeQuasiReal(template BatchRepConditions p_batchRepConditions,
                                   template BatchRepType p_batchRepType ) :={
   repMode := quasirealtime,     
   batchRepConditions := p_batchRepConditions,            
   batchRepType:= p_batchRepType                      
   }

• p_batchRepConditions -
• p_batchRepType -

template BatchRepConditions m_batchRepConditionsByInterval(template _0BatchRepConditions p_num_interval)
                          := {
num_interval := p_num_interval
}

• p_num_interval -

template BatchRepConditions m_batchRepConditionsByMinutes(template _0BatchRepConditions p_num_minutes)
                                 := {                
num_minutes := p_num_minutes                   
}

• p_num_minutes -

template BatchRepConditions m_batchRepConditionsByEndofsession() := {
endofsession := NULL
}

template BatchRepType m_batchRepType(template boolean p_reportPosition,
             template boolean p_reportMeasurements,
                                            template boolean p_intermediateReports,
                                            template boolean p_discardOldest) := {
reportPosition := p_reportPosition,
reportMeasurements := p_reportMeasurements,
intermediateReports := p_intermediateReports,
discardOldest := p_discardOldest
}

• p_reportPosition -
• p_reportMeasurements -
• p_intermediateReports -
• p_discardOldest -

template PosTechnology mw_posTechICS := mw_posTech(
ics_AGPSSETassisted_Network_initiated, 
ics_AGPSSETbased_Network_initiated, 
ics_autonomousGPS_Network_initiated, 
ics_aFLT, 
ics_eCID_Network_initiated, 
ics_eOTD,
ics_oTDOA,
ics_AGANSSSETassisted_GLONASS_Network_initiated,
ics_AGANSSSETbased_GLONASS_Network_initiated,
ics_autonomousGANSS_Network_initiated);

template PosTechnology mw_posTechICSV1 := mw_posTechV1(
ics_AGPSSETassisted_Network_initiated, 
ics_AGPSSETbased_Network_initiated, 
ics_autonomousGPS_Network_initiated, 
ics_aFLT, 
ics_eCID_Network_initiated, 
ics_eOTD,
ics_oTDOA);

template PosTechnology
mw_posTech(template boolean p_agpsSETassisted,
           template boolean p_agpsSETBased,
           template boolean p_autonomousGPS, template boolean p_aFLT,
           template boolean p_eCID, template boolean p_eOTD,
           template boolean p_oTDOA,
           template boolean p_agnssSETassisted,
           template boolean p_agnssSETbased,
           template boolean p_autonomousGNSS) := {
    agpsSETassisted := p_agpsSETassisted,
    agpsSETBased := p_agpsSETBased,
    autonomousGPS := p_autonomousGPS,
    aFLT := p_aFLT,
    eCID := p_eCID,
    eOTD := p_eOTD,
    oTDOA := p_oTDOA,
    ver2_PosTechnology_extension := {
        gANSSPositionMethods := {
            {
                ganssId := ?,
                ganssSBASid := omit,
                gANSSPositioningMethodTypes := {
                    setAssisted := p_agnssSETassisted,
                    setBased := p_agnssSETbased,
                    autonomous := p_autonomousGNSS
                },
                gANSSSignals := ?
            }
        }
    }ifpresent
}

• p_agpsSETassisted -
• p_agpsSETBased -
• p_autonomousGPS -
• p_aFLT -
• p_eCID -
• p_eOTD -
• p_oTDOA -
• p_agnssSETassisted -
• p_agnssSETbased -
• p_autonomousGNSS -

template PosTechnology
mw_posTechV1(template boolean p_agpsSETassisted,
   template boolean p_agpsSETBased,
   template boolean p_autonomousGPS, template boolean p_aFLT,
   template boolean p_eCID, template boolean p_eOTD,
   template boolean p_oTDOA) := {
agpsSETassisted := p_agpsSETassisted,
agpsSETBased := p_agpsSETBased,
autonomousGPS := p_autonomousGPS,
aFLT := p_aFLT,
eCID := p_eCID,
eOTD := p_eOTD,
oTDOA := p_oTDOA,
ver2_PosTechnology_extension := omit
}

• p_agpsSETassisted -
• p_agpsSETBased -
• p_autonomousGPS -
• p_aFLT -
• p_eCID -
• p_eOTD -
• p_oTDOA -

template AreaIdList m_areaIdList(template AreaId p_areaId) := {
    areaIdSet := {p_areaId},
    areaIdSetType := omit,
    geoAreaMappingList := omit
}

• p_areaId -

template SETCapabilities
mw_setCapabilities(template ReportingCap p_reportingCap) := {
    posTechnology := mw_posTechICS,
    prefMethod := ?,
    posProtocol := ?,
    ver2_SETCapabilities_extension := {
        serviceCapabilities :=
            {
                servicesSupported := ?,
                reportingCapabilities := p_reportingCap,
                eventTriggerCapabilities := *,
                sessionCapabilities := ?
            }
             ifpresent
    }
}

• p_reportingCap -

template SETCapabilities
mw_setCapabilitiesExt(
template ServicesSupported p_serviceSupported, 
template ReportingCap p_reportingCap, 
template EventTriggerCapabilities p_eventTriggerCap) := {
 posTechnology := mw_posTechICS,
 prefMethod := ?,
 posProtocol := ?,
 ver2_SETCapabilities_extension := {
 serviceCapabilities :=
 {
 servicesSupported := p_serviceSupported,
 reportingCapabilities := p_reportingCap,
 eventTriggerCapabilities := p_eventTriggerCap,
 sessionCapabilities := ?
 }
  }
}

• p_serviceSupported -
• p_reportingCap -
• p_eventTriggerCap -

template RRLP_CommonTypes.MethodType
m_methodType_msAssistedV5(template RRLP_CommonTypes.AccuracyOpt p_msAssisted) := {
methodTypeV5 :={
msAssisted := p_msAssisted.accuracyOptV5
}
}

• p_msAssisted -

template RRLP_CommonTypes.MethodType
m_methodType_msAssistedV10(template RRLP_CommonTypes.AccuracyOpt p_msAssisted) := {
methodTypeV10 :={
msAssisted := p_msAssisted.accuracyOptV10
}
}

• p_msAssisted -

template RRLP_CommonTypes.MethodType
m_methodType_msAssitedPrefV5(template(present) RRLP_CommonTypes.Accuracy p_accuracy) := {
methodTypeV5 :={
msAssistedPref := p_accuracy.accuracyV5
}
}

• p_accuracy -

template RRLP_CommonTypes.MethodType
m_methodType_msAssitedPrefV10(template(present) RRLP_CommonTypes.Accuracy p_accuracy) := {
methodTypeV10 :={
msAssistedPref := p_accuracy.accuracyV10
}
}

• p_accuracy -

template RRLP_CommonTypes.AccuracyOpt m_accuracyOpt_omittedV5 := {
accuracyOptV5 :={
accuracy := omit
}
}

template RRLP_CommonTypes.AccuracyOpt m_accuracyOpt_omittedV10 := {
accuracyOptV10 :={
accuracy := omit
}
}

template RRLP_CommonTypes.MethodType
m_methodType_msBasedV5(template(present) RRLP_CommonTypes.Accuracy p_accuracy) := {
methodTypeV5 := {
msBased := p_accuracy.accuracyV5
}
}

• p_accuracy -

template RRLP_CommonTypes.MethodType
m_methodType_msBasedV10(template(present) RRLP_CommonTypes.Accuracy p_accuracy) := {
methodTypeV10 := {
msBased := p_accuracy.accuracyV10
}
}

• p_accuracy -

template RRLP_CommonTypes.MethodType
m_methodType_msBasedPrefV5(template(present) RRLP_CommonTypes.Accuracy p_accuracy) := {
methodTypeV5 := {
 msBasedPref := p_accuracy.accuracyV5
}
}

• p_accuracy -

template RRLP_CommonTypes.MethodType
m_methodType_msBasedPrefV10(template(present) RRLP_CommonTypes.Accuracy p_accuracy) := {
methodTypeV10 := {
 msBasedPref := p_accuracy.accuracyV10
}
}

• p_accuracy -

template _0AreaEventParams1
m_areaIdLists_one_areaId(template(present) AreaId p_areaId) := {
m_areaIdList(p_areaId)
}

• p_areaId -

template AreaId m_areaId_gsm_cellId(template _0GSMAreaId0 p_cellId) := {
    gSMAreaId := m_gsmAreaId_cellId(p_cellId)
}

• p_cellId -

template AreaId m_areaId_wcdma_cellId(template _0WCDMAAreaId0 p_cellId) := {
    wCDMAAreaId := m_wcdmaAreaId_cellId(p_cellId)
}

• p_cellId -

template AreaId m_areaId_lte_cellId(template _0LTEAreaId1 p_cellId) := {
lTEAreaId := m_lteAreaId_cellId(p_cellId)
}

• p_cellId -

template AreaId m_areaId_cdma_cellId(template _0CDMAAreaId1 p_cellId) := {
cDMAAreaId :=m_cdmaAreaId_cellId (p_cellId)
}

• p_cellId -

template AreaId m_areaId_hrpd_cellId(template _0HRPDAreaId p_cellId) := {
hRPDAreaId := m_hrpdAreaId_cellId(p_cellId)
}

• p_cellId -

template GSMAreaId m_gsmAreaId_cellId(template _0GSMAreaId2 p_cellId) := {
    refMCC := omit, refMNC := omit, refLAC := omit, refCI := p_cellId
}

• p_cellId -

template WCDMAAreaId m_wcdmaAreaId_cellId(template _0WCDMAAreaId2 p_cellId) := {
    refMCC := omit, refMNC := omit, refLAC := omit, refUC := p_cellId
}

• p_cellId -

template LTEAreaId m_lteAreaId_cellId(template _0LTEAreaId1 p_cellId) := {
refMCC := omit, refMNC := omit, refCI := p_cellId
}

• p_cellId -

template CDMAAreaId m_cdmaAreaId_cellId(template _0CDMAAreaId1 p_cellId) := {
refSID := omit, refNID := omit, refBASEID := p_cellId
}

• p_cellId -

template HRPDAreaId m_hrpdAreaId_cellId(template _0HRPDAreaId p_cellId) := {
refSECTORID := p_cellId
}

• p_cellId -

template ProtectionLevel m_BasicProtectionLevel(_0BasicProtectionParams p_keyIdentifier, _0BasicProtectionParams0 p_basicReplyCounter, _0BasicProtectionParams1 p_basicMAC) := {
protlevel := basicProtection,
basicProtectionParams := {p_keyIdentifier, p_basicReplyCounter, p_basicMAC}
}

• p_keyIdentifier -
• p_basicReplyCounter -
• p_basicMAC -

template BasicProtectionParams m_ProtectionParamsDefault := {
keyIdentifier := m_keyIdentifier,
basicReplayCounter := m_basicReplayCounter,
basicMAC := m_basicMAC_zero
}

template ProtectionLevel m_ProtectionLevel(ProtLevel p_protectionLevel, template BasicProtectionParams p_basicProtectionParams) := {
protlevel := p_protectionLevel,
basicProtectionParams := p_basicProtectionParams
}

• p_protectionLevel -
• p_basicProtectionParams -

template _0BasicProtectionParams m_keyIdentifier := '0001020304050607'O;

template _0BasicProtectionParams m_keyIdentifier_incorrect := '0000000000000000'O;

template _0BasicProtectionParams0 m_basicReplayCounter := 1;

template _0BasicProtectionParams1 m_basicMAC := '01010101010101010101010101010101'B;

template _0BasicProtectionParams1 m_basicMAC_zero := '00000000000000000000000000000000'B;

template SLPAddress m_SLPAddressFQDN (FQDN p_fQDN) := {
  fQDN:= p_fQDN
}

• p_fQDN -

template SLPAddress m_ESLPAddressIP := {
  iPAddress:= f_SLPAddressIP()
}

template Notification m_notificationEmergency(NotificationType p_type) := {
notificationType := p_type,
encodingType := omit,
requestorId := omit,
requestorIdType := omit,
clientName := omit,
clientNameType := omit,
ver2_Notification_extension := {emergencyCallLocation := NULL}
}

• p_type -

template ServicesSupported m_setTriggerServiceSupported(template boolean p_PeriodicTrigger, template boolean p_AreaEventTrigger ) := {
periodicTrigger := p_PeriodicTrigger,
areaEventTrigger := p_AreaEventTrigger
}

• p_PeriodicTrigger -
• p_AreaEventTrigger -

template EventTriggerCapabilities m_setEventTriggerCap(template boolean p_EllipticalArea, template boolean p_PolygonArea, template _0EventTriggerCapabilities p_MaxNumGeoSp, template _0EventTriggerCapabilities0 p_MaxAreaIdListSp, template _0EventTriggerCapabilities1 p_MaxAreaIdPerList ) := {
geoAreaShapesSupported:= 
{
      ellipticalArea := p_EllipticalArea,
polygonArea := p_PolygonArea
},
maxNumGeoAreaSupported    := p_MaxNumGeoSp,
maxAreaIdListSupported    := p_MaxAreaIdListSp,
maxAreaIdSupportedPerList    := p_MaxAreaIdPerList
}

• p_EllipticalArea -
• p_PolygonArea -
• p_MaxNumGeoSp -
• p_MaxAreaIdListSp -
• p_MaxAreaIdPerList -

template Version
m_Version_p(_0Version p_maj, _0Version0 p_min, _0Version1 p_serverind)
:= {
    maj := p_maj, min := p_min, servind := p_serverind
}

• p_maj -
• p_min -
• p_serverind -

template Version
mw_Version(template _0Version p_maj, template _0Version0 p_min, template _0Version1 p_serverind)
:= {
maj := p_maj, min := p_min, servind := p_serverind
}

• p_maj -
• p_min -
• p_serverind -

template Version
mw_version_minor_ind_0_or_X(_0Version0 p_min, _0Version1 p_serverInd) :=
{
    ixit_SUPL_MAJ_VERSION,
    (0, p_min),  
    (0, p_serverInd) 
}

• p_min -
• p_serverInd -

template Version m_Version := {
    maj := ixit_SUPL_MAJ_VERSION,
    min := ixit_SET_MIN_VERSION,
    servind := ixit_SET_SERVIND_VERSION
}

template Version mw_Version2 := {
maj := ixit_SET_MAJ_VERSION,
min := ixit_SET_MIN_VERSION,
servind := ixit_SET_SERVIND_VERSION
}

template Version m_Version1 := {
maj := 1,
min := 0,
servind := 0
}

template Version mw_Version1 := {
maj := 1,
min := ixit_SET_MIN_VERSION_V1,
servind := ixit_SET_SERVIND_VERSION_V1
}

template Version
m_version_min_serverind_p(_0Version0 p_min, _0Version1 p_serverind)
modifies m_Version := {
    min := p_min, servind := p_serverind
}

• p_min -
• p_serverind -

template MMIMessage m_mmiMessage(template charstring mmiMessage_p) := {
    mmiMessage := mmiMessage_p
}

• mmiMessage_p -

template UDPSUPLINITMessage m_UDP_SuplInit(template ULP_PDU p_ulpSuplInit) := {
udpPort := 7275,
suplInit := p_ulpSuplInit
}

• p_ulpSuplInit -

template UDPSUPLINITMessage m_UDP_SuplInit_invalidPort(template ULP_PDU p_ulpSuplInit, template integer p_udpPort) := {
udpPort := p_udpPort,
suplInit := p_ulpSuplInit
}

• p_ulpSuplInit -
• p_udpPort -

template CDMASMSSUPLINITMessage m_C2K_SuplInit( OriginatingAddress originating , UserData suplinit ) := {
teleserviceIdentifier:=4115,
originatingAddress:= originating,
userData:=suplinit
}

• originating -
• suplinit -

template OriginatingAddress originatingaddressTemplate:= {
   digitModeIndicator:=0,
   numberModeIndicator:=0,
   reserved:=0,
   numberType:=0,
   numberingPlan:=0,
   numberOfCharacters:=10,
   addressCharacters:="1234567890"
}

template UserData supInitlUserDataTemplate(template ULP_PDU suplinitdata):= {
  messageEncoding:=2,
   messageType:=0,
   reserved:=0,
   suplInit:=suplinitdata
}

• suplinitdata -