X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=org.simantics.xml.sax.base%2Fscl%2Fxml%2FXMLDataTypes.scl;fp=org.simantics.xml.sax.base%2Fscl%2Fxml%2FXMLDataTypes.scl;h=cf62097551b281c0ee81fb694fc1be2e4a8e9a9b;hb=8c7637425667bd9710be0fe6afe437050fea59b7;hp=0000000000000000000000000000000000000000;hpb=3474f080188aca472256339b9c3458bac3dd6b82;p=simantics%2Finterop.git

diff --git a/org.simantics.xml.sax.base/scl/xml/XMLDataTypes.scl b/org.simantics.xml.sax.base/scl/xml/XMLDataTypes.scl
new file mode 100644
index 0000000..cf62097
--- /dev/null
+++ b/org.simantics.xml.sax.base/scl/xml/XMLDataTypes.scl
@@ -0,0 +1,48 @@
+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