--| Copyright (c) 1993-2006 University of Southern California and contributors. --| All rights reserved. --| Your use of this work is governed under the terms of the GNU General --| Public License version 2. deferred class DATA_CONSUMER feature initialize is do reset end reset is do local_ok := True local_errors := Void local_warnings := Void end_of_input := False end in_initial_state: BOOLEAN is deferred end explicit_name: STRING local_ok: BOOLEAN local_errors: STRING local_warnings: STRING end_of_input: BOOLEAN end