Quelle JapaneseCalendar.vdmpp Sprache: VDM

class JapaneseCalendar is subclass of Calendar
/*
Responsibility
I'm a Japanese Calendar based on JST.
Especially, I know Japanese holidays
*/

values
public differenceBetweenGMTandJST = 0.375; -- 0.375 = 9 hours = 9 / 24 day
public differenceBetweenADandJapaneseCal = 1988;

functions

static private toStringAux: int -> seq of char
toStringAux(i) ==
let str = Integer`asString in
if i >= 10 then str(i) else " " ^ str(i);

static public getJapaneseDateStr : Date -> seq of char
getJapaneseDateStr(ADdate) ==
let asString =Integer`asString,
  yearOfJapaneseCal = ADdate.Year() - differenceBetweenADandJapaneseCal,
  m = ADdate.Month(),
  d = ADdate.day(),
  yearStr = asString(yearOfJapaneseCal),
  monthStr = toStringAux(m),
  dateStr = toStringAux(d) in
  yearStr ^ monthStr ^ dateStr
pre
ADdate.Year() >= differenceBetweenADandJapaneseCal;

operations

public setTheSetOfDayOffs: int ==> ()
setTheSetOfDayOffs(year) ==
let comingOfAgeDay = getNthDayOfTheWeek(year,1,2,<Mon>),
  marineDay = if year >= 2003 then getNthDayOfTheWeek(year,7, 3,<Mon>) else getDateFrom_yyyy_mm_dd(year,7,20),
  respect4TheAgedDay = if year >= 2003 then getNthDayOfTheWeek(year,9, 3,<Mon>) else getDateFrom_yyyy_mm_dd(year,9,15),
  healthSportsDay = getNthDayOfTheWeek(year,10, 2,<Mon>),
  nationalHolidaySet =  {
   getDateFrom_yyyy_mm_dd(year,1,1),
   comingOfAgeDay,
   getDateFrom_yyyy_mm_dd(year,2,11),
   getVernalEquinox(year),
   getDateFrom_yyyy_mm_dd(year,4,29),
   getDateFrom_yyyy_mm_dd(year,5,3),
   getDateFrom_yyyy_mm_dd(year,5,4),  --formally this date is not national holiday
   getDateFrom_yyyy_mm_dd(year,5,5),
   marineDay,
   respect4TheAgedDay,
   getAutumnalEquinox(year),
   healthSportsDay,
   getDateFrom_yyyy_mm_dd(year,11,3),
   getDateFrom_yyyy_mm_dd(year,11,23),
   getDateFrom_yyyy_mm_dd(year,12,23)
  },
  mondayMakeupHolidat =
   if year >= 2007 then
    {getNotNationalHolidaysInFuture(nationalHolidaySet, d) | d in set nationalHolidaySet & isSunday(d)}
   else
     {d.plus(1) | d in set nationalHolidaySet & isSunday(d)},
  weekdayBetweenDayOff =
   if year >= 2007 then
    getWeekdayBetweenDayOff(nationalHolidaySet)
   else
    {}
in
Year2Holidays := Year2Holidays munion { year |-> nationalHolidaySet union mondayMakeupHolidat union weekdayBetweenDayOff}
pre
year >= 2000;

public JapaneseCalendar : () ==> JapaneseCalendar
JapaneseCalendar() ==
(
setDifferenceWithGMT(differenceBetweenGMTandJST);
return self
);

public getWeekdayBetweenDayOff : set of Date ==> set of Date
getWeekdayBetweenDayOff(aNationalHolidaySet) == (
let
  candidatesOfWeekdayBetweenDayOff =
   dunion { {d.minus(1), d.plus(1)} | d in set aNationalHolidaySet &
    d.minus(1).Year() = d.Year() and d.plus(1).Year() = d.Year()},
  weekdayBetweenHoliday =
   { d | d in set candidatesOfWeekdayBetweenDayOff &
    let yesterday : Date = d.minus(1), tomorrow : Date =  d.plus(1) in
    isInDateSet(yesterday, aNationalHolidaySet) and isInDateSet(tomorrow, aNationalHolidaySet)}
in
return weekdayBetweenHoliday
);

functions
public getNotNationalHolidaysInFuture :set of Date * Date-> Date
getNotNationalHolidaysInFuture(aNationalHolidaySet, date) ==
cases  isInDateSet(date, aNationalHolidaySet) :
  (true) -> getNotNationalHolidaysInFuture(aNationalHolidaySet, date.plus( 1)),
  others -> date
end;

end JapaneseCalendar

quality98%

¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.