LibItsMapemSpatem_TypesAndValues.ttcn 3.89 KB
Newer Older
1
/**
garciay's avatar
garciay committed
2
 *    @author   ETSI / STF484 / STF517
Yann Garcia's avatar
Yann Garcia committed
3
4
 *    @version  $Url: https://oldforge.etsi.org/svn/LibIts/tags/20170222_STF527_Final/ttcn/MapemSpatem/LibItsMapemSpatem_TypesAndValues.ttcn $
 *              $Id: LibItsMapemSpatem_TypesAndValues.ttcn 1307 2016-12-13 07:51:14Z garciay $
5
 *    @desc     Module containing types and values for MAPEM SPATEM
garciay's avatar
garciay committed
6
7
8
9
 *    @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.
10
11
12
13
14
15
16
17
18
19
20
21
 *
 */
module LibItsMapemSpatem_TypesAndValues {

    // LibCommon
    import from LibCommon_BasicTypesAndValues all;
    import from LibCommon_DataStrings all;

    // LibIts
    import from ITS_Container language "ASN.1:1997" all;
    import from MAPEM_PDU_Descriptions language "ASN.1:1997" all;
    import from SPATEM_PDU_Descriptions language "ASN.1:1997" all;
Yann Garcia's avatar
Yann Garcia committed
22
23
    import from DSRC language "ASN.1:1997" all;
    import from DSRC_REGION_noCircular language "ASN.1:1997" all;
24
25
26
27
28
29
30
    import from EfcDsrcGeneric language "ASN.1:1997" all;
    
    // LibItsCommon
    import from LibItsCommon_TypesAndValues all;
    
    group mapSpatConstants {
        
Bostjan Pintar's avatar
Bostjan Pintar committed
31
32
33
34
35
        const charstring c_compIut := "IUT";
        const charstring c_compMTC := "MTC";
        const charstring c_compMap := "PtcMap";
        const charstring c_compSpat := "PtcSpat";
        
36
37
38
39
    } // end group mapSpatConstants
    
    group utPrimitives {
        
Yann Garcia's avatar
Yann Garcia committed
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
        /**
         * @desc Upper Tester message to initialize IUT 
         * @member hashedId8 In case of secured mode set, hashedId8 indicate which certificate the IUT shall use
         */
        type record UtMapemSpatemInitialize {
            Oct8 hashedId8 
        } with {
            variant "FIELDORDER(msb)"
        }
        
        /**
         * @desc Upper Tester results message of the MAPEM/SPATEM IUT
         * @member utMapemSpatemInitialize             -
         * @member utMapemSpatemTriggerResult          -
         */
        type union UtMapemSpatemResults {
            boolean utMapemSpatemInitializeResult,
            boolean utMapemSpatemTriggerResult
        } with {
            variant ""
        } // End of type UtMapemSpatemResults
        
62
63
64
65
        /**
         * @desc Upper Tester message to request triggering of an event at IUT 
         */
        type record UtMapemSpatemTrigger {
Yann Garcia's avatar
Yann Garcia committed
66
            Event    event,
Yann Garcia's avatar
Yann Garcia committed
67
68
            IntersectionID intersectionID optional,
            RegulatorySpeedLimit regulatorySpeedLimit optional,
Yann Garcia's avatar
Yann Garcia committed
69
            Latitude latitude optional
Yann Garcia's avatar
Yann Garcia committed
70
71
72
              
        } with {
            variant "FIELDORDER(msb)"
73
        }
74
        
75
        type enumerated Event {
Yann Garcia's avatar
Yann Garcia committed
76
77
78
79
            mapProfile0  (0),
            mapProfile1  (1),
            mapProfile2  (2),
            spatProfile0 (3)
Yann Garcia's avatar
Yann Garcia committed
80
81
        } with {
          variant "FIELDLENGTH(8)"
82
83
84
85
86
87
        }
        
        /**
         * @desc Upper Tester message to check event/status at IUT 
         */
        type record UtMapemEventInd {
88
89
90
          MAPEM mapeMsg
          } with {
          encode (mapeMsg) "LibItsMapemSpatem_asn1"
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
        }
        
        /**
         * @desc Upper Tester message to check event/status at IUT 
         */
        type record UtSpatemEventInd {
            SPATEM spateMsg
        } with {
            encode (spateMsg) "LibItsMapemSpatem_asn1"
        }
        
        /**
         * @desc List of Upper Tester messages to check event/status on MAPEM SPATEM IUT 
         */
        type record of UtMapemEventInd UtMapemEventIndList;
        
        /**
         * @desc List of Upper Tester messages to check event/status on MAPEM SPATEM IUT 
         */
        type record of UtSpatemEventInd UtSpatemEventIndList;
    } with {
        encode "UpperTester"
113
        variant ""
114
    }
115
116
117
} with {
  encode "LibItsMapemSpatem"
} // End of module LibItsMapemSpatem_TypesAndValues