#!/usr/bin/perl
#
# Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006
# 	Yokogawa Electric Corporation.
# 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.
# 
# 5. The copyrighters, the project and the contributors may prohibit
#    the use of this software at any time.
# 
# 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.
#
# $TAHI: ct/nd.p2/V6LC_2_1_5_A.seq,v 1.4 2005/06/14 06:03:15 akisada Exp $
#
########################################################################

use nd;

BEGIN {}
END   {}

if($V6evalTool::NutDef{'Type'} ne 'host') {
	exitHostOnly();
	#NOTREACHED
}

startNdiscWorld($Link0);

vLogHTML('<FONT COLOR="#FF0000" SIZE="5"><U><B>TEST PROCEDURE'.
		 '</B></U></FONT><BR>');

#----------------------------------------------------------------------
# Send RA WITHOUT Prefix Option
#----------------------------------------------------------------------
if(setupCase5A($Link0) < 0) {
	exitFatal();
	#NOTREACHED
}

#----------------------------------------------------------------------
# Send LOCAL Echo Request
#----------------------------------------------------------------------
if(ndiscNone2ReachableRTest($Link0, 'ndisc_ereq_LL') < 0) {
	exitFail();
	#NOTREACHED
}

#----------------------------------------------------------------------
# Send RA with Prefix Option
#----------------------------------------------------------------------
$pktdesc{'ra_local_default'}
	= '    Send RA with Prefix option (vltime=10, pltime=10): '.
	'TN (link-local) -&gt; all-nodes multicast address';

my %vsend0 = vSend($Link0, 'ra_local_default');

vSleep(8);
vLogHTML('<FONT COLOR="#FF0000">Ignore packet for DAD</FONT><BR>');
vClear($Link0);

#----------------------------------------------------------------------
# Send Echo Request from GLOBAL to LINK-LOCAL
#----------------------------------------------------------------------
my @frames = mcastNS('ndisc_ereq_GL');

vSend($Link0, 'ndisc_ereq_GL');
my %vrecv = vRecv($Link0, $TimeOut, 0, 0, @frames);

my $got_mcast_ns = 0;

if($vrecv{'recvCount'}) {
	foreach my $frame (@frames) {
		if($vrecv{'recvFrame'} eq $frame) {
			$got_mcast_ns ++;
			last;
		}
	}
}

unless($got_mcast_ns) {
	vLogHTML('<FONT COLOR="#FF0000"><B>Could\'t observe NS</B></FONT><BR>');
	exitFail();
}

exitPass();
#NOTREACHED



#
# perldoc
#
########################################################################
__END__

=head1 NAME

=begin html
<BLOCKQUOTE><TT>
V6LC_2_1_5_A - Host Prefix List (Prefix Lifetime has not Expired)

=end html

=begin html
</TT></BLOCKQUOTE>

=end html

=head1 TARGET

=begin html
<BLOCKQUOTE>
<TT>Host</TT>
</BLOCKQUOTE>

=end html

=head1 TOPOLOGY

=begin html
<BLOCKQUOTE>
<BLOCKQUOTE>
<PRE>
    |
    TN     NUT
    |       |
----+-------+--- Link0
</PRE>
</BLOCKQUOTE>
<P>
<TABLE BORDER>
<TR>
<TD ROWSPAN="2"><TT>Link0</TT></TD>
<TD><TT>global</TT></TD>
<TD><TT>3ffe:501:ffff:100::/64</TT></TD>
</TR>
<TD><TT>link-local</TT></TD>
<TD><TT>fe80::/64</TT></TD>
</TR>
<TR>
<TD ROWSPAN="3"><TT>TN</TT></TD>
<TD><TT>global</TT></TD>
<TD><TT>3ffe:501:ffff:100::&lt;TnDef.Link0_addr&gt;</TT></TD>
</TR>
<TD><TT>link-local</TT></TD>
<TD><TT>fe80::&lt;TnDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD><TT>ether</TT></TD>
<TD><TT>&lt;TnDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD ROWSPAN="3"><TT>NUT</TT></TD>
<TD><TT>global</TT></TD>
<TD><TT>3ffe:501:ffff:100::&lt;NutDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD><TT>link-local</TT></TD>
<TD><TT>fe80::&lt;NutDef.Link0_addr&gt;</TT></TD>
</TR>
<TR>
<TD><TT>ether</TT></TD>
<TD><TT>&lt;NutDef.Link0_addr&gt;</TT></TD>
</TR>
</TABLE>
</BLOCKQUOTE>

