Newer
Older
* @version $URL$
* $Id$
* @desc GeoNetworking Templates
module LibItsGeoNetworking_Templates {
// Libcommon
import from LibCommon_BasicTypesAndValues all;
import from LibCommon_DataStrings all;
import from LibItsCommon_TypesAndValues all;
import from LibItsIpv6OverGeoNetworking_TypesAndValues all;
import from LibItsIpv6OverGeoNetworking_Templates all;
import from LibItsBtp_Templates all;
import from LibItsExternal_TypesAndValues all;
group geoNwPrimitivesTemplates {
/**
* @desc Send template for GeoNetworking packet (GeonetworkingPort Primitive)
* @param p_geoNwMsg GeoNetworking packet to be sent
template (value) GeoNetworkingReq m_geoNwReq_linkLayerBroadcast(
msgOut := p_geoNwMsg,
macDestinationAddress := c_llBroadcast
}
/**
* @desc Send template for GeoNetworking packet (GeonetworkingPort Primitive)
* @param p_geoNwMsg GeoNetworking packet to be sent
* @param p_llDestinationAdress Link-layer destination address
template (value) GeoNetworkingReq m_geoNwReq_withLinkLayerDestination(
template (value) MacAddress p_llDestinationAdress
macDestinationAddress := p_llDestinationAdress
/**
* @desc Receive template for GeoNetworking packet (GeonetworkingPort Primitive)
* @param p_geoNwMsg GeoNetworking packet to be received
template GeoNetworkingInd mw_geoNwInd(
msgIn := p_geoNwMsg,
/**
* @desc Receive template for GeoNetworking packet (GeonetworkingPort Primitive)
* @param p_geoNwMsg GeoNetworking packet to be received
* @param p_llDestinationAdress Link-layer destination address
template GeoNetworkingInd mw_geoNwInd_withLinkLayerDestination(
template (present) MacAddress p_llDestinationAdress
) modifies mw_geoNwInd := {
*/
template (value) UtInitialize m_gnInitialize := {
}
/**
* @desc Request IUT to send a GeoUnicast message to a specific destination
* @param p_destinationGnAddr Destination of the GeoUnicast message
template (value) UtGnTrigger m_generateGeoUnicastMessage(GN_Address p_destinationGnAddr) := {
tepelmann
committed
gnAddress := p_destinationGnAddr,
payload := { decodedPayload := omit, rawPayload := ''O} // do not use f_adaptPayload_m here
/**
* @desc Request IUT to send a GeoUnicast message to a specific destination with specific lifetime
* @param p_destinationGnAddr Destination of the GeoUnicast message
* @param p_lifetime Lifetime of the GeoUnicast message
template (value) UtGnTrigger m_generateGeoUnicastMessageWithLifetime(
) modifies m_generateGeoUnicastMessage := {
tepelmann
committed
geoUnicast := {
lifetime := p_lifetime
}
/**
* @desc Request IUT to send a GeoUnicast message to a specific destination with a payload
* @param p_destinationGnAddr Destination of the GeoUnicast message
* @param p_payload Payload of the GeoUnicast message
template (value) UtGnTrigger m_generateGeoUnicastMessageWithPayload(
GN_Address p_destinationGnAddr,
tepelmann
committed
) modifies m_generateGeoUnicastMessage := {
geoUnicast := {
payload := { decodedPayload := omit, rawPayload := p_payload} // do not use f_adaptPayload_m here
}
/**
* @desc Request IUT to send a GeoUnicast message to a specific destination with specific lifetime with specific payload
* @param p_destinationGnAddr Destination of the GeoUnicast message
* @param p_lifetime Lifetime of the GeoUnicast message
* @param p_payload Payload of the GeoUnicast message
* @see m_generateGeoUnicastMessage
*/
template (value) UtGnTrigger m_generateGeoUnicastMessageWithLifetimeWithPayload(
octetstring p_payload
) modifies m_generateGeoUnicastMessageWithLifetime := {
tepelmann
committed
geoUnicast := {
payload := { decodedPayload := omit, rawPayload := p_payload} // do not use f_adaptPayload_m here
}
reinaortega
committed
/**
* @desc Request IUT to send a GeoBroadcast message to a specific area
* @param p_geoArea Destination area of the message
GeoArea p_geoArea
tepelmann
committed
geoBroadcast := {
shape := p_geoArea.shape,
area := p_geoArea.area,
payload := { decodedPayload := omit, rawPayload := ''O} // do not use f_adaptPayload_m here
tepelmann
committed
}
}
/**
* @desc Request IUT to send a GeoBroadcast message to a specific area
* @param p_geoArea Destination area of the message
template (value) UtGnTrigger m_generateGeoBroadcastMessageWithLifetime(
GeoArea p_geoArea,
tepelmann
committed
geoBroadcast := {
lifetime := p_lifetime
}
/**
* @desc Request IUT to send a GeoBroadcast message to a specific area with a payload
* @param p_geoArea Destination area of the message
* @param p_payload Payload of the GeoBroadcast message
template (value) UtGnTrigger m_generateGeoBroadcastMessageWithPayload(
GeoArea p_geoArea,
) modifies m_generateGeoBroadcastMessage := {
tepelmann
committed
geoBroadcast := {
payload := { decodedPayload := omit, rawPayload := p_payload} // do not use f_adaptPayload_m here
}
/**
* @desc Request IUT to send a GeoAnycast message to a specific area
* @param p_geoArea Destination area of the message
GeoArea p_geoArea
tepelmann
committed
geoAnycast := {
shape := p_geoArea.shape,
area := p_geoArea.area,
payload := { decodedPayload := omit, rawPayload := ''O} // do not use f_adaptPayload_m here
tepelmann
committed
}
/**
* @desc Request IUT to send a GeoAnycast message to a specific area with a payload
* @param p_geoArea Destination area of the message
Loading full blame...