Module SUPL_Templates

• GeoInformation_TypeDefinitions
     all
• SMS_TypeDefinitions
     all
• SUPL_SMS_TypeDefinitions
     all
• SUPL_Parameters
     all
• SUPL_TypeDefinitions
     all
• SUPL_Configuration
     all
• LibCommon_DataStrings
     all
• SUPLTypes
     all
• SUPL_V2_Templates
     all

• SUPL_Messages
• SUPL_ReceiveTemplates
• UlpMessages
• testReceiveTemplates
• SUPL_SendTemplates
• UlpMessages
• testSendTemplates
• sendMisc
• UlpMessages
• Configuration_Messages
• Configuration_SendTemplates
• SMS_Messages
• System_Messages
• TCPInfo_Messages

Details

template ULP_PDU r_ulpMessage := {
    length_ := ?,
    version := mw_Version2, 
    sessionID := ?,
    message_ := ?
}

template ULP_PDU r_ulpPdu(template UlpMessage p_ulpMessage) modifies r_ulpMessage := {
    message_ := p_ulpMessage
}

• p_ulpMessage -

template ULP_PDU r_ulpPduV1(template UlpMessage p_ulpMessage) modifies r_ulpPdu := {
version := mw_Version1 
}

• p_ulpMessage -

template ULP_PDU r_ulpPduWithSessionID(template SessionID p_sessionID) modifies r_ulpMessage := {
    sessionID := p_sessionID
}

• p_sessionID -

template UlpMessage r_suplStart := {
    msSUPLSTART := {
        sETCapabilities := ?,
        locationId := ?,
        qoP := *,
        ver2_SUPL_START_extension := *
    }
}

template UlpMessage r_suplPosInit := {
    msSUPLPOSINIT := {
        sETCapabilities := ?,
        requestedAssistData := *,
        locationId := ?,
        position := *,
        sUPLPOS := *,
        ver := *,
        ver2_SUPL_POS_INIT_extension := *
    }
}

template UlpMessage r_suplAuthReq := {
    msSUPLAUTHREQ := {
        ver := *,
        sETCapabilities := *
    }
}

template UlpMessage r_suplEnd := {
    msSUPLEND := {
        position := *,
        statusCode := *,
        ver := *,
        ver2_SUPL_END_extension := *
    }
}

template UlpMessage r_suplEnd_sessionStopped := {
msSUPLEND := {
position := *,
statusCode := ver2_sessionStopped,
ver := *,
ver2_SUPL_END_extension := *
 }
}

template UlpMessage r_suplPos := {
msSUPLPOS := {
posPayLoad := ?,
velocity := *,
ver2_SUPL_POS_extension := *
}
}

template SessionID t_r_sessionId(template SetSessionID p_setSessionId,template SlpSessionID p_slpSessionId):= {
setSessionID := p_setSessionId,
slpSessionID := p_slpSessionId
}

• p_setSessionId -
• p_slpSessionId -

template UlpMessage t_r_ulpSuplStart(template SETCapabilities p_setCaps) modifies r_suplStart := {
msSUPLSTART := {
sETCapabilities := p_setCaps
}
}

• p_setCaps -

template ULP_PDU
t_r_ulpSuplPosInitV1(template SessionID p_sessionId,
 template SETCapabilities p_setCaps,
 template Ver p_ver,
 template RequestedAssistData p_reqAssData)
modifies t_r_ulpSuplPosInit := {
version := m_Version1
}

• p_sessionId -
• p_setCaps -
• p_ver -
• p_reqAssData -

template ULP_PDU t_r_ulpSuplPosInit(template SessionID p_sessionId, template SETCapabilities p_setCaps, template Ver p_ver, template RequestedAssistData p_reqAssData) modifies r_ulpPdu(r_suplPosInit) := {
    sessionID := p_sessionId,
    message_ := {
        msSUPLPOSINIT := {
            sETCapabilities := p_setCaps,
            requestedAssistData := p_reqAssData,
            ver := p_ver
        }
    }
}

• p_sessionId -
• p_setCaps -
• p_ver -
• p_reqAssData -

template ULP_PDU t_r_ulpSuplEnd(template SessionID p_sessionId, template StatusCode p_statusCode, template Ver p_ver) modifies r_ulpPdu(r_suplEnd) := {
    sessionID := p_sessionId,
    message_ := {
        msSUPLEND := { 
            statusCode := p_statusCode,
            ver := p_ver
        }
    }
}

