Re: [gobo-eiffel-develop] [review] XM_CATALOG_BOOTSTRAP_RESOLVER.Reserved_directory_path is not safe

[Eric B. <er...@go...>]

Jocelyn wrote:
> In the code of {XM_CATALOG_BOOTSTRAP_RESOLVER}.Reserved_directory_path
> we have
>             Result := Execution_environment.variable_value ("GOBO")
>             Result := unix_file_system.pathname_from_file_system
> (Result, file_system)
> 
> However `Execution_environment.variable_value ("GOBO")' can return a
> Void value
> and then the call to unix_file_system.pathname_from_file_system (Result,
> file_system) will violate precondition of  `pathname_from_file_system'
> or raise exception (if assertion are disabled).

I modified it as follows:

	Reserved_directory_path: STRING is
			-- Path to directory containing latest schemas
		once
			Result := file_system.pathname ("${GOBO}", "misc")
			Result := Execution_environment.interpreted_string (Result)
		ensure
			reserved_directory_path_not_void: Result /= Void
		end

Note that it looks like this routine is never called.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com