[review] XM_CATALOG_BOOTSTRAP_RESOLVER.Reserved_directory_path is not safe

Jocelyn <[email protected]> Fri, 23 Jan 2009 11:49:18 +0100
Newsgroups gmane.comp.lang.eiffel.gobo.devel
Message-ID <[email protected]>
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).

Regards,
-- Jocelyn




------------------------------------------------------------------------------
This SF.net email is sponsored by:
SourcForge Community
SourceForge wants to tell your story.
http://p.sf.net/sfu/sf-spreadtheword