* Copyright (c) 2009-2013 CWI

* All rights reserved. This program and the accompanying materials

* are made available under the terms of the Eclipse Public License v1.0

* which accompanies this distribution, and is available at

* http://www.eclipse.org/legal/epl-v10.html

*

* Contributors:

*   * Paul Klint - Paul.Klint@cwi.nl - CWI

*   * Jurgen J. Vinju - Jurgen.Vinju@cwi.nl - CWI

*   * Arnold Lankamp - Arnold.Lankamp@cwi.nl

*   * Davy Landman - Davy.Landman@cwi.nl

*   * Michael Steindorfer - Michael.Steindorfer@cwi.nl - CWI

*******************************************************************************/

/*******************************************************************************

*

* Warning this file is an experiment to determine the effect of collecting all

* classes used by the Prelude in a single class. Overall effect seems to be circa 10%

* reduction of import time.

*

* Do not edit/change this code, but use the original code instead.

*

*/

  private final TypeFactory types ;

  protected final IValueFactory values;

  private final Random random;

 

  public Prelude(IValueFactory values){

    super();

   

    this.values = values;

    this.types = TypeFactory.getInstance();

    this.tr = new TypeReifier(values);

    random = new Random();

  }

  /*

   * Boolean

   */

 

  public IValue arbBool()  // get an arbitrary boolean value.}

  {

    return values.bool(random.nextInt(2) == 1);

  }

 

  /*

   * DateTime

   */

  public IValue now()

  //@doc{Get the current datetime.}

  {

     return values.datetime(Calendar.getInstance().getTimeInMillis());

  }

  public IValue createDate(IInteger year, IInteger month, IInteger day)

  //@doc{Create a new date.}

  {

    return values.date(year.intValue(), month.intValue(), day.intValue());

  }

 

  public IValue createTime(IInteger hour, IInteger minute, IInteger second,

      IInteger millisecond)

  //@doc{Create a new time.}

  {

    return values.time(hour.intValue(), minute.intValue(), second.intValue(), millisecond.intValue());

  }

  public IValue createTime(IInteger hour, IInteger minute, IInteger second,

      IInteger millisecond, IInteger timezoneHourOffset, IInteger timezoneMinuteOffset)

  //@doc{Create a new time with the given numeric timezone offset.}

  {

    return values.time(hour.intValue(), minute.intValue(), second.intValue(),

        millisecond.intValue(), timezoneHourOffset.intValue(), timezoneMinuteOffset.intValue());

  }

 

  public IValue createDateTime(IInteger year, IInteger month, IInteger day,

      IInteger hour, IInteger minute, IInteger second, IInteger millisecond)

  //@doc{Create a new datetime.}

  {

    return values.datetime(year.intValue(), month.intValue(), day.intValue(), hour.intValue(),

        minute.intValue(), second.intValue(), millisecond.intValue());

  }

  public IValue createDateTime(IInteger year, IInteger month, IInteger day,

      IInteger hour, IInteger minute, IInteger second, IInteger millisecond,

      IInteger timezoneHourOffset, IInteger timezoneMinuteOffset)

  //@doc{Create a new datetime with the given numeric timezone offset.}

  {

    return values.datetime(year.intValue(), month.intValue(), day.intValue(), hour.intValue(),

        minute.intValue(), second.intValue(), millisecond.intValue(), timezoneHourOffset.intValue(),

        timezoneMinuteOffset.intValue());

  }

   

  public IValue joinDateAndTime(IDateTime date, IDateTime time)

  //@doc{Create a new datetime by combining a date and a time.}

  {

    return values.datetime(date.getYear(), date.getMonthOfYear(), date.getDayOfMonth(),

        time.getHourOfDay(), time.getMinuteOfHour(), time.getSecondOfMinute(),

        time.getMillisecondsOfSecond(), time.getTimezoneOffsetHours(), time.getTimezoneOffsetMinutes());

  }

  public IValue splitDateTime(IDateTime dt)

  //@doc{Split an existing datetime into a tuple with the date and the time.}

  {

    return values.tuple(values.date(dt.getYear(), dt.getMonthOfYear(), dt.getDayOfMonth()),

        values.time(dt.getHourOfDay(), dt.getMinuteOfHour(), dt.getSecondOfMinute(),

            dt.getMillisecondsOfSecond(), dt.getTimezoneOffsetHours(), dt.getTimezoneOffsetMinutes()));

  }

 

 

  public IValue incrementYears(IDateTime dt, IInteger n)

  //@doc{Increment the years by a given amount.}

  {

    return incrementDate(dt, Calendar.YEAR, "years", n); 

  }

 

  public IValue incrementMonths(IDateTime dt, IInteger n)

  //@doc{Increment the months by a given amount.}

  {

    return incrementDate(dt, Calendar.MONTH, "months", n);