note description: "[ Objects that ... ]" author: "$Author$" date: "$Date$" revision: "$Revision$" class DEP create make feature {NONE} -- Initialization make -- Initialize `Current'. do create fake.make end feature -- Access fake: FAKE feature -- Change feature {NONE} -- Implementation invariant -- invariant_clause: True end