indexing description: "Represents a null id" license: "MIT license (see ../license.txt)" author: "Beat Strasser " date: "$Date$" revision: "$Revision$" class P2P_NULL_ID inherit P2P_ID redefine is_unique_id_valid end create make_from_urn, make feature {NONE} -- Initialization make is -- Create null id do make_with_id (null) end feature -- Access format: STRING is "jxta" feature {NONE} -- Implementation is_unique_id_valid (an_id: STRING): BOOLEAN is -- Is `an_id' Null? do Result := null.is_equal (an_id) end Null: STRING is "Null" end