Initial

/**

 *  @author   ETSI / STF405 /STF449

 *  @version  $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsIPv6OverGeoNetworking/ItsIpv6OverGeoNetworking_TestControl.ttcn $

 *            $Id: ItsIpv6OverGeoNetworking_TestControl.ttcn 1423 2014-05-22 13:59:50Z filatov $

 *  @desc     Test Control file for IPv6 over GeoNetworking Protocol

 *

 */

module ItsIpv6OverGeoNetworking_TestControl {

    // ATS IPv6OverGeoNw

    import from ItsIpv6OverGeoNetworking_TestCases {testcase all};

    // Test Execution

    control {

        //message generation

        //GVL

        execute(TC_IPV6GEO_MG_GVL_BV_01());

        execute(TC_IPV6GEO_MG_GVL_BV_02());

        execute(TC_IPV6GEO_MG_GVL_BV_03());

        execute(TC_IPV6GEO_MG_GVL_BV_04());

        execute(TC_IPV6GEO_MG_GVL_BV_05());

        //TVL

        execute(TC_IPV6GEO_MG_TVL_BV_01());

        execute(TC_IPV6GEO_MG_TVL_BV_02());

        execute(TC_IPV6GEO_MG_TVL_BV_03());

        //message reception

        //GVL

        execute(TC_IPV6GEO_MR_GVL_BV_01());

        execute(TC_IPV6GEO_MR_GVL_BV_02());

        execute(TC_IPV6GEO_MR_GVL_BV_03());

        execute(TC_IPV6GEO_MR_GVL_BV_04());

        execute(TC_IPV6GEO_MR_GVL_BV_05());

        execute(TC_IPV6GEO_MR_GVL_BV_06());

        execute(TC_IPV6GEO_MR_GVL_BV_07());

        execute(TC_IPV6GEO_MR_GVL_BV_08());

        execute(TC_IPV6GEO_MR_GVL_BV_09());

        execute(TC_IPV6GEO_MR_GVL_BV_10());

        //TVL

        execute(TC_IPV6GEO_MR_TVL_BV_01());

        //virtualInterfaceManagement

        //newVirtualInterfaces

        execute(TC_IPV6GEO_VM_NVI_BV_01());

        //expiredVirtualInterfaces

        execute(TC_IPV6GEO_VM_EVI_BV_01());

    }

} // end ItsIpv6OverGeoNetworking_TestControl

module LibItsIpv6OverGeoNetworking_EncdecDeclarations {

    import from LibItsIpv6OverGeoNetworking_TypesAndValues all;

    external function fx_enc_Ipv6Packet (Ipv6Packet p) return bitstring

        with {extension "prototype(convert) encode(LibItsIpv6OverGeoNetworking)"}

    external function fx_dec_Ipv6Packet (inout bitstring b, out Ipv6Packet p) return integer

        with {extension "prototype(sliding) decode(LibItsIpv6OverGeoNetworking)"}

} // End of module LibItsIpv6OverGeoNetworking_EncdecDeclarations 

/**

 *  @author     ETSI / STF405

 *  @version    $Url: https://oldforge.etsi.org/svn/LibIts/tags/20170222_STF527_Final/ttcn/Ipv6OverGeoNetworking/LibItsIpv6OverGeoNetworking_Pics.ttcn $

 *              $Id: LibItsIpv6OverGeoNetworking_Pics.ttcn 1318 2017-01-26 10:20:53Z filatov $

 *  @desc       IPv6 Over GeoNetworking PICS

 *  @copyright   ETSI Copyright Notification

 *               No part may be reproduced except as authorized by written permission.

 *               The copyright and the foregoing restriction extend to reproduction in all media.

 *               All rights reserved.

 *

 */

module LibItsIpv6OverGeoNetworking_Pics {

    // LibCommon

    import from LibCommon_BasicTypesAndValues all;

    import from LibCommon_DataStrings all;

    // LibIts

    import from LibItsGeoNetworking_TypesAndValues all;

    group ipv6OverGeoNwPics {

        /**

         * @desc Indicates whether the GN6ASL shall resolve the destination link-layer-address 

         *       from the IPv6 address.

         *       FALSE, perform address resolution, otherwise do not.

         * @see  ETSI TS 102 859-1 A.10/10

         */

        modulepar boolean PICS_GN6_ASL_VI_RESOL_ADDR := true;

    } // end ipv6OverGeoNwPics

} // end LibItsIpv6OverGeoNetworking_Pics

 No newline at end of file