--- /dev/null
+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