class PRECOMP_INFO inherit HASH_TABLE [INTEGER, STRING] rename make as ht_make end SHARED_WORKBENCH undefine copy, is_equal end SYSTEM_CONSTANTS undefine copy, is_equal end create make feature {NONE} -- Initialization make (precomp_dirs: HASH_TABLE [REMOTE_PROJECT_DIRECTORY, INTEGER]; check_license: BOOLEAN) is -- Create a new structure containing precompilation info. require precomp_dirs_not_void: precomp_dirs /= Void do ht_make (precomp_dirs.count); from precomp_dirs.start until precomp_dirs.after loop force (precomp_dirs.key_for_iteration, precomp_dirs.item_for_iteration.dollar_name); precomp_dirs.forth end compiler_version := Version_number; compilation_id := System.compilation_id licensed := check_license name := System.name end feature -- Access compilation_id: INTEGER -- Precompilation identifier compiler_version: STRING -- Compiler version licensed: BOOLEAN -- Is this precompilation protected by a license? name: STRING -- Name of the precompiled system end -- class PRECOMP_INFO