org.simantics.xml.sax.base/scl/xml/XMLDataTypes.scl

   1 importJava "org.simantics.xml.sax.base.datatypes.literal.Date" where
   2   data XMLDate
   3
   4   @JavaName getYear
   5   dateYear :: XMLDate -> Integer
   6   @JavaName getMonth
   7   dateMonth :: XMLDate -> Integer
   8   @JavaName getDate
   9   dateDay :: XMLDate -> Integer
  10   @JavaName getTimezoneOffset
  11   dateTimezoneOffset :: XMLDate -> Integer
  12   @JavaName toString
  13   dateAsString :: XMLDate -> String
  14
  15 importJava "org.simantics.xml.sax.base.datatypes.literal.Time" where
  16   data XMLTime
  17
  18   @JavaName getHours
  19   timeHours :: XMLTime -> Integer
  20   @JavaName getMinutes
  21   timeMinutes :: XMLTime -> Integer
  22   @JavaName getSeconds
  23   timeSeconds :: XMLTime -> Integer
  24   @JavaName getTimezoneOffset
  25   timeTimezoneOffset :: XMLTime -> Integer
  26   @JavaName toString
  27   timeAsString :: XMLTime -> String
  28
  29
  30 importJava "org.simantics.xml.sax.base.datatypes.literal.DateTime" where
  31   data XMLDateTime
  32
  33   @JavaName getYear
  34   dateTimeYear :: XMLDateTime -> Integer
  35   @JavaName getMonth
  36   dateTimeMonth ::XMLDateTime -> Integer
  37   @JavaName getDate
  38   dateTimeDay :: XMLDateTime -> Integer
  39   @JavaName getHours
  40   dateTimeHours :: XMLDateTime -> Integer
  41   @JavaName getMinutes
  42   dateTimeMinutes :: XMLDateTime -> Integer
  43   @JavaName getSeconds
  44   dateTimeSeconds :: XMLDateTime -> Integer
  45   @JavaName getTimezoneOffset
  46   dateTimeTimezoneOffset :: XMLDateTime -> Integer
  47   @JavaName toString
  48   dateTimeAsString :: XMLDateTime -> String