Path: utzoo!utgpu!utstat!jarvis.csri.toronto.edu!mailrus!ames!ucsd!orion.cf.uci.edu!oberon!sm.unisys.com!randvax!florman
From: florman@randvax.UUCP (Bruce Florman)
Newsgroups: comp.lang.eiffel
Subject: Re: Posting on behalf of CNET users
Keywords: Oops
Message-ID: <1906@randvax.UUCP>
Date: 11 Mar 89 00:19:14 GMT
References: <112@eiffel.UUCP> <1905@randvax.UUCP>
Reply-To: florman@rand-unix.UUCP (Bruce Florman)
Organization: Rand Corp., Santa Monica, Ca.
Lines: 25

In article <1905@randvax.UUCP> florman@rand-unix.UUCP I write:

: CLASS LEFT_ADJUST_INSTRUCTION
: INHERIT
: 
:     INSTRUCTION [STRING]
: 	REDEFINE execute;
		 ^^^^^^^
: 
: FEATURE
: 
:     apply_to (target: STRING) IS
: 	REQUIRE
: 	    NOT target.Void;
: 	DO
: 	    target.left_adjust;
: 	END;
: 
: END -- CLASS LEFT_ADJUST_INSTRUCTION

    Of course the routine being redefined is named "apply_to" not "execute."  
I guess I should have run this stuff through the compiler once before posting 
it.  Sorry about that.

-Bruce Florman