importJava "org.simantics.xml.sax.base.datatypes.literal.Date" where
  data XMLDate
  
  @JavaName getYear
  dateYear :: XMLDate -> Integer
  @JavaName getMonth
  dateMonth :: XMLDate -> Integer
  @JavaName getDate
  dateDay :: XMLDate -> Integer
  @JavaName getTimezoneOffset
  dateTimezoneOffset :: XMLDate -> Integer
  @JavaName toString
  dateAsString :: XMLDate -> String
  
importJava "org.simantics.xml.sax.base.datatypes.literal.Time" where
  data XMLTime
  
  @JavaName getHours
  timeHours :: XMLTime -> Integer
  @JavaName getMinutes
  timeMinutes :: XMLTime -> Integer
  @JavaName getSeconds
  timeSeconds :: XMLTime -> Integer
  @JavaName getTimezoneOffset
  timeTimezoneOffset :: XMLTime -> Integer
  @JavaName toString
  timeAsString :: XMLTime -> String
  
  
importJava "org.simantics.xml.sax.base.datatypes.literal.DateTime" where
  data XMLDateTime
  
  @JavaName getYear
  dateTimeYear :: XMLDateTime -> Integer
  @JavaName getMonth
  dateTimeMonth ::XMLDateTime -> Integer
  @JavaName getDate
  dateTimeDay :: XMLDateTime -> Integer
  @JavaName getHours
  dateTimeHours :: XMLDateTime -> Integer
  @JavaName getMinutes
  dateTimeMinutes :: XMLDateTime -> Integer
  @JavaName getSeconds
  dateTimeSeconds :: XMLDateTime -> Integer
  @JavaName getTimezoneOffset
  dateTimeTimezoneOffset :: XMLDateTime -> Integer
  @JavaName toString
  dateTimeAsString :: XMLDateTime -> String