gobo-eiffel-develop

[gobo-eiffel-develop] Preconditions in creation procedures of DT_FIXED_OFFSET_TIME_ZONE

[Colin P. A. <co...@co...>]

I have changed the m_small_enough precondition in the creation
procedures from h <= 0 to h < 0, as otherwise it was impossible to
create offsets of zero hours and a few minutes.
-- 
Colin Adams
Preston Lancashire

Re: [gobo-eiffel-develop] Preconditions in creation procedures of DT_FIXED_OFFSET_TIME_ZONE

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

Colin Paul Adams wrote:
> I have changed the m_small_enough precondition in the creation
> procedures from h <= 0 to h < 0, as otherwise it was impossible to
> create offsets of zero hours and a few minutes.

I understand the problem, but I don't think that the fix is
correct. Indeed, now it will not be possible anymore to have
offsets of zero hours and minus a few minutes. In case of
`make_hours_minutes' for example I think that we should
rather have:

   h_large_enough: h > -Hours_in_day
   h_small_enough: h < Hours_in_day
   m_large_enough_positive: h > 0 implies m >= 0
   m_small_enough_positive: h > 0 implies m < Minutes_in_hour
   m_large_enough_negative: h < 0 implies m > -Minutes_in_hour
   m_small_enough_negative: h < 0 implies m <= 0
   m_large_enough_null: h = 0 implies m > -Minutes_in_hour
   m_small_enough_null: h = 0 implies m < Minutes_in_hour

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

Re: [gobo-eiffel-develop] Preconditions in creation procedures of DT_FIXED_OFFSET_TIME_ZONE

[Colin P. A. <co...@co...>]

>>>>> "Eric" == Eric Bezault <er...@go...> writes:

    Eric> Colin Paul Adams wrote:
    >> I have changed the m_small_enough precondition in the creation
    >> procedures from h <= 0 to h < 0, as otherwise it was impossible
    >> to create offsets of zero hours and a few minutes.

    Eric> I understand the problem, but I don't think that the fix is
    Eric> correct. Indeed, now it will not be possible anymore to have
    Eric> offsets of zero hours and minus a few minutes. In case of
    Eric> `make_hours_minutes' for example I think that we should
    Eric> rather have:

    Eric>   h_large_enough: h > -Hours_in_day h_small_enough: h <
    Eric> Hours_in_day m_large_enough_positive: h > 0 implies m >= 0
    Eric> m_small_enough_positive: h > 0 implies m < Minutes_in_hour
    Eric> m_large_enough_negative: h < 0 implies m > -Minutes_in_hour
    Eric> m_small_enough_negative: h < 0 implies m <= 0
    Eric> m_large_enough_null: h = 0 implies m > -Minutes_in_hour
    Eric> m_small_enough_null: h = 0 implies m < Minutes_in_hour

OK. I have made that change, and similar in others.
-- 
Colin Adams
Preston Lancashire

[gobo-eiffel-develop] Does Gexace support 'supplier_precondition' setting ?

[CRISMER Paul-G. <Pau...@gr...>]

Hello,

EiffelStudio provides a 'supplier_precondition' option.

Is Gexace capable of generating such a 'supplier_precondition' option?

Thanks for the support,

Best regards,

Paul G. Crismer

***** Disclaimer *****
http://www.groupes.be/1_mail-disclaimer.htm

Re: [gobo-eiffel-develop] Does Gexace support 'supplier_precondition' setting ?

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

CRISMER Paul-Georges wrote:
> EiffelStudio provides a 'supplier_precondition' option.
> 
> Is Gexace capable of generating such a 'supplier_precondition' option?

Since gexace does not generate ECF files, it does not support
'supplier_precondition'. I would look weird to me that EiffelStudio
support this option for Ace files as well?

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

Re: [gobo-eiffel-develop] Does Gexace support 'supplier_precondition' setting ?

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

Eric Bezault wrote:
> CRISMER Paul-Georges wrote:
>> EiffelStudio provides a 'supplier_precondition' option.
>>
>> Is Gexace capable of generating such a 'supplier_precondition' option?
> 
> Since gexace does not generate ECF files, it does not support
> 'supplier_precondition'. I would look weird to me that EiffelStudio
> support this option for Ace files as well?

The option 'supplier_precondition', and other ECF options, are
now supported in svn#6258. For that, gexace had to be changed
to generate ECF directly instead of going through Ace which is
then converted to ECF by EiffelStudio. See $GOBO/History.txt
for more details.

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