EIFFEL TIME

Click here to load reader

  • date post

    07-Jan-2016
  • Category

    Documents

  • view

    27
  • download

    0

Embed Size (px)

description

EIFFEL TIME. K észítette: Árvai Mária Tünde [email protected] people.inf.elte.hu / fluke/eiffel. abszolút (pl. "Mennyi az idő?") intervallum időtartam (az időintervallum hossza). 3 típus:. Abszolút. konstansok: TIME_VALUE DATE_VALUE DATE_TIME_VALUE. DATE TIME DATE_TIME. - PowerPoint PPT Presentation

Transcript of EIFFEL TIME

EIFFEL TIMEintervallum
rákövetkez, megelz:
year_forth, year_back
month_forth, month_back
day_forth, day_back
DATE_TIME létrehozása
make(y,mo,d,h,mi,s: INTEGER)
start_bound, end_bound
<, <=, >, >=
vége szigorúan megelzi int2-t
includes
strict_includes
has(v: G)
Idtartam
DATE_DURATION
perc, másodperc < 60
perc, másodperc > -60
definite DATE_DURATION
definite = true
kanonikus definite
relative DATE_DURATION
definite = false
nem mindig tudunk 30 napot 1 hónappá konvertálni
01/15 – 02/14: kanonikus, nem tudunk
04/15 – 05/15: nem kanonikus => 1 hónap
pozitív, negatív lehet
make_by_days(n: INTEGER)
ha mindkett definite, akkor a napok összehasonlíthatóak, különben hamisat ad
beállítás:
to_canonical: csak ha mind a DATE, mind a TIME kanonikus
time_to_canonical