Talk About Network



Register and Login
Nick
Password
Register create new account Sign up is FREE and you can post replies, new topics, bookmark posts and more!
Recover lost password


Programming > Eiffel > Re: Weak formal...
Latest [ Topics | Posts ] Archive Post A New Topic Post a Reply
<< Topic < Post Post 1 of 2 Topic 895 of 917
Post > Topic >>

Re: Weak formal methods ?

by problems@[EMAIL PROTECTED] Oct 30, 2007 at 07:21 AM

On Sun, 2007-10-28 at 20:35 -0500, problems@[EMAIL PROTECTED]
 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 Posts in Topic:
Re: Weak formal methods ?
problems@[EMAIL PROTECTED  2007-10-30 07:21:47 
Re: Weak formal methods ?
Georg Bauhaus <rm.tsoh  2007-10-30 15:53:24 

Post A Reply:
  Go here to Signup

AddThis Feed Button


About - Advertising - Contact - Frequently Asked Questions - Privacy Policy - Terms of Use - Signup

Contact
tan12V112 Sat May 17 13:40:34 CDT 2008.