Commit 83d134ca authored by tepelmann's avatar tepelmann
Browse files

Updated groups geoLocationTable, geoLocalPositionVector, geoSequenceNumber,...

Updated groups geoLocationTable, geoLocalPositionVector, geoSequenceNumber, geoLocationService, geoForwardingPacketBuffer.
parent b5a9a190
Loading
Loading
Loading
Loading
+16 −1
Original line number Diff line number Diff line
@@ -1126,6 +1126,21 @@ module LibItsGeoNetworking_Functions {
                [] a_receiveLsRequest(?, ?, v_reqSrcPosVector) {}
            }
            
            /**
             * @desc Receive any Location Service Reply
             */
            altstep a_receiveAnyLsReply() runs on ItsGeoNetworking {
                [] geoNetworkingPort.receive(
                    mw_geoNwInd(
                        mw_geoNwPdu(
                            mw_geoNwLsReplyPacket(?, ?)
                        )
                    )
                ) {
                    //ignore
                }
            }
            
            /**
             * @desc Receive Location Service Request and send Location Service Reply
             * @param   p_reqSeqNumber          Expected sequence number of the received LS Request