Commit 35d93411 authored by filatov's avatar filatov
Browse files

f_isValidPolygonalRegion (TODO)

f_isPolygonalRegionInside (TODO)
parent 6cf59125
Loading
Loading
Loading
Loading
+24 −7
Original line number Diff line number Diff line
@@ -701,10 +701,8 @@ module LibItsSecurity_Functions {
         */
        function f_isValidTwoDLocation(in template (value) TwoDLocation p_location
        ) return boolean {
            return not (    p_location.longitude > c_maxLongitude
                         or p_location.longitude < c_minLongitude
                         or p_location.latitude  < c_minLatitude
                         or p_location.latitude  > c_maxLatitude );
            return  p_location.longitude != c_maxLongitude+1 
                and p_location.latitude != c_maxLatitude+1; 
        }

        /**
@@ -727,16 +725,35 @@ module LibItsSecurity_Functions {
        
        function f_isContinuousRectangularRegions(in template (value) RectangularRegions regions
        ) return boolean {
            // TODO: implement it
            // TODO: call external function
            return true;
        }

        function f_isRectangularRegionsInside(in template (value) RectangularRegions p_parent,
                                              in template (value) RectangularRegions p_region
        ) return boolean {
            //TODO: implement it
            // TODO: convert rectangular regions to polygons and check polygons 
            return true;
        }
        
        /**
         * @desc    Check that given polygon doesn't have neither self-intersections no holes.
         * @param   p_region   Polygonal Region
         * @return  true on success, false otherwise
         */
        function f_isValidPolygonalRegion(in template (value) PolygonalRegion p_region
        ) return boolean {
            // TODO: call external function
            return true;
        }
        

        function f_isPolygonalRegionInside(in template (value) PolygonalRegion p_parent,
                                           in template (value) PolygonalRegion p_region
        ) return boolean {
            // TODO: call external function
            return true;
        }
    }
    
} // End of module LibItsSecurity_Functions
 No newline at end of file