• p_sessionId -
• p_statusCode -
• p_ver -

template PosTechnology
t_r_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)
:= {
    agpsSETassisted := p_agpsSETassisted,
    agpsSETBased := p_agpsSETBased,
    autonomousGPS := p_autonomousGPS,
    aFLT := p_aFLT,
    eCID := p_eCID,
    eOTD := p_eOTD,
    oTDOA := p_oTDOA,
    ver2_PosTechnology_extension := *
}

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

template SETCapabilities
t_r_setCaps(template PosTechnology p_posTech,
            template PrefMethod p_prefMethod,
            template PosProtocol p_posProtocol) := {
    posTechnology := p_posTech,
    prefMethod := p_prefMethod,
    posProtocol := p_posProtocol,
    ver2_SETCapabilities_extension := *
}

• p_posTech -
• p_prefMethod -
• p_posProtocol -

template UlpMessage t_r_ulpSuplNotiRep(template NotificationResponse p_notificationResponse) := {
msSUPLNOTIFYRESPONSE := {
notificationResponse := p_notificationResponse
}
}

• p_notificationResponse -

template ULP_PDU s_ulpPdu(template SessionID p_sessionId, template UlpMessage p_suplMessage) := {
    length_ := 0,
    version := m_Version, 
    sessionID := p_sessionId,
    message_ := p_suplMessage
}

• p_sessionId -
• p_suplMessage -

template ULP_PDU s_ulpSuplEnd(template SessionID p_sessionId, template StatusCode p_statuscode) := s_ulpPdu(p_sessionId, s_suplEndWithCode(p_statuscode));

• p_sessionId -
• p_statuscode -

template ULP_PDU s_ulpSuplInit(template SessionID p_sessionId, template UlpMessage p_suplInit) modifies s_ulpPdu(p_sessionId, p_suplInit) := {
sessionID := {
setSessionID := omit,
slpSessionID := p_sessionId.slpSessionID
}
}

• p_sessionId -
• p_suplInit -

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

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

template UlpMessage s_suplInit(template PosMethod p_posMethod, template SLPMode p_slpMode, template SLPAddress p_slpAddress) := s_suplInitBase(p_posMethod,omit,p_slpAddress,p_slpMode);

• p_posMethod -
• p_slpMode -
• p_slpAddress -

template UlpMessage
s_suplResponse(template (value) PosMethod p_posMethod,
               template SLPAddress p_slpAdress,
               template SETAuthKey p_setAuthKey,
               template Bit128 p_keyId4) := {
    msSUPLRESPONSE := {
        posMethod := p_posMethod,
        sLPAddress := p_slpAdress,
        sETAuthKey := p_setAuthKey,
        keyIdentity4 := p_keyId4, 
        ver2_SUPL_RESPONSE_extension := omit
    }
}

• p_posMethod -
• p_slpAdress -
• p_setAuthKey -
• p_keyId4 -

template UlpMessage s_suplEnd := {
    msSUPLEND := {
        position := omit,
        statusCode := omit,
        ver := omit,
        ver2_SUPL_END_extension := omit
    }
}

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

• p_statuscode -

template UlpMessage s_suplEndWithPosData := {
    msSUPLEND := {
        position := {
            timestamp := "20030912213206",
            positionEstimate := {
                latitudeSign := SUPLTypes.north,
                latitude := 3324374,
                longitude := 6512822,
                uncertainty := {
                    uncertaintySemiMajor := 8,
                    uncertaintySemiMinor := 7,
                    orientationMajorAxis := 18
                },
                confidence := 20,
                altitudeInfo := {
                    altitudeDirection := SUPLTypes.height,
                    altitude := 50,
                    altUncertainty := 5
                }
            },
            velocity := omit
        },
        statusCode := omit,
        ver := omit,
        ver2_SUPL_END_extension := omit
    }
}

template UlpMessage s_suplPosRrlp(octetstring p_rrlp) := {
    msSUPLPOS := {
        posPayLoad := {rrlpPayload := p_rrlp},
        velocity := omit,
        ver2_SUPL_POS_extension := omit
    }
}

• p_rrlp -

template UlpMessage s_suplPosIs801(octetstring p_is801) := {
msSUPLPOS := {
posPayLoad := {tia801payload := p_is801},
velocity := omit,
ver2_SUPL_POS_extension := omit
}
}

• p_is801 -

template SessionID t_s_emptySessionId := {
    setSessionID := omit,
    slpSessionID := omit
}

template SetSessionID t_s_complementSetSessionId(integer p_id) := {
    sessionId := complement(p_id),
    setId := ?
}

• p_id -

template Notification t_s_notification(NotificationType p_type, template EncodingType p_encodingType, template octetstring p_requestorId, template FormatIndicator p_requestorIdType, template octetstring p_clientName, template FormatIndicator p_clientNameType) := {
notificationType := p_type,
encodingType := p_encodingType,
requestorId := p_requestorId,
requestorIdType := p_requestorIdType,
clientName := p_clientName,
clientNameType := p_clientNameType
}

• p_type -
• p_encodingType -
• p_requestorId -
• p_requestorIdType -
• p_clientName -
• p_clientNameType -

template Notification t_s_notificationTypeOnly(NotificationType p_type) := {
notificationType := p_type,
encodingType := omit,
requestorId := omit,
requestorIdType := omit,
clientName := omit,
clientNameType := omit
}

• p_type -

template SetSessionID t_s_plausibleSetSessionId := {
sessionId := 1234,
setId := {
imsi := '0102030405060708'O
}
}

template RequestedAssistData allAssistDataTrue := {
    almanacRequested := true,
    utcModelRequested := true,
    ionosphericModelRequested := true,
    dgpsCorrectionsRequested := true,
    referenceLocationRequested := true,
    referenceTimeRequested := true,
    acquisitionAssistanceRequested := true,
    realTimeIntegrityRequested := true,
    navigationModelRequested := true,
    navigationModelData := omit,
    ver2_RequestedAssistData_extension := omit
}

template SecretKeyConfig configPSK(charstring p_remoteIP, PSK p_psk, BTID p_btid) := {
    pskRemoteIP := p_remoteIP,
    psk := p_psk,
    btid := p_btid
}

• p_remoteIP -
• p_psk -
• p_btid -

template CipherSuiteConfig configCipherSuite(octetstring p_cipherSuiteCode, charstring p_domainname) := {
    CipherSuiteCode := p_cipherSuiteCode,
    certificateVersion := ixit_CertificationVersion,
    certificateDomainname := p_domainname                
}

• p_cipherSuiteCode -
• p_domainname -

template DoneConfig configDone := true;

template StopAllConnections stopAllConnections := true;

template SMSWAPSUPLINITMessage smCorrectSuplInit(template ULP_PDU p_ulpSuplInit, ShortMessageFormat p_smFormat) := {
    smFormat := p_smFormat,
    destinationPort := 7275,
    sourcePort := 7275,
    wapSuplInitMessage := {
        wapMessageHeader := {
            pushId := 1,
            wapType := PUSH,
            contentType := APPLICATION_VND_OMALOC_SUPL_INIT,
            xWapApplicationId := 47,
            applicationIdValue := ULP_UA 
        },
        suplInit := p_ulpSuplInit
    }
}

• p_ulpSuplInit -
• p_smFormat -

template SMSWAPSUPLINITMessage smSuplInit(WAPContentType p_contentType, XWAPApplicationIdValue p_xWapApplIdValue, template ULP_PDU p_ulpSuplInit, ShortMessageFormat p_smFormat)  modifies smCorrectSuplInit(p_ulpSuplInit, p_smFormat) := {
wapSuplInitMessage := {
wapMessageHeader := {
contentType := p_contentType,
applicationIdValue := p_xWapApplIdValue 
}
}
}

• p_contentType -
• p_xWapApplIdValue -
• p_ulpSuplInit -
• p_smFormat -

template Sys_Message sysMsgBtidOut(charstring p_btid) := {
    btid := p_btid
}

• p_btid -

template Sys_Message sysMsgBtidIn := {
    btid := ?
}

template Sys_Message sysMsgPskOut(octetstring p_psk) := {
    psk := p_psk
}

• p_psk -

template Sys_Message sysMsgPskIn := {
    psk := ?
}

template Sys_Message sysMsgAuthnOut(bitstring p_authn) := {
    authn := p_authn
}

• p_authn -

template Sys_Message sysMsgAuthnIn := {
    authn := ?
}

template TCPInfoMessage tcpInfoReleaseConnection := {tcpInfo:=releasedConnection};

template TCPInfoMessage tcpInfoEstablishedConnection := {tcpInfo:=establishedConnection};

template TCPInfoMessage sslAlert := {alert:={?,?}};