Re: [gobo-eiffel-develop] ET_AST_ITERATOR.process_features

[Eric B. <er...@go...>]

Howard Thomson wrote:
> In working on my Eiffel comparison code, I found that the process_features feature of ET_AST_ITERATOR
> fails to process features in some classes.
> 
> According to feedback from my EDP project, this feature is not part of the reachable feature set of the Eiffel
> compilation process in 'gec' and is therfeore untested in that environment.

It is in fact tested by $GOBO/test/tools.

> I append a reimplementation that seems to work somewhat better, although not yet proven correct:

It is in fact proven not correct when running the test $GOBO/test/tools.

Can you be more explicit about what ET_AST_ITERATOR.process_features
fails to process? Is your AST well formed with synonyms correctly
chained?

> By the way, did you get my previous e-mail about waiting for me to update SF svn ?

Yes.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com