=end html

=head1 SETUP

=begin html
<BLOCKQUOTE>
<PRE>
none
</PRE>
</BLOCKQUOTE>

=end html

=head1 TEST PROCEDURE

=begin html
<BLOCKQUOTE>
<BLOCKQUOTE>
<PRE>
    TN     NUT
    |       |
    | -->   | RA
    |       |
    *       | Wait (MAX_RTR_SOLICITATION_DELAY + RetransTimer * DupAddrDetectTransmits)
    |       |
    | ----> | Echo Request
    |   <-- | NS (multicast) [<A HREF="#PRC1">Judgment #1</A>]
    | ----> | NA
    | <---- | Echo Reply     [<A HREF="#PRC2">Judgment #2</A>]
    |       |
    | -->   | RA
    |       |
    *       | Wait (8) Ignore DAD
    |       |
    | ----> | Echo Request
    |   <-- | NS (multicast) [<A HREF="#PRC1">Judgment #3</A>]
    V       V
</PRE>
</BLOCKQUOTE>
<P>
<PRE>
    State: <FONT COLOR="#FF0000">NONE</FONT> (TN) (link-local)
</PRE>
<PRE>
1. Send RA
</PRE>
<PRE>
        IPv6 header
            hop limit   = 255
            source      = TN (link-local)
            destination = all-nodes multicast address
        RA
            cur hop limit   = 64
            M               = 0
            O               = 0
            router lifetime = 20
            reachable time  = 600000
            retrans timer   = 1000
 </PRE>
<PRE>
2.  Wait (MAX_RTR_SOLICITATION_DELAY + RetransTimer * DupAddrDetectTransmits)
</PRE>
<PRE>
        Host constants:
            MAX_RTR_SOLICITATION_DELAY: 1 second
</PRE>
<PRE>
        Node constants:
            RETRANS_TIMER             : 1,000 milliseconds
</PRE>
<PRE>
        Host Variables:
            RetransTimer
                Default               : RETRANS_TIMER milliseconds
</PRE>
<PRE>
        Node Variables:
            DupAddrDetectTransmits
                Default               : 1
</PRE>
<PRE>
    State: <FONT COLOR="#FF0000">STALE</FONT> (TN) (link-local)
</PRE>
<PRE>
    State: <FONT COLOR="#FF0000">NONE</FONT> (TN) (link-local)
</PRE>
<PRE>
3. Send Echo Request
</PRE>
<PRE>
        IPv6 header
            source      = TN  (link-local)
            destination = NUT (link-local)
        Echo Request
</PRE>
<PRE>
    State: <FONT COLOR="#FF0000">INCOMPLETE</FONT> (TN) (link-local)
</PRE>
<PRE>
<A NAME="PRC1">4. Observe NS [<A HREF="#JDG1">Judgment #1</A>]
</PRE>
<PRE>
        IPv6 header
            hop limit   = 255
            source      = NUT (link-local)
            destination = TN  (solicited-node multicast address)
        NS
            target      = TN  (link-local)
        SLL option
</PRE>
<PRE>
5. Send NA
</PRE>
<PRE>
        IPv6 header
            hop limit   = 255
            source      = TN  (link-local)
            destination = NUT (link-local)
        NA
            R           = 1
            S           = 1
            O           = 1
            target      = TN  (link-local)
        TLL option
</PRE>
<PRE>
    State: <FONT COLOR="#FF0000">REACHABLE</FONT> (TN) (link-local)
</PRE>
<PRE>
<A NAME="PRC2">6. Observe Echo Reply [<A HREF="#JDG2">Judgment #2</A>]
</PRE>
<PRE>
        IPv6 header
            source      = NUT (link-local)
            destination = TN  (link-local)
        Echo Reply
</PRE>
<PRE>
    State: <FONT COLOR="#FF0000">REACHABLE</FONT> (TN) (link-local)
</PRE>
<PRE>
<PRE>
7. Send RA
</PRE>
<PRE>
        IPv6 header
            hop limit   = 255
            source      = TN (link-local)
            destination = all-nodes multicast address
        RA
            cur hop limit   = 64
            M               = 0
            O               = 0
            router lifetime = 20
            reachable time  = 600000
            retrans timer   = 1000
        Prefix Information option
            prefix length      = 64
            L                  = 1
            A                  = 1
            valid Lifetime     = 10
            preferred lifetime = 10
            prefix             = 3ffe:501:ffff:100::
</PRE>
<PRE>
8.  Wait (MAX_RTR_SOLICITATION_DELAY + RetransTimer * DupAddrDetectTransmits)
</PRE>
<PRE>
        Host constants:
            MAX_RTR_SOLICITATION_DELAY: 1 second
</PRE>
<PRE>
        Node constants:
            RETRANS_TIMER             : 1,000 milliseconds
</PRE>
<PRE>
        Host Variables:
            RetransTimer
                Default               : RETRANS_TIMER milliseconds
</PRE>
<PRE>
        Node Variables:
            DupAddrDetectTransmits
                Default               : 1
</PRE>
<PRE>
    State: <FONT COLOR="#FF0000">STALE</FONT> (TN) (link-local)
</PRE>
<PRE>
    State: <FONT COLOR="#FF0000">NONE</FONT> (TN) (link-local)
</PRE>
<A NAME="PRC3">9. Observe NS [<A HREF="#JDG3">Judgment #3</A>]
</PRE>
<PRE>
        IPv6 header
            hop limit   = 255
            source      = NUT (link-local)
            destination = TN  (solicited-node multicast address)
        NS
            target      = TN  (link-local)
        SLL option
</PRE>
</BLOCKQUOTE>

=end html

=head1 JUDGEMENT

=begin html
<BLOCKQUOTE>
<PRE>
<A NAME="JDG1">[<A HREF="#PRC1">Judgment #1</A>] NUT must transmit NS to TN solicited-node multicast address
<A NAME="JDG2">[<A HREF="#PRC2">Judgment #2</A>] NUT must transmit Echo Reply to TN
<A NAME="JDG3">[<A HREF="#PRC3">Judgment #3</A>] NUT must transmit NS to TN solicited-node multicast address
</PRE>
</BLOCKQUOTE>

=end html

=head1 CLEANUP

=begin html
<BLOCKQUOTE>
<TT><B>- Remove global address</B></TT><BR>
<TT><B>- Clear default router</B></TT><BR>
<TT><B>- Set neighbor cache state for TN to NONE</B></TT><BR>
<BLOCKQUOTE>
<PRE>
    TN     NUT
    |       |
    | ----> | RA (rltime=0, vltime=0, pltime=0)
    |       |
    | ----> | NS (unicast) (different cached address)
    | <---- | NA
    |       |
    *       | Wait (DELAY_FIRST_PROBE_TIME)
    |       |
    | <---- | NS (unicast)
    | <---- | NS (unicast)
    | <---- | NS (unicast)
    |       |
    V       V
</PRE>
</BLOCKQUOTE>
<P>
<PRE>
    State: <FONT COLOR="#FF0000">REACHABLE</FONT> (TN) (link-local)
</PRE>
<PRE>
1. Send RA
</PRE>
<PRE>
        IPv6 header
            hop limit          = 255
            source             = TN (link-local)
            destination        = all-nodes multicast address
        RA
            cur hop limit      = 64
            M                  = 0
            O                  = 0
            router lifetime    = 0
            reachable time     = 0
            retrans timer      = 0
        Prefix Information option
            prefix length      = 64
            L                  = 1
            A                  = 1
            valid Lifetime     = 0
            preferred lifetime = 0
            prefix             = 3ffe:501:ffff:100::
</PRE>
<PRE>
2. Send NS
</PRE>
<PRE>
        IPv6 header
            hop limit   = 255
            source      = TN  (link-local)
            destination = NUT (link-local)
        NS
            target      = NUT (link-local)
        SLL option
            address     = H0  (ether)
</PRE>
<PRE>
    State: <FONT COLOR="#FF0000">STALE</FONT> (TN) (link-local)
</PRE>
<PRE>
3. Observe NA
</PRE>
<PRE>
        IPv6 header
            source      = NUT (link-local)
            destination = TN  (link-local)
        NA
            R           = 0
            S           = 1
            O           = 1
            target      = NUT (link-local)
        TLL option
</PRE>
<PRE>
    State: <FONT COLOR="#FF0000">DELAY</FONT> (TN) (link-local)
</PRE>
<PRE>
4. Wait (DELAY_FIRST_PROBE_TIME)
</PRE>
<PRE>
        Node constants:
            DELAY_FIRST_PROBE_TIME: 5 seconds
</PRE>
<PRE>
    State: <FONT COLOR="#FF0000">PROBE</FONT> (TN) (link-local)
</PRE>
<PRE>
5. Observe MAX_UNICAST_SOLICIT NSs
</PRE>
<PRE>
        IPv6 header
            hop limit   = 255
            source      = NUT (link-local)
            destination = TN  (link-local)
        NS
            target      = TN  (link-local)
        SLL option
</PRE>
<PRE>
        Node constants:
            MAX_UNICAST_SOLICIT: 3 transmissions
</PRE>
<PRE>
    State: <FONT COLOR="#FF0000">NONE</FONT> (TN) (link-local)
</PRE>
</BLOCKQUOTE>

=end html

=cut

# =head1 REFERENCE
# 
# =begin html
# <BLOCKQUOTE>
# <FONT SIZE="+1"><TT>RFC2461 Neighbor Discovery for IPv6</TT></FONT>
# <HR>
# <PRE>
# 6.3.4.  Processing Received Router Advertisements
# </PRE>
# <PRE>
#    For each Prefix Information option with the on-link flag set, a host
#    does the following:
# </PRE>
# <PRE>
# 
#       - If the prefix is the link-local prefix, silently ignore the
#         Prefix Information option.
# </PRE>
# <PRE>
#       - <U><B>If the prefix is not already present in the Prefix List, and the</B></U>
#         <U><B>Prefix Information option's Valid Lifetime field is non-zero,</B></U>
#         <U><B>create a new entry for the prefix and initialize its</B></U>
#         <U><B>invalidation timer to the Valid Lifetime value in the Prefix</B></U>
#         <U><B>Information option.</B></U>
# </PRE>
# <PRE>
#       - If the prefix is already present in the host's Prefix List as
#         the result of a previously-received advertisement, reset its
#         invalidation timer to the Valid Lifetime value in the Prefix
#         Information option.  If the new Lifetime value is zero, time-out
#         the prefix immediately (see Section 6.3.5).
# </PRE>
# <PRE>
#       - If the Prefix Information option's Valid Lifetime field is zero,
#         and the prefix is not present in the host's Prefix List,
#         silently ignore the option.
# </PRE>
# </BLOCKQUOTE>
# 
# =end html
# 

=pod

=head1 REFERENCE

=begin html
<BLOCKQUOTE>
<PRE>
RFC 2461 - Neighbor Discovery for IPv6
</PRE>
</BLOCKQUOTE>

=end html

=cut