Skip to Navigation | Skip to Content

Ref_impl_Eiffel mailing list archives

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

[ref_impl_eiffel] [850] Fix an unhandled exception "No such file or dire

  • To: ref_impl_eiffel@openehr.org
  • Subject: [ref_impl_eiffel] [850] Fix an unhandled exception "No such file or directory" when RM checking was on but rm_schema.dadl was missing.
  • From: svn@openehr.org
  • Date: Sat, 21 Mar 2009 14:51:37 +0000
Revision: 850
Author:   peter.gummer
Date:     2009-03-21 14:51:37 +0000 (Sat, 21 Mar 2009)

Log Message:
-----------
Fix an unhandled exception "No such file or directory" when RM checking 
was on but rm_schema.dadl was missing. MODEL_ACCESS was checking 
whether rm_schema.dadl was readable without first checking that it 
exists.

Modified Paths:
--------------
    
BRANCHES/specialisation/components/reference_model_checker/src/model_access.e