LibIpv6_ExternalFunctions.ttcn

/*
 *	@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_CommonRfcs_TypesAndValues { type all };
	import from LibIpv6_Interface { type Ipv6Packet };
	import from LibIpv6_Rfc2460Root_TypesAndValues {type all};

	import from LibIpv6_Rfc3775Mipv6_ExtHdrTypesAndValues all;


	/* @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( in template Ipv6Packet p_msg ) 
	return UInt16;
	
	/* @desc    This external function calculates the payload length
	 *			of a IPv6 packet
	 * @param   p_msg Ipv6 packet
	 * @param   p_entry Nr of Tunnelled packet within the IPv6Packet
	 * @return  payload length in bytes
	*/
	external function fx_tunnelledPayloadLength( template Ipv6Packet p_msg, in UInt8 p_entry ) 
	return UInt16;

	/* @desc	This external function calculates the checksum for any
	 *         	IPv6 packet which contains an ICMP message as its payload.
	 *			If ICMP message contains DestOptionHdr with HomeAddress, then checksum is calculated
	 *			by using this home address as entry for source address.
	 * @param  p_packet ICMPv6 packet 
	 * @return checksum value 
	*/
	external function fx_icmpv6Checksum( in template Ipv6Packet p_packet) 
	return Oct2;
	
	external function fx_encodeMessage (in template Ipv6Packet p_msg)
	return octetstring;

	/* @desc   This external function calculates the checksum for MIPv6 Header.
	 *	       If HomeAddressOption present, then this external function is called with the
	 *		   HomeAddress as Source Address
	 * @param  p_srcAddr Source Address to be used for Checksum calculation
	 * @param  p_dstAddr MipHeader
	 * @param  p_mipHeader MipHeader
	 * @return MIPv6 Header checksum
	*/
	external function fx_mipHeaderChecksum( in Ipv6Address p_srcAddr,
											in Ipv6Address p_dstAddr,
											in MipHeader p_mipHeader) 
	return Oct2;

	/* @desc   This external function calculates the length of MIPv6 Header.
	 * @param  p_mipHeader MipHeader
	 * @return MIPv6 Header length
	*/
	external function fx_mipHeaderLength( in  MipHeader p_mipHeader) 
	return UInt8;

	/* @desc   This external function calculates the length of DstOptHeader .
	 * @param  p_extHdr Extension header
	 * @return DstOpt Header length
	*/
//	external function fx_dstOptHdrLength( in  ExtensionHeader p_extHdr) 
//	return UInt8;

	/* @desc   This external function calculates a Message Authentication Code
	 * @param  p_key Key used to compute the MAC
	 * @param  p_message Octetstring message
	 * @param  p_crypto Cryptographic function used to compute MAC
	 * @return Message HMAC
	*/
	external function fx_computeHMAC(in octetstring p_key, in octetstring p_message, CryptoFunction p_crypto ) 
	return octetstring;

	/* @desc   This external function calculates a SHA1 hash
	 * @param  p_message Octetstring message
	 * @param  p_crypto Cryptographic function used to compute MAC
	 * @return Message hash
	*/
	external function fx_computeHash(in octetstring p_message, CryptoFunction p_crypto ) 
	return octetstring;

	/* @desc 	This external function computes the Authenticator for 
	 *          return routability procedure
	 * @param 	p_careOfAddr Care-of address
	 * @param 	p_cnAddr Address of the correspondant
	 * @param 	p_ipv6Packet Ipv6 Packet
	 * @param 	p_kbm Binding management key
	 * @return 	Authenticator
	*/
	external function fx_bindingAuthenticator(in octetstring p_careOfAddr, 
											  in Ipv6Address p_careOfAddr, 
											  in Ipv6Address cnAddr,
											  in Ipv6Packet p_ipv6Packet,
											  in octetstring p_kbm)
	return octetstring; 
	
	/* @desc 	This external function computes Integrity Check Value
	 * @param 	p_ipv6Packet Ipv6 Packet
	 * @param 	p_sa Security association
	 * @return 	Integrity Check Value
	*/
	external function fx_IntegrityCheckValue( in Ipv6Packet p_ipv6Packet,
											  in octetstring p_sa)
	return octetstring; 

}// end module LibIpv6_ExternalFunctions