X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.layer0%2Fgraph%2FLayer0Literals.pgraph;h=08f6f27a819de56191fa197ace79976618b194db;hb=15f274a205dabc11df9bf880291320fa5274e535;hp=862bba5a9312bde4bd5abf13cd841efedd3dea28;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.layer0/graph/Layer0Literals.pgraph b/bundles/org.simantics.layer0/graph/Layer0Literals.pgraph
index 862bba5a9..08f6f27a8 100644
--- a/bundles/org.simantics.layer0/graph/Layer0Literals.pgraph
+++ b/bundles/org.simantics.layer0/graph/Layer0Literals.pgraph
@@ -1,107 +1,109 @@
-L0 = <http://www.simantics.org/Layer0-1.1>
-
-L0.Literal <T L0.Value
-    >-- L0.HasDataType --> L0.DataType <R L0.HasProperty : L0.FunctionalRelation
-L0.DataType <T L0.Literal
-    @L0.assert L0.HasDataType $DataType
-
-L0.Boolean <T L0.Literal
-    @L0.assert L0.HasDataType $Boolean
-    @L0.assert L0.Literal.HasInputValidator
-      L0.Functions.booleanInputValidator
-    @L0.assert L0.HasValueType "Boolean"
-L0.Byte <T L0.Literal
-    @L0.assert L0.HasDataType $Byte
-    @L0.assert L0.Literal.HasInputValidator
-      L0.Functions.numberInputValidator
-    @L0.assert L0.HasValueType "Byte"
-L0.Integer <T L0.Literal
-    @L0.assert L0.HasDataType $Integer
-    @L0.assert L0.Literal.HasInputValidator
-      L0.Functions.numberInputValidator
-    @L0.assert L0.HasValueType "Integer"
-L0.Long <T L0.Literal
-    @L0.assert L0.HasDataType $Long
-    @L0.assert L0.Literal.HasInputValidator
-      L0.Functions.numberInputValidator
-    @L0.assert L0.HasValueType "Long"
-L0.Float <T L0.Literal
-    @L0.assert L0.HasDataType $Float
-    @L0.assert L0.Literal.HasInputValidator
-      L0.Functions.numberInputValidator
-    @L0.assert L0.HasValueType "Float" 
-L0.Double <T L0.Literal
-    @L0.assert L0.HasDataType $Double
-    @L0.assert L0.Literal.HasInputValidator
-      L0.Functions.numberInputValidator
-    @L0.assert L0.HasValueType "Double"
-L0.String <T L0.Literal /*<T L0X.StringAdapter*/
-    @L0.assert L0.HasDataType $String
-    @L0.assert L0.HasValueType "String"
-L0.BooleanArray <T L0.Literal
-    @L0.assert L0.HasDataType $(Boolean[])
-    @L0.assert L0.HasValueType "Vector Boolean"
-L0.ByteArray <T L0.Literal
-    @L0.assert L0.HasDataType $(Byte[])
-    @L0.assert L0.HasValueType "Vector Byte"
-L0.IntegerArray <T L0.Literal
-    @L0.assert L0.HasDataType $(Integer[])
-    @L0.assert L0.HasValueType "Vector Integer"
-L0.LongArray <T L0.Literal
-    @L0.assert L0.HasDataType $(Long[])
-    @L0.assert L0.HasValueType "Vector Long"
-L0.FloatArray <T L0.Literal
-    @L0.assert L0.HasDataType $(Float[])
-    @L0.assert L0.HasValueType "Vector Float"
-L0.DoubleArray <T L0.Literal
-    @L0.assert L0.HasDataType $(Double[])
-    @L0.assert L0.HasValueType "Vector Double"
-L0.StringArray <T L0.Literal
-    @L0.assert L0.HasDataType $(String[])
-    @L0.assert L0.HasValueType "Vector String"
-L0.VariantArray <T L0.Literal
-    @L0.assert L0.HasDataType $(Variant[])
-    @L0.assert L0.HasValueType "Vector Variant"
-L0.Variant <T L0.Literal
-    @L0.assert L0.HasDataType $Variant  
-L0.CardinalityRange <T L0.Literal
-    @L0.assert L0.HasDataType ${
-        min : Optional(Integer),
-        max : Optional(Integer)    
-    }
-L0.URI <T L0.String
-    L0.HasDescription """A Uniform Resource Identifier (URI) is just a unique string that uniquely identifies something, commonly a namespace. Sometimes they look like a URL that you could type into the address bar of your web browser, but it doesn't have to point to any physical resource on the web."""
-L0.RevisionId <T L0.Literal
-    @L0.assert L0.HasDataType $Long(unit="revision")
-    @L0.assert L0.HasValueType "Long"
-//L0.URL <T L0.URI
-//    L0.HasDescription """A Uniform Resource Locator (URL) is an URI which locates a resource on the web.""" 
-
-L0.RVI <T L0.Literal
-    @L0.assert L0.HasDataType ${ parts : ( | ResourceRVIPart { role : |CHILD|PROPERTY, resource : Long(unit="resource") } | StringRVIPart { role : |CHILD|PROPERTY, string : String } | GuidRVIPart { role : |CHILD|PROPERTY, guid : { mostSignificantPart : Long , leastSignificantPart : Long }  } ) [] }
-   
-// Constant literals   
-L0.True = true
-L0.False = false     
-//L0.EmptyString = ""
-
-L0.Cardinality0 = { max=0 } : L0.CardinalityRange
-L0.Cardinality1 = { min=1, max=1 } : L0.CardinalityRange
-L0.Cardinality2 = { min=2, max=2 } : L0.CardinalityRange
-L0.CardinalityAtMost1 = { max=1 } : L0.CardinalityRange
-L0.CardinalityAtLeast1 = { min=1 } : L0.CardinalityRange
-
-L0.Literal.HasInputValidator <R L0.HasProperty /*: L0X.ResourcePropertyRelation*/
-
-L0.Literal.BooleanValidator <T L0.Value
-L0.Literal.ByteValidator <T L0.Value
-L0.Literal.IntegerValidator <T L0.Value
-L0.Literal.LongValidator <T L0.Value
-L0.Literal.FloatValidator <T L0.Value
-L0.Literal.DoubleValidator <T L0.Value
-
-L0.GUID <T L0.Literal
-    @L0.assert L0.HasValueType "(Long,Long)"
-    @L0.assert L0.HasDataType ${ mostSigBits : Long, leastSigBits : Long }
-    
-L0.TypeWithIdentifier <T L0.Entity
+L0 = <http://www.simantics.org/Layer0-1.1>
+
+L0.Literal <T L0.Value
+    >-- L0.HasDataType --> L0.DataType <R L0.HasProperty : L0.FunctionalRelation
+L0.DataType <T L0.Literal
+    @L0.assert L0.HasDataType $DataType
+
+L0.Boolean <T L0.Literal
+    @L0.assert L0.HasDataType $Boolean
+    @L0.assert L0.Literal.HasInputValidator
+      L0.Functions.booleanInputValidator
+    @L0.assert L0.HasValueType "Boolean"
+L0.Byte <T L0.Literal
+    @L0.assert L0.HasDataType $Byte
+    @L0.assert L0.Literal.HasInputValidator
+      L0.Functions.numberInputValidator
+    @L0.assert L0.HasValueType "Byte"
+L0.Integer <T L0.Literal
+    @L0.assert L0.HasDataType $Integer
+    @L0.assert L0.Literal.HasInputValidator
+      L0.Functions.numberInputValidator
+    @L0.assert L0.HasValueType "Integer"
+L0.Long <T L0.Literal
+    @L0.assert L0.HasDataType $Long
+    @L0.assert L0.Literal.HasInputValidator
+      L0.Functions.numberInputValidator
+    @L0.assert L0.HasValueType "Long"
+L0.Float <T L0.Literal
+    @L0.assert L0.HasDataType $Float
+    @L0.assert L0.Literal.HasInputValidator
+      L0.Functions.numberInputValidator
+    @L0.assert L0.HasValueType "Float" 
+L0.Double <T L0.Literal
+    @L0.assert L0.HasDataType $Double
+    @L0.assert L0.Literal.HasInputValidator
+      L0.Functions.numberInputValidator
+    @L0.assert L0.HasValueType "Double"
+L0.String <T L0.Literal /*<T L0X.StringAdapter*/
+    @L0.assert L0.HasDataType $String
+    @L0.assert L0.HasValueType "String"
+L0.BooleanArray <T L0.Literal
+    @L0.assert L0.HasDataType $(Boolean[])
+    @L0.assert L0.HasValueType "Vector Boolean"
+L0.ByteArray <T L0.Literal
+    @L0.assert L0.HasDataType $(Byte[])
+    @L0.assert L0.HasValueType "Vector Byte"
+L0.IntegerArray <T L0.Literal
+    @L0.assert L0.HasDataType $(Integer[])
+    @L0.assert L0.HasValueType "Vector Integer"
+L0.LongArray <T L0.Literal
+    @L0.assert L0.HasDataType $(Long[])
+    @L0.assert L0.HasValueType "Vector Long"
+L0.FloatArray <T L0.Literal
+    @L0.assert L0.HasDataType $(Float[])
+    @L0.assert L0.HasValueType "Vector Float"
+L0.DoubleArray <T L0.Literal
+    @L0.assert L0.HasDataType $(Double[])
+    @L0.assert L0.HasValueType "Vector Double"
+L0.StringArray <T L0.Literal
+    @L0.assert L0.HasDataType $(String[])
+    @L0.assert L0.HasValueType "Vector String"
+L0.VariantArray <T L0.Literal
+    @L0.assert L0.HasDataType $(Variant[])
+    @L0.assert L0.HasValueType "Vector Variant"
+L0.Variant <T L0.Literal
+    @L0.assert L0.HasDataType $Variant  
+L0.CardinalityRange <T L0.Literal
+    @L0.assert L0.HasDataType ${
+        min : Optional(Integer),
+        max : Optional(Integer)    
+    }
+L0.URI <T L0.String
+    L0.HasDescription """A Uniform Resource Identifier (URI) is just a unique string that uniquely identifies something, commonly a namespace. Sometimes they look like a URL that you could type into the address bar of your web browser, but it doesn't have to point to any physical resource on the web."""
+L0.RevisionId <T L0.Literal
+    @L0.assert L0.HasDataType $Long(unit="revision")
+    @L0.assert L0.HasValueType "Long"
+//L0.URL <T L0.URI
+//    L0.HasDescription """A Uniform Resource Locator (URL) is an URI which locates a resource on the web.""" 
+
+L0.RVI <T L0.Literal
+    @L0.assert L0.HasDataType ${ parts : ( | ResourceRVIPart { role : |CHILD|PROPERTY, resource : Long(unit="resource") } | StringRVIPart { role : |CHILD|PROPERTY, string : String } | GuidRVIPart { role : |CHILD|PROPERTY, guid : { mostSignificantPart : Long , leastSignificantPart : Long }  } ) [] }
+
+L0.EmptyRVI = { parts = [] } : L0.RVI
+   
+// Constant literals   
+L0.True = true
+L0.False = false     
+//L0.EmptyString = ""
+
+L0.Cardinality0 = { max=0 } : L0.CardinalityRange
+L0.Cardinality1 = { min=1, max=1 } : L0.CardinalityRange
+L0.Cardinality2 = { min=2, max=2 } : L0.CardinalityRange
+L0.CardinalityAtMost1 = { max=1 } : L0.CardinalityRange
+L0.CardinalityAtLeast1 = { min=1 } : L0.CardinalityRange
+
+L0.Literal.HasInputValidator <R L0.HasProperty /*: L0X.ResourcePropertyRelation*/
+
+L0.Literal.BooleanValidator <T L0.Value
+L0.Literal.ByteValidator <T L0.Value
+L0.Literal.IntegerValidator <T L0.Value
+L0.Literal.LongValidator <T L0.Value
+L0.Literal.FloatValidator <T L0.Value
+L0.Literal.DoubleValidator <T L0.Value
+
+L0.GUID <T L0.Literal
+    @L0.assert L0.HasValueType "GUID"
+    @L0.assert L0.HasDataType ${ mostSigBits : Long, leastSigBits : Long }
+    
+L0.TypeWithIdentifier <T L0.Entity