X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.db%2Fscl%2FSimantics%2FDB.scl;h=ae092cfa8d62aafe6cd203d29e20e9a7f9885903;hp=02396067875b83abb5c4fc25e44b4841bb7e47e6;hb=4bf8562ab7cbb3747f9c5844a07469291d43e905;hpb=861a3da972d67bf5f0d246129c63f611922e03f0 diff --git a/bundles/org.simantics.scl.db/scl/Simantics/DB.scl b/bundles/org.simantics.scl.db/scl/Simantics/DB.scl index 023960678..ae092cfa8 100644 --- a/bundles/org.simantics.scl.db/scl/Simantics/DB.scl +++ b/bundles/org.simantics.scl.db/scl/Simantics/DB.scl @@ -11,31 +11,6 @@ effect WriteGraph "graph" "org.simantics.db.WriteGraph" -importJava "org.simantics.databoard.type.Datatype" where - data Datatype - @JavaName toString - showDatatype :: Datatype -> String - -instance Show Datatype where - show = showDatatype - -importJava "org.simantics.databoard.Bindings" where - @JavaName getBinding - datatypeBinding :: Datatype -> Binding Dynamic - -importJava "org.simantics.databoard.binding.mutable.Variant" where - @JavaName "" - createVariant_ :: Binding Dynamic -> Dynamic -> Variant - @JavaName "type" - variantDatatype :: Variant -> Datatype - -createVariant :: Datatype -> Dynamic -> Variant -createVariant dt v = createVariant_ (datatypeBinding dt) v - -importJava "org.simantics.databoard.Datatypes" where - @JavaName translate - translateDatatype :: String -> Datatype - importJava "org.simantics.db.Resource" where "A resource is a node in a semantic graph." data Resource @@ -47,21 +22,9 @@ importJava "org.simantics.db.Resource" where importJava "org.simantics.db.ReadGraph" where data ReadGraphX -importJava "java.lang.Object" where - @JavaName equals - resourceEquals :: Resource -> Resource -> Boolean - @JavaName hashCode - resourceHash :: Resource -> Integer - -instance Eq Resource where - (==) = resourceEquals - instance Ord Resource where compare a b = compare (resourceId a) (resourceId b) - -instance Hashable Resource where - hashP = hashP . resourceHash - + instance Show Resource where show r = "#" + show (resourceId r)