LibItsSecurity_Functions.ttcn3

            // Sanity check
            if (not isbound(p_region) or not isbound(p_location) or (lengthof(p_region) == 0)) {
                return false;
            }
            
            return fx_isLocationInsideRectangularRegion(valueof(p_region), valueof(p_location));
        } // End of function f_isLocationInsideRectangularRegion
        
        /**
         * @desc Check that the location is inside a polygonal region
         * @param p_region      The polygonal region to consider
         * @param p_location    The device location
         * @return true on success, false otherwise
         * @verdict Unchanged
         */
        function f_isLocationInsidePolygonalRegion(in template (value) PolygonalRegion p_region,
                                                   in template (value) ThreeDLocation   p_location
        ) return boolean {
            // Sanity check
            if (not isbound(p_region) or not isbound(p_location) or (lengthof(p_region) == 0)) {
                return false;
            }
            
            return fx_isLocationInsidePolygonalRegion(valueof(p_region), valueof(p_location));
        } // End of function f_isLocationInsidePolygonalRegion
        
        /**
         * @desc Check if the location is inside an identified region
         * @param p_region      The identified region to consider
         * @param p_location    The device location
         * @return true on success, false otherwise
         * @verdict Unchanged
         */
        function f_isLocationInsideIdentifiedRegion(in template (value) IdentifiedRegion p_region,
                                                    in template (value) ThreeDLocation   p_location
        ) return boolean {
            // Sanity check
            if (not isbound(p_region) or not isbound(p_location)) {
                return false;
            }
            
            return fx_isLocationInsideIdentifiedRegion(valueof(p_region), valueof(p_location));
        } // End of function f_isLocationInsideIdentifiedRegion
        
        /**
         * @desc Check if the location is inside an undefined region
         * @param p_region      The identified region to consider
         * @param p_location    The device location
         * @return true on success, false otherwise
         * @verdict Unchanged
         */
        function f_isLocationInsideOtherRegion(in template (value) octetstring p_region,
                                               in template (value) ThreeDLocation   p_location
        ) return boolean {
            // FIXME To be removed
            return false;
        } // End of function f_isLocationInsideOtherRegion
        
    } // End of group geometryFunctions 
    
} // End of module LibItsSecurity_Functions