Add Timers PICS

ttcn/MapemSpatem/LibItsMapemSpatem_Pics.ttcn

-/**
- *    @author   ETSI / STF517
- *    @version  $Url: https://oldforge.etsi.org/svn/LibIts/tags/20170222_STF527_Final/ttcn/MapemSpatem/LibItsMapemSpatem_Pics.ttcn $
- *              $Id: LibItsMapemSpatem_Pics.ttcn 1312 2016-12-14 09:21:45Z garciay $
- *    @desc     MAPEM SPATEM 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 LibItsMapemSpatem_Pics {
-    
-    // LibCommon
-    import from LibCommon_BasicTypesAndValues all;
-    
-    /**
-     * @desc Is the IUT running in secured mode?
-     * @see  ETSI TS 103 191-1 Table A.1.1
-     */
-    modulepar boolean PICS_IS_IUT_SECURED := false;
-    
-    /**
-     * @desc Support for MAPEM reception
-     * @see  ETSI TS 103 191-1 Table A.1.2
-     */
-    modulepar boolean PICS_ETSI_STRICT := false;
-    
-    /**
-     * @desc Support for MAPEM reception
-     * @see  ETSI TS 103 191-1 Table A.1.3
-     */
-    modulepar boolean PICS_SHORT_RANGE := false;
-    
-    /**
-     * @desc Support for MAPEM generation
-     * @see  ETSI TS 103 191-1 Table A.2
-     */
-    modulepar boolean PICS_MAPEM_GENERATION := true;
-
-    /**
-     * @desc Support for MAPEM reception
-     * @see  ETSI TS 103 191-1 Table A.2
-     */
-    modulepar boolean PICS_MAPEM_RECEPTION := true;
-    
-    /**
-     * @desc Support for MAPEM reception
-     * @see  TODO
-     */
-    modulepar boolean PICS_MAPEM_TRANSMISSION_RATE := false;
-    
-    /**
-     * @desc Support for MAPEM pedestrians manoeuvres
-     * @see  TODO
-     */
-    modulepar boolean PICS_PEDESTRIAN_MANOEUVRES := false;
-    
-    /**
-     * @desc Support for MAPEM cars manoeuvres
-     * @see  TODO
-     */
-    modulepar boolean PICS_SPECIALIZED_CARS_MANOEUVRES := false;
-    
-    /**
-     * @desc Support for MAPEM width attribut
-     * @see  TODO
-     */
-    modulepar boolean PICS_MAPEM_HAS_LANE_WIDTH := false;
-    
-    /**
-     * @desc Support for SPATEM generation
-     * @see  ETSI TS 103 191-1 Table A.2
-     */
-    modulepar boolean PICS_SPATEM_GENERATION := true;
-
-    /**
-     * @desc Support for SPATEM reception
-     * @see  ETSI TS 103 191-1 Table A.2
-     */
-    modulepar boolean PICS_SPATEM_RECEPTION := true;
-    
-    /**
-     * @desc Support for SPATEM reception
-     * @see  TODO
-     */
-    modulepar boolean PICS_SPATEM_PEDESTRIAN_MANOEUVRES := false;
-    
-    /**
-     * @desc Support for SPATEM reception
-     * @see  TODO
-     */
-    modulepar boolean PICS_SPATEM_SPECIALIZED_MANOEUVRES := false;
-    
-    /**
-     * @desc Support for SPATEM reception
-     * @see  TODO
-     */
-    modulepar boolean PICS_SPATEM_HAS_TIMING := false;
-    
-    /**
-     * @desc Support for SPATEM reception
-     * @see  TODO
-     */
-    modulepar boolean PICS_SPATEM_PRIORITIZATION := false;
-    
-    /**
-     * @desc Support for SPATEM reception
-     * @see  TODO
-     */
-    modulepar boolean PICS_SPATEM_PEDESTRIAN_MAOEUVRES := false;
-    
-    /**
-     * @desc Support for SPATEM reception
-     * @see  TODO
-     */
-    modulepar boolean PICS_SPATEM_HAS_OPTIMAL_SPEED := false;
-    
-    /**
-     * @desc Support for SPATEM reception
-     * @see  TODO
-     */
-    modulepar boolean PICS_SPATEM_HAS_SIGNAL_PROGRESSION_SPEED := false;
-    
-    /**
-     * @desc Support for SPATEM reception
-     * @see  TODO
-     */
-    modulepar boolean PICS_SPATEM_HAS_EGRESS_QUEUE := false;
-    
-    /**
-     * @desc Support for SPATEM reception
-     * @see  TODO
-     */
-    modulepar boolean PICS_SPATEM_TRANSMISSION_RATE := false;
-    
-} // end LibItsSremSsem_Pics
+/**
+ *    @author   ETSI / STF517
+ *    @version  $Url: https://oldforge.etsi.org/svn/LibIts/tags/20170222_STF527_Final/ttcn/MapemSpatem/LibItsMapemSpatem_Pics.ttcn $
+ *              $Id: LibItsMapemSpatem_Pics.ttcn 1312 2016-12-14 09:21:45Z garciay $
+ *    @desc     MAPEM SPATEM 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 LibItsMapemSpatem_Pics {
+    
+    // LibCommon
+    import from LibCommon_BasicTypesAndValues all;
+    
+    /**
+     * @desc Is the IUT running in secured mode?
+     * @see  ETSI TS 103 191-1 Table A.1.1
+     */
+    modulepar boolean PICS_IS_IUT_SECURED := false;
+    
+    /**
+     * @desc Support for MAPEM reception
+     * @see  ETSI TS 103 191-1 Table A.1.2
+     */
+    modulepar boolean PICS_ETSI_STRICT := false;
+    
+    /**
+     * @desc Support for MAPEM reception
+     * @see  ETSI TS 103 191-1 Table A.1.3
+     */
+    modulepar boolean PICS_SHORT_RANGE := false;
+    
+    /**
+     * @desc Support for MAPEM generation
+     * @see  ETSI TS 103 191-1 Table A.2
+     */
+    modulepar boolean PICS_MAPEM_GENERATION := true;
+
+    /**
+     * @desc Support for MAPEM reception
+     * @see  ETSI TS 103 191-1 Table A.2
+     */
+    modulepar boolean PICS_MAPEM_RECEPTION := true;
+    
+    /**
+     * @desc Support for MAPEM reception
+     * @see  TODO
+     */
+    modulepar boolean PICS_MAPEM_TRANSMISSION_RATE := false;
+    
+    /**
+     * @desc Support for MAPEM pedestrians manoeuvres
+     * @see  TODO
+     */
+    modulepar boolean PICS_PEDESTRIAN_MANOEUVRES := false;
+    
+    /**
+     * @desc Support for MAPEM cars manoeuvres
+     * @see  TODO
+     */
+    modulepar boolean PICS_SPECIALIZED_CARS_MANOEUVRES := false;
+    
+    /**
+     * @desc Support for MAPEM width attribut
+     * @see  TODO
+     */
+    modulepar boolean PICS_MAPEM_HAS_LANE_WIDTH := false;
+    
+    modulepar float PICS_T_GENMAPEMMIN := 0.5;
+    
+    modulepar float PICS_T_GENMAPEMMAX := 2.0;
+    
+    /**
+     * @desc Support for SPATEM generation
+     * @see  ETSI TS 103 191-1 Table A.2
+     */
+    modulepar boolean PICS_SPATEM_GENERATION := true;
+
+    /**
+     * @desc Support for SPATEM reception
+     * @see  ETSI TS 103 191-1 Table A.2
+     */
+    modulepar boolean PICS_SPATEM_RECEPTION := true;
+    
+    /**
+     * @desc Support for SPATEM reception
+     * @see  TODO
+     */
+    modulepar boolean PICS_SPATEM_PEDESTRIAN_MANOEUVRES := false;
+    
+    /**
+     * @desc Support for SPATEM reception
+     * @see  TODO
+     */
+    modulepar boolean PICS_SPATEM_SPECIALIZED_MANOEUVRES := false;
+    
+    /**
+     * @desc Support for SPATEM reception
+     * @see  TODO
+     */
+    modulepar boolean PICS_SPATEM_HAS_TIMING := false;
+    
+    /**
+     * @desc Support for SPATEM reception
+     * @see  TODO
+     */
+    modulepar boolean PICS_SPATEM_PRIORITIZATION := false;
+    
+    /**
+     * @desc Support for SPATEM reception
+     * @see  TODO
+     */
+    modulepar boolean PICS_SPATEM_PEDESTRIAN_MAOEUVRES := false;
+    
+    /**
+     * @desc Support for SPATEM reception
+     * @see  TODO
+     */
+    modulepar boolean PICS_SPATEM_HAS_OPTIMAL_SPEED := false;
+    
+    /**
+     * @desc Support for SPATEM reception
+     * @see  TODO
+     */
+    modulepar boolean PICS_SPATEM_HAS_SIGNAL_PROGRESSION_SPEED := false;
+    
+    /**
+     * @desc Support for SPATEM reception
+     * @see  TODO
+     */
+    modulepar boolean PICS_SPATEM_HAS_EGRESS_QUEUE := false;
+    
+    /**
+     * @desc Support for SPATEM reception
+     * @see  TODO
+     */
+    modulepar boolean PICS_SPATEM_TRANSMISSION_RATE := false;
+    
+} // end LibItsSremSsem_Pics