Re: Weak formal methods ?This is a discussion on Re: Weak formal methods ? within the Eiffel forums in Programming Languages category; On Sun, 2007-10-28 at 20:35 -0500, problems @ gmail wrote: > > Occasionally, like now, I want to write a small routine to: > > FOR StartLine TO EndLine DO > > RemoveMultipleConsecutiveSpaces; > > I.e. remove the extra spaces -- which I remember WS > > could insert for text to fill the line nicely. Georg Bauhaus wrote: > The STRING class has some routines that I guess will be > helpful here. See http://www.gobosoft.com/eiffel/nice/elks01/string.html > > feature -- Access > ... > feature -- Removal > ... > > If this requires too many intuitions, so to speak, ... | ||||||||
| | ||||||||
| ||||||||
| Register | FAQ | Calendar | Search | Today's Posts | Mark Forums Read |
|
#1
10-30-2007, 08:21 AM
| |||
| |||
 Re: Weak formal methods ? On Sun, 2007-10-28 at 20:35 -0500, problems@gmail wrote: > > Occasionally, like now, I want to write a small routine to: > > FOR StartLine TO EndLine DO > > RemoveMultipleConsecutiveSpaces; > > I.e. remove the extra spaces -- which I remember WS > > could insert for text to fill the line nicely. Georg Bauhaus wrote: > The STRING class has some routines that I guess will be > helpful here. See http://www.gobosoft.com/eiffel/nice/elks01/string.html > > feature -- Access > ... > feature -- Removal > ... > > If this requires too many intuitions, so to speak, you can also get > Lex style parsing from that place, and probably REs with replacements. > Thanks ! That's excellent. I'd like the implementation code too, although that's probably too tied to the other Eiffel classes to be conveniently transformed to Oberon source. == Chris Glur.  |
|
#2
10-30-2007, 10:53 AM
| |||
| |||
| Re: Weak formal methods ? On Tue, 2007-10-30 at 07:21 -0500, problems@gmail wrote: > Georg Bauhaus wrote: > > The STRING class has some routines that I guess will be > > helpful here. See http://www.gobosoft.com/eiffel/nice/elks01/string.html > > > > feature -- Access > > ... > > feature -- Removal > > ... > > > > If this requires too many intuitions, so to speak, you can also get > > Lex style parsing from that place, and probably REs with replacements. > > > Thanks ! That's excellent. I'd like the implementation code too, > although that's probably too tied to the other Eiffel classes to be > conveniently transformed to Oberon source. The Gobo libraries are available with sources and extensive docs. The ISE Eiffel system is available with sources, too. (From ETH Zürich, e.g..) With SmartEiffel, you get sources as well. SmartEiffel has its own ways, though. The licenses are such that you could copy ideas when intending fair use, or are even more permissive. I guess that contract information of Eiffel string handling can be merged with available Oberon string handling; the OO2C library has some @precond annotations in Strings.Mod that, I guess, will help the reader compare the algorithms. |
 |
« Previous Thread
|
Next Thread »
| Thread Tools | |
| Display Modes | |
Linear Mode
All times are GMT -5. The time now is 04:39 AM.
