Commit 86130013 authored by garciay's avatar garciay
Browse files

Bug fixed after build with TCT3

parent 3e1c73c4

ttcn/Security/LibItsSecurity_Functions.ttcn3

+11 −11
Original line number Diff line number Diff line
@@ -789,7 +789,7 @@ module LibItsSecurity_Functions { 
             * @return  true on success, false otherwise

             * @verdict Unchanged

             */

            external function fx_isValidPolygonalRegion(in template (value) PolygonalRegion p_region) return boolean;

            external function fx_isValidPolygonalRegion(in PolygonalRegion p_region) return boolean;

            

            /**

             * @desc Check if a polygonal regin is inside another one
@@ -798,7 +798,7 @@ module LibItsSecurity_Functions { 
             * @return true on success, false otherwise

             * @verdict Unchanged

             */

            external function fx_isPolygonalRegionInside(in template (value) PolygonalRegion p_parent, in template (value) PolygonalRegion p_region) return boolean;

            external function fx_isPolygonalRegionInside(in PolygonalRegion p_parent, in PolygonalRegion p_region) return boolean;

            

            /**

             * @desc Check that the location is inside a circular region
@@ -807,7 +807,7 @@ module LibItsSecurity_Functions { 
             * @return true on success, false otherwise

             * @verdict Unchanged

             */

            external function fx_isLocationInsideCircularRegion(in template (value) CircularRegion p_region, in template (value) ThreeDLocation p_location) return boolean;

            external function fx_isLocationInsideCircularRegion(in CircularRegion p_region, in ThreeDLocation p_location) return boolean;

            

            /**

             * @desc Check that the location is inside a rectangular region
@@ -816,7 +816,7 @@ module LibItsSecurity_Functions { 
             * @return true on success, false otherwise

             * @verdict Unchanged

             */

            external function fx_isLocationInsideRectangularRegion(in template (value) RectangularRegions p_region, in template (value) ThreeDLocation p_location) return boolean;

            external function fx_isLocationInsideRectangularRegion(in RectangularRegions p_region, in ThreeDLocation p_location) return boolean;

            

            /**

             * @desc Check that the location is inside a polygonal region
@@ -825,7 +825,7 @@ module LibItsSecurity_Functions { 
             * @return true on success, false otherwise

             * @verdict Unchanged

             */

            external function fx_isLocationInsidePolygonalRegion(in template (value) PolygonalRegion p_region, in template (value) ThreeDLocation p_location) return boolean;

            external function fx_isLocationInsidePolygonalRegion(in  PolygonalRegion p_region, in ThreeDLocation p_location) return boolean;

            

            /**

             * @desc Check if the location is inside an identified region
@@ -834,7 +834,7 @@ module LibItsSecurity_Functions { 
             * @return true on success, false otherwise

             * @verdict Unchanged

             */

            external function fx_isLocationInsideIdentifiedRegion(in template (value) IdentifiedRegion p_region, in template (value) ThreeDLocation p_location) return boolean;

            external function fx_isLocationInsideIdentifiedRegion(in IdentifiedRegion p_region, in ThreeDLocation p_location) return boolean;

            

        } // End of group geodesic
@@ -907,7 +907,7 @@ module LibItsSecurity_Functions { 
                return false;

            }

            

            return fx_isValidPolygonalRegion(p_region);

            return fx_isValidPolygonalRegion(valueof(p_region));

        } // End of function f_isValidPolygonalRegion

        

        /**
@@ -985,7 +985,7 @@ module LibItsSecurity_Functions { 
                return false;

            }

            

            return fx_isLocationInsideCircularRegion(p_region, p_location);

            return fx_isLocationInsideCircularRegion(valueof(p_region), valueof(p_location));

        } // End of function f_isLocationInsideCircularRegion

        

        /**
@@ -1003,7 +1003,7 @@ module LibItsSecurity_Functions { 
                return false;

            }

            

            return fx_isLocationInsideRectangularRegion(p_region, p_location);

            return fx_isLocationInsideRectangularRegion(valueof(p_region), valueof(p_location));

        } // End of function f_isLocationInsideRectangularRegion

        

        /**
@@ -1021,7 +1021,7 @@ module LibItsSecurity_Functions { 
                return false;

            }

            

            return fx_isLocationInsidePolygonalRegion(p_region, p_location);

            return fx_isLocationInsidePolygonalRegion(valueof(p_region), valueof(p_location));

        } // End of function f_isLocationInsidePolygonalRegion

        

        /**
@@ -1039,7 +1039,7 @@ module LibItsSecurity_Functions { 
                return false;

            }

            

            return fx_isLocationInsideIdentifiedRegion(p_region, p_location);

            return fx_isLocationInsideIdentifiedRegion(valueof(p_region), valueof(p_location));

        } // End of function f_isLocationInsideIdentifiedRegion

        

        /**