Loading ...
Sorry, an error occurred while loading the content.

RE: [eiffel_software] detachable and expanded types?

Expand Messages
  • Emmanuel Stapf
    ... I was giving you a way to achieve that by introducing A_PRIME [G] which has the same code as A now except that property_value was generic and in B you
    Message 1 of 5 , Sep 19 7:12 AM
    • 0 Attachment
      > > The workaround is to make A generic and have a descendent where
      > `prototype_value'
      > > is ANY if you need that particular case.
      >
      > I can't do that in any meaningful way here, because only the B descendant
      > of A is based on a generic concept (INTERVAL[G]). But I was thinking that
      > a forced redefinition of prototype_value in C to be of type B [INTEGER]
      > should make the compiler understand what concrete type it should be in
      > instances of C.

      I was giving you a way to achieve that by introducing A_PRIME [G] which has the
      same code as A now except that property_value was generic and in B you inherit
      from A_PRIME [G], not A, and A inherits from A_PRIME [ANY].

      Regards,
      Manu
    Your message has been successfully submitted and would be delivered to recipients shortly.