EspModules deleted

/*

 *	@author 	STF 276

 *  @version 	$Id$

 *	@desc		This module specifies IP ESP messages interchanges (= operations)

 *              for an Ipv6 test component.

 *              Functions do not set a test component verdict but instead

 *              use the function return value instead to notify the function

 *              caller about the success of the operation.

 *

 */

module LibIpv6_Rfc4303Esp_Functions {

	//LibCommon

	import from LibCommon_BasicTypesAndValues all;

	import from LibCommon_DataStrings all;

	import from LibCommon_VerdictControl { type FncRetCode };

	import from LibCommon_Time all;

	//LibIpv6

	//AtsIpv6

} // end module LibIpv6_Rfc4303Esp_Functions

/*

 *	@author 	STF 276

 *  @version 	$Id$

 *	@desc		This module specifies common template definitions

 *              to specify IPv6 packets for IP ESP

 *

 */

 module LibIpv6_Rfc4303Esp_Templates {

	//LibCommon

	import from LibCommon_BasicTypesAndValues all;

	import from LibCommon_DataStrings all;

	//LibIpv6

} // end module LibIpv6_Rfc4303Esp_Templates

/*

 *	@author 	STF 276

 *  @version 	$Id$

 *	@desc 		This module defines the structure mobile IPv6 header 

 *              based RFC IP ESP and using types from  

 *              the Common library. Also it provides some useful constant 

 *              definitions.

 *				The Esp Header is normally structured in Header-Payload-Trailer.

 *				To complie with the exisiting STF276 type structure, the Esp Header

 *				is part of the ExtensionHeaderList, the payload is 

 *  

 */

 module LibIpv6_Rfc4303Esp_TypesAndValues {

	//LibCommon

	import from LibCommon_BasicTypesAndValues all;

	import from LibCommon_DataStrings all;

	//LibIpv6

	import from LibIpv6_Rfc3775Mipv6_TypesAndValues all;

	import from LibIpv6_Rfc2460Root_TypesAndValues all;

group espPackets {

	/*

	 * @desc 	EspTunnelModePacket contains the MetaPdu Ipv6Packet, which makes it

	 *			a MetaPdu itself

	*/

	type record EspTransportPacket {

		//Payload

		EspData 	espData,

		EspTail 	espTail

	}

	with {

	        encode "TODO";

        }

	type record EspTunnelPacket {

		//Payload

		Ipv6Header

		ExtHdrList

		EspData 	espData,

		EspTail espTail

	}

	with {

	        encode "TODO";

        }

} //end group espPackets

group espPayload {

 	/*

	 * @desc 	This meta packet type contains Ipv6 packets, that are to be sent

	 *			in Esp Transport Mode

	*/

	type union EspData {

		HomeAgentAddressDiscoveryRequest dhaadReq,

		HomeAgentAddressDiscoveryReply dhaadRep,

		MobilePrefixSolicitation mipPrefixSol,

		MobilePrefixAdvertisement mipPrefixAdv,

		MipRouterAdvertisement mipRouterAdv,

		GeneralIpv6 generalIpv6,//BU, BA, HOT, HOTI

		octetstring 

	}

}//end group espPayload

group espTail {

	/*

	 * @desc

	*/

}//end group espTail

} // end module LibIpv6_Rfc4303Esp_TypesAndValues