/* * @author STF 276 * @version $Id$ * @desc This module collects external functions available * to any function implementation in the IPv6 lirbary or * ATS. Notice that the test case execution is only possible * if a Platform Adapter with their implementation is used * by the test system. */ module LibIpv6_ExternalFunctions { //LibCommon import from LibCommon_BasicTypesAndValues all; import from LibCommon_DataStrings all; //LibIpv6 import from LibIpv6_MultiRfcs_TypesAndValues { type all }; import from LibIpv6_Interface { type Ipv6Packet }; /* @desc This external function calculates the payload length ** of a IPv6 packet ** @param p_msg Ipv6 packet ** @return payload length in bytes */ external function fx_payloadLength( Ipv6Packet p_msg ) return UInt16; /* @desc This external function calculates the checksum for any ** IPv6 packet which contains an ICMP message as its payload. ** @param p_packet ICMPv6 packet ** @return checksum value */ external function fx_icmpv6Checksum( in Ipv6Packet p_packet) return Oct2; external function fx_encodeMessage (in Ipv6Packet p_msg) return octetstring; }// end module LibIpv6_ExternalFunctions