1. -- 
  2. -- Copyright (c) 2012 Kevin Wellwood 
  3. -- All rights reserved. 
  4. -- 
  5. -- This source code is distributed under the Modified BSD License. For terms and 
  6. -- conditions, see license.txt. 
  7. -- 
  8.  
  9. package Worlds.Importing is 
  10.  
  11.     -- Raises an exception on error. 
  12.     function Import_World( imagePath, 
  13.                            libName, 
  14.                            domain    : String; 
  15.                            tolerance : Natural ) return A_World; 
  16.     pragma Precondition( imagePath'Length > 0 ); 
  17.     pragma Precondition( libName'Length > 0 ); 
  18.     pragma Precondition( domain'Length > 0 ); 
  19.     pragma Postcondition( Import_World'Result /= null ); 
  20.  
  21. end Worlds.Importing;