note description: "Summary description for {LIBRARY_ECF}." author: "" date: "$Date$" revision: "$Revision$" class LIBRARY_ECF inherit ECF redefine make, process end create make feature {NONE} -- Implementation make (a_name: STRING) do Precursor (a_name) end feature -- Visitor process (v: ECF_VISITOR) do v.process_library_ecf (Current) end end