//
// Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005 Yokogawa Electric Corporation,
// IPA (Information-technology Promotion Agency, Japan).
// All rights reserved.
// 
// Redistribution and use of this software in source and binary forms, with 
// or without modification, are permitted provided that the following 
// conditions and disclaimer are agreed and accepted by the user:
// 
// 1. Redistributions of source code must retain the above copyright 
// notice, this list of conditions and the following disclaimer.
// 
// 2. Redistributions in binary form must reproduce the above copyright 
// notice, this list of conditions and the following disclaimer in the 
// documentation and/or other materials provided with the distribution.
// 
// 3. Neither the names of the copyrighters, the name of the project which 
// is related to this software (hereinafter referred to as "project") nor 
// the names of the contributors may be used to endorse or promote products 
// derived from this software without specific prior written permission.
// 
// 4. No merchantable use may be permitted without prior written 
// notification to the copyrighters. However, using this software for the 
// purpose of testing or evaluating any products including merchantable 
// products may be permitted without any notification to the copyrighters.
// 
// 
// 
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHTERS, THE PROJECT AND 
// CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING 
// BUT NOT LIMITED THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS 
// FOR A PARTICULAR PURPOSE, ARE DISCLAIMED.  IN NO EVENT SHALL THE 
// COPYRIGHTERS, THE PROJECT OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, 
// INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES 
// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 
// HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 
// CONTRACT,STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF 
// THE POSSIBILITY OF SUCH DAMAGE.
//
// $Name: REL_2_1_2 $
//
// $TAHI: ct/spec/DH.def,v 1.10 2001/10/05 06:39:14 masaxmasa Exp $
//

//======================================================================
//
// ICMP echo request (for connectivity test)
//

FEM_icmp6_echo_request(echo_request,
	_HETHER_tn2nut,
	{
		_SRC(tnv6());
		_DST(nutv6());
	},
	{
		payload = echo_data8;
	}
)

//======================================================================
//
// ICMP echo request (with Extension Header)
//

FEM_icmp6_echo_request_exth(
	echo_request_ex,
	_HETHER_tn2nut,
	{
		_SRC(tnv6());
		_DST(nutv6());
	},
	{
		header = _HDR_IPV6_NAME(echo_request_ex);
		exthdr = OPT_PAD;
		upper = _ICMPV6_NAME(echo_request_ex);
	},
	{
		payload = echo_data8;
	}
)

//======================================================================
//
// ICMP echo request (multicast)
//

FEM_icmp6_echo_request_exth(
	echo_request_mc,
	_HETHER_tn2nutsolnode,
	{
		_SRC(tnv6());
		_DST(_IPV6_SOLNODE_MCAST(nutv6()));
	},
	{
		header = _HDR_IPV6_NAME(echo_request_mc);
		exthdr = OPT_PAD;
		upper = _ICMPV6_NAME(echo_request_mc);
	},
	{
		payload = echo_data8;
	}
)

//======================================================================
//
// Pad1 
//

Hdr_Destination opt_Pad1 {
	option = _Pad1;
	option = _Pad1;
	option = _Pad1;
	option = _Pad1;
	option = _Pad1;
	option = _Pad1;
}

Opt_Pad1 _Pad1 {
}

//
// PadN 
//

Hdr_Destination opt_PadN {
	option = _PadN;
}

Opt_PadN _PadN {
	pad = {0,0,0,0};
}

//
// Type00
//

Hdr_Destination opt_Type00 {
	option = _Type00;
}

Opt_ANY _Type00 {
	OptionType = 0x02;
	data = {0,0,0,0};
}

//
// Type01
//

Hdr_Destination opt_Type01 {
	option = _Type01;
}

Opt_ANY _Type01 {
	OptionType = 0x42;
	data = {0,0,0,0};
}

//
// Type10
//

Hdr_Destination opt_Type10 {
	option = _Type10;
}

Opt_ANY _Type10 {
	OptionType = 0x82;
	data = {0,0,0,0};
}

//
// Type11
//

Hdr_Destination opt_Type11 {
	option = _Type11;
}

Opt_ANY _Type11 {
	OptionType = 0xe2;
	data = {0,0,0,0};
}

//======================================================================
//
// ICMP echo reply
//

FEM_icmp6_echo_reply(echo_reply,
	_HETHER_nut2tn,
	{
		_SRC(nutv6());
		_DST(tnv6());
	},
	{
		payload = echo_data8;
	}
)

//======================================================================
//
// ICMP echo reply (with Extension Header)
//

FEM_icmp6_echo_reply_exth(
	echo_reply_ex,
	_HETHER_nut2tn,
	{
		_SRC(nutv6());
		_DST(tnv6());
	},
	{
		header = _HDR_IPV6_NAME(echo_reply_ex);
		exthdr = OPT_PAD;
		upper = _ICMPV6_NAME(echo_reply_ex);
	},
	{
		payload = echo_data8;
	}
)
//======================================================================
//
// Neighbor Solicitation and Neighbor Advertisement
//

FEM_icmp6_ns(
	ns,
	_HETHER_nut2tnsolnode,
	{
		_SRC(oneof(nutv6(),nut2v6(_GLOBAL0_UCAST_PRFX,_GLOBAL0_UCAST_PRFXLEN,"Link0")));
		_DST(_IPV6_SOLNODE_MCAST(tnv6()));
		HopLimit = 255;
	},
	{
		TargetAddress = tnv6();
		option = _SLLOPT_nut;
	}
)

FEM_icmp6_na(
	na,
	_HETHER_tn2nut,
	{
		_SRC(tnv6());
		_DST(nutv6());
		HopLimit = 255;
	},
	{
		SFlag = 1;
		OFlag = 1;
		TargetAddress = tnv6();
		option = _TLLOPT_tn;
	}
)

//----------------------------------------------------------------------
// Payload Data
//----------------------------------------------------------------------

Payload echo_data8 {
	data = {1,2,3,4,5,6,7,8};
}

//======================================================================
//
// ICMP Parameter Problem
//

FEM_icmp6_parameter_problem(
	icmperr,
	_HETHER_nut2tn,
	{
		_SRC(nutv6());
		_DST(tnv6());
	},
	{
		Code = 2;	// unrecognized IPv6 option encounted
		Pointer = 42;	// (40+2)
		payload = err;
	}
)

//
// data
//

Payload err {
	data = right(_PACKET_IPV6_NAME(echo_request_ex), 0);
}

//======================================================================
//
// ICMP Parameter Problem
//

FEM_icmp6_parameter_problem(
	icmperr_mc,
	_HETHER_nut2tn,
	{
		_SRC(nutv6());
		_DST(tnv6());
	},
	{
		Code = 2;	// unrecognized IPv6 option encounted
		Pointer = 42;	// (40+2)
		payload = err_mc;
	}
)

//
// data
//

Payload err_mc {
	data = right(_PACKET_IPV6_NAME(echo_request_mc), 0);
}