deferred class EDITABLE feature create_editor is -- Create editor for Current. deferred end; label: STRING is -- Label for Current Editable deferred end; end