class interface ES_EXTERNALS
   -- 
   --  Compatability functions for External C access
   -- 

feature(s) from ES_EXTERNALS
   --  Compatablity

   string_from_c (ptr: POINTER): STRING
      --  Turns ptr into an Eiffel STRING. Copies the storage.
      require
         not_void: ptr /= default_pointer
      ensure
         not_void: Result /= Void

   string_to_c (string: STRING): POINTER
      --  Returns the data for a c string.
      require
         not_void: string /= Void
      ensure
         not_void: Result /= default_pointer


end of ES_EXTERNALS