indexing description: "Server for melted feature byte code indexed by real body id." date: "$Date$" revision: "$Revision$" class M_FEATURE_SERVER inherit COMPILER_SERVER [MELT_FEATURE] create make feature -- Access id (t: MELT_FEATURE): INTEGER is -- Id associated with `t' do Result := t.real_body_id end cache: M_FEATURE_CACHE is -- Cache for routine tables once create Result.make end feature -- Server size configuration Size_limit: INTEGER is 50 -- Size of the M_FEATURE_SERVER file (50 Ko) Chunk: INTEGER is 50 -- Size of a HASH_TABLE block end