X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.datatypes%2Fscl%2FSimantics%2FGUID.scl;fp=bundles%2Forg.simantics.datatypes%2Fscl%2FSimantics%2FGUID.scl;h=f87698d293adab8dc4b98d7845582327dee2a5e4;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=b6e3ede7922f832e1574bcfd9ba5f8d9e3a71347;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.datatypes/scl/Simantics/GUID.scl b/bundles/org.simantics.datatypes/scl/Simantics/GUID.scl index b6e3ede79..f87698d29 100644 --- a/bundles/org.simantics.datatypes/scl/Simantics/GUID.scl +++ b/bundles/org.simantics.datatypes/scl/Simantics/GUID.scl @@ -1,29 +1,29 @@ -import "Simantics/DB" -import "Simantics/Ontologies" - -importJava "org.simantics.datatypes.literal.GUID" where - - data GUID - -instance Show GUID where - show guid = guidIndexString guid - -importJava "org.simantics.datatypes.literal.GUID" where - @JavaName "BINDING" - guidBinding :: Binding a - @JavaName random - randomGUID :: GUID - @JavaName indexString - guidIndexString :: GUID -> String - -guidOf :: Resource -> GUID -guidOf res = relatedValue_ res L0.identifier guidBinding - -possibleGUIDOf :: Resource -> Maybe GUID -possibleGUIDOf res = possibleRelatedValue_ res L0.identifier guidBinding - -claimGUID :: Resource -> () -claimGUID res = do - match possibleGUIDOf res with - Nothing -> claimRelatedValueWithType_ res L0.identifier L0.GUID randomGUID guidBinding +import "Simantics/DB" +import "Simantics/Ontologies" + +importJava "org.simantics.datatypes.literal.GUID" where + + data GUID + +instance Show GUID where + show guid = guidIndexString guid + +importJava "org.simantics.datatypes.literal.GUID" where + @JavaName "BINDING" + guidBinding :: Binding a + @JavaName random + randomGUID :: GUID + @JavaName indexString + guidIndexString :: GUID -> String + +guidOf :: Resource -> GUID +guidOf res = relatedValue_ res L0.identifier guidBinding + +possibleGUIDOf :: Resource -> Maybe GUID +possibleGUIDOf res = possibleRelatedValue_ res L0.identifier guidBinding + +claimGUID :: Resource -> () +claimGUID res = do + match possibleGUIDOf res with + Nothing -> claimRelatedValueWithType_ res L0.identifier L0.GUID randomGUID guidBinding _ -> () \ No newline at end of file