Commit e0250cb2 authored by garciay's avatar garciay
Browse files

STF507 week#11: Enforce f_waitForCertificate

                Build with TCT3
parent 077f7a79
......@@ -2453,8 +2453,10 @@ module LibItsGeoNetworking_Functions {
var SignerInfo v_si;
if (f_getMsgSignerInfo(v_recv, v_si) == true) {
p_cert := v_si.signerInfo.certificate;
v_ret := true;
if (ischosen(v_si.signerInfo.certificate)) {
p_cert := v_si.signerInfo.certificate;
v_ret := true;
}
}
}
} // End of 'alt' statement
......
......@@ -1833,21 +1833,21 @@ module LibItsSecurity_Functions {
* @verdict
*/
function f_convertRectangularRegionIntoPolygonalRegion(
in template (value) RectangularRegion p_rectangular_region,
out PolygonalRegion p_region
in template (value) RectangularRegion p_rectangular_region,
out PolygonalRegion p_region
) return boolean {
var integer v_counter := 0;
// Convert rectangular regions to polygons and check polygons
p_region[0] := p_rectangular_region.northwest;
p_region[0] := valueof(p_rectangular_region.northwest);
p_region[1] := {
p_rectangular_region.northwest.latitude + p_rectangular_region.southeast.latitude,
p_rectangular_region.northwest.longitude
valueof(p_rectangular_region.northwest.latitude) + valueof(p_rectangular_region.southeast.latitude),
valueof(p_rectangular_region.northwest.longitude)
};
p_region[2] := p_rectangular_region.southeast;
p_region[2] := valueof(p_rectangular_region.southeast);
p_region[3] := {
p_rectangular_region.northwest.latitude,
p_rectangular_region.northwest.longitude + p_rectangular_region.southeast.longitude
valueof(p_rectangular_region.northwest.latitude),
valueof(p_rectangular_region.northwest.longitude) + valueof(p_rectangular_region.southeast.longitude)
};
log("f_convertRectangularRegionIntoPolygonalRegion: DEBUG: Northwest location is invalid in rect ", p_region);
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment