Rev

Rev 2230 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | SVN | Bug Tracker

Rev 2230 Rev 2398
Line 24... Line 24...
24
        "_expectedResults": {
24
        "_expectedResults": {
25
            "isGenerated": false,
25
            "isGenerated": false,
26
            "key": "_expectedResults",
26
            "key": "_expectedResults",
27
            "origin": "d1828648-5927-4774-a8d0-939ebb26a6e7",
27
            "origin": "d1828648-5927-4774-a8d0-939ebb26a6e7",
28
            "type": "STRING",
28
            "type": "STRING",
29
            "value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields['signed_info'].certificate {\r\n\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t{\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'circle'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t} or {\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\t\tcontaining region.rectangular_region\r\n\t\t\t\t\t\tcontaining array of rectangles\r\n\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t} or {\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'polygonal'\r\n\t\t\t\t\tcontaining region.polygonal_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t} or {\t\t\t\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'id_region'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t}\r\n\t\t\t}\r\n\t\t\tcontaining exactly one header_field ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating location inside the REGION\r\n\t\t\tcontaining header_field ['its_aid'] {\r\n\t\t\t\tcontaining its_aid\r\n\t\t\t\t\tindicating 'AID_DENM'\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
29
            "value": "with\r\n\tthe IUT being in the 'authorized' state\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a DENM\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields['signed_info'].certificate\r\n\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'circle'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\tor containing region.region_type\r\n\t\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\t\tcontaining region.rectangular_region\r\n\t\t\t\t\t\tcontaining array of rectangles\r\n\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\tor containing region.region_type\r\n\t\t\t\t\t\tindicating 'polygonal'\r\n\t\t\t\t\tcontaining region.polygonal_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\tor containing region.region_type\r\n\t\t\t\t\t\tindicating 'id_region'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\tand containing exactly one header_field ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating location inside the REGION"
30
        },
30
        },
31
        "_status": {
31
        "_status": {
32
            "isGenerated": false,
32
            "isGenerated": false,
33
            "key": "_status",
33
            "key": "_status",
34
            "origin": "d1828648-5927-4774-a8d0-939ebb26a6e7",
34
            "origin": "d1828648-5927-4774-a8d0-939ebb26a6e7",