1 importJava "org.simantics.xml.sax.base.datatypes.literal.Date" where
5 dateYear :: XMLDate -> Integer
7 dateMonth :: XMLDate -> Integer
9 dateDay :: XMLDate -> Integer
10 @JavaName getTimezoneOffset
11 dateTimezoneOffset :: XMLDate -> Integer
13 dateAsString :: XMLDate -> String
15 importJava "org.simantics.xml.sax.base.datatypes.literal.Time" where
19 timeHours :: XMLTime -> Integer
21 timeMinutes :: XMLTime -> Integer
23 timeSeconds :: XMLTime -> Integer
24 @JavaName getTimezoneOffset
25 timeTimezoneOffset :: XMLTime -> Integer
27 timeAsString :: XMLTime -> String
30 importJava "org.simantics.xml.sax.base.datatypes.literal.DateTime" where
34 dateTimeYear :: XMLDateTime -> Integer
36 dateTimeMonth ::XMLDateTime -> Integer
38 dateTimeDay :: XMLDateTime -> Integer
40 dateTimeHours :: XMLDateTime -> Integer
42 dateTimeMinutes :: XMLDateTime -> Integer
44 dateTimeSeconds :: XMLDateTime -> Integer
45 @JavaName getTimezoneOffset
46 dateTimeTimezoneOffset :: XMLDateTime -> Integer
48 dateTimeAsString :: XMLDateTime -> String