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

[Howard T. <how...@di...>]

Hi Eric,

It doesn't work, as you say !

My gecmp program uses Gobo tools to parse pairs of class files, uses a 
derivation of ET_AST_PRINTER to accumulate the sequence of ET_AST_LEAF 
elements that were parsed, does a 'diff' pass over the pair of sequences 
(arrays) of leaf elements, marks the elements according to whether they are 
equal, not-equal, or excluded, and uses a derivation of ET_AST_PRINTER to 
print the sequence of elements tagged with the "== ","/= ","   " marking.

The process worked fine on my initial test pair of classes with just a single 
feature clause and one feature.

When I started processing all classes in the Universe for the EDP project, 
modified to add the current $GOBO/library/tools/eiffel class set to provide 
pairs of class files for comparison, I ended up with (some) classes with 
feature clauses with only the word 'feature' and no features at all.

I don't yet fully understand the implications of the presence of synonyms in a 
class, and I am unsure as to what assumptions one can make about the ordering 
of features in ET_CLASS.queries and ET_CLASS.procedures.

I need it to work for all valid class texts, so I will find the problem, 
eventually !

Howard

On Wednesday 22 August 2007 08:29, you wrote:
> 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.

-- 
Howard Thomson

--
"Only two things are infinite, the universe and human stupidity,
and I'm not sure about the former." -- Albert Einstein