[gobo-eiffel-develop] check if ET_CLASS_TYPE can be used as actual parameter

[Thomas D. <th...@de...>]

Hi,

I have two ET_CLASS objects: a and b.
Assume that the first object (A) has one generic parameter. If that
parameter is constrainted, I want to check if another object (B)
conforms to the generic constraint.

Based on my current knowledge, I guess I should use the
conforms_to_type feature of ET_CLASS, but I don't know how to use this
feature correctly in this case.

The signature of conforms_to_type is:

conforms_to_type (other: ET_TYPE; other_context: ET_TYPE_CONTEXT;
a_context: ET_TYPE_CONTEXT; a_universe: ET_UNIVERSE): BOOLEAN

So, I guess I should call this feature on object a. The question is
then: what values do I have to fill in for the other arguments, except
for a_universe?

It think the value of other should be
a.formal_parameters.item(1).constraint, so that leaves other_context
and a_context to be filled in ...

Thanks a lot in advance

Kind Regards
-- 
Thomas