]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - bundles/org.simantics.scl.db/scl/Simantics/DB.scl
Merge "Ensure GetElementClassRequest is not constructed without elementFactory"
[simantics/platform.git] / bundles / org.simantics.scl.db / scl / Simantics / DB.scl
index 02396067875b83abb5c4fc25e44b4841bb7e47e6..ae092cfa8d62aafe6cd203d29e20e9a7f9885903 100644 (file)
@@ -11,31 +11,6 @@ effect WriteGraph
     "graph"\r
     "org.simantics.db.WriteGraph"\r
     \r
-importJava "org.simantics.databoard.type.Datatype" where\r
-    data Datatype\r
-    @JavaName toString\r
-    showDatatype :: Datatype -> String\r
-\r
-instance Show Datatype where\r
-    show = showDatatype\r
-\r
-importJava "org.simantics.databoard.Bindings" where\r
-    @JavaName getBinding    \r
-    datatypeBinding :: Datatype -> Binding Dynamic\r
-\r
-importJava "org.simantics.databoard.binding.mutable.Variant" where\r
-    @JavaName "<init>"\r
-    createVariant_ :: Binding Dynamic -> Dynamic -> Variant\r
-    @JavaName "type"\r
-    variantDatatype :: Variant -> Datatype\r
-\r
-createVariant :: Datatype -> Dynamic -> Variant\r
-createVariant dt v = createVariant_ (datatypeBinding dt) v\r
-\r
-importJava "org.simantics.databoard.Datatypes" where\r
-    @JavaName translate\r
-    translateDatatype :: String -> Datatype\r
-\r
 importJava "org.simantics.db.Resource" where\r
     "A resource is a node in a semantic graph."\r
     data Resource\r
@@ -47,21 +22,9 @@ importJava "org.simantics.db.Resource" where
 importJava "org.simantics.db.ReadGraph" where\r
     data ReadGraphX\r
     \r
-importJava "java.lang.Object" where    \r
-    @JavaName equals\r
-    resourceEquals :: Resource -> Resource -> Boolean\r
-    @JavaName hashCode\r
-    resourceHash :: Resource -> Integer\r
-\r
-instance Eq Resource where\r
-    (==) = resourceEquals\r
-\r
 instance Ord Resource where\r
     compare a b = compare (resourceId a) (resourceId b)\r
-    \r
-instance Hashable Resource where\r
-    hashP = hashP . resourceHash\r
-    \r
+  \r
 instance Show Resource where\r
     show r = "#" + show (resourceId r)\r
 \r