xtimetype.java

A framework written in Java for implementing high-level and dynamic languages, compiling them into J

// Copyright (c) 2006  Per M.A. Bothner.
// This is free software;  for specifics see ../../../COPYING.

package gnu.kawa.xml;
import java.util.Calendar;
import gnu.bytecode.*;
import gnu.math.*;
import java.util.GregorianCalendar;
import java.util.TimeZone;

public class XTimeType extends XDataType
{
  static ClassType typeDateTime = ClassType.make("gnu.math.DateTime");

  public static final XTimeType dateTimeType =
    new XTimeType("dateTime", DATE_TIME_TYPE_CODE);

  public static final XTimeType dateType =
    new XTimeType("date", DATE_TYPE_CODE);
  public static final XTimeType timeType =
    new XTimeType("time", TIME_TYPE_CODE);
  public static final XTimeType gYearMonthType =
    new XTimeType("gYearMonth", G_YEAR_MONTH_TYPE_CODE);
  public static final XTimeType gYearType =
    new XTimeType("gYear", G_YEAR_TYPE_CODE);
  public static final XTimeType gMonthType =
    new XTimeType("gMonth", G_MONTH_TYPE_CODE);
  public static final XTimeType gMonthDayType =
    new XTimeType("gMonthDay", G_MONTH_DAY_TYPE_CODE);
  public static final XTimeType gDayType =
    new XTimeType("gDay", G_DAY_TYPE_CODE);

  XTimeType(String name, int code)
  {
    super((Object) name/*FIXME*/, typeDateTime, code);
  }

  static int components (int typeCode)
  {
    switch (typeCode)
      {
      case DATE_TIME_TYPE_CODE:
        return DateTime.DATE_MASK|DateTime.TIME_MASK;
      case DATE_TYPE_CODE:
        return DateTime.DATE_MASK;
      case TIME_TYPE_CODE:
        return DateTime.TIME_MASK;
      case G_YEAR_MONTH_TYPE_CODE:
        return DateTime.YEAR_MASK|DateTime.MONTH_MASK;
      case G_YEAR_TYPE_CODE:
        return DateTime.YEAR_MASK;
      case G_MONTH_DAY_TYPE_CODE:
        return DateTime.MONTH_MASK|DateTime.DAY_MASK;
      case G_DAY_TYPE_CODE:
        return DateTime.DAY_MASK;
      case G_MONTH_TYPE_CODE:
        return DateTime.MONTH_MASK;
      case DURATION_TYPE_CODE:
        return DateTime.DATE_MASK|DateTime.TIME_MASK;
      case YEAR_MONTH_DURATION_TYPE_CODE:
        return DateTime.YEAR_MASK|DateTime.MONTH_MASK;
      case DAY_TIME_DURATION_TYPE_CODE:
        return DateTime.DAY_MASK|DateTime.TIME_MASK;
      default:
        return 0;
      }
  }

  /*
  RuntimeException badFormat(String str)
  {
    return new NumberFormatException("Unrecognized "+name+": '"+str+'\'');
  }
  */

  /** Return the current date or time in this type. */
  public DateTime now ()
  {
    return new DateTime(XTimeType.components(typeCode)|DateTime.TIMEZONE_MASK,
                        (GregorianCalendar) Calendar.getInstance(fixedTimeZone()));

  }

  private static TimeZone fixedTimeZone;
  private static synchronized TimeZone fixedTimeZone ()
  {
    if (fixedTimeZone == null)
      {
        int offset = TimeZone.getDefault().getRawOffset() / 60000;
        fixedTimeZone = DateTime.minutesToTimeZone(offset);
      }
    return fixedTimeZone;
  }


  public static DateTime parseDateTime (String value, int mask)
  {
    DateTime time = DateTime.parse(value, mask);
    // Replace an implicit timezone by by one that is fixed wrt DST.
    // I.e. TimeZone.getDefault() may be a timezone whose offset varies
    // depending upon whether Daylight Savings Time is in effect.
    // Replace it by one with a fixed offset.  This is required for
    // XQuery semantics, though I believe it is wrong.
    if (time.isZoneUnspecified())
      time.setTimeZone(fixedTimeZone());
    return time;
  }

  public Object valueOf (String value)
  {
    return parseDateTime(value, XTimeType.components(typeCode));
  }

  public boolean isInstance (Object obj)
  {
    if (! (obj instanceof DateTime))
      return false;
    int thisMask = components(this.typeCode);
    int objMask = ((DateTime) obj).components();
    //return (thisMask & ~objMask) == 0;
    return thisMask == objMask;
  }
}