xref: /Universal-ctags/Units/parser-eiffel.r/procedures.e.d/input.e (revision b0abf4f31ec38ed9038dbfbf2288cde3f5b95802)

deferred class PROCEDURES

feature -- One

	procedure0
		do
		end

feature -- Two

	procedure1 (one: STRING)
		once
		end

	procedure2 (one: INTEGER; two: STRING)
		deferred
		end

	procedure_full (one: STRING)
			-- header comment
		note
		obsolete
			"Obsolete message"
		require
		local
		do
			-- Implementation
		ensure
		rescue
		end

end