]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - bundles/org.simantics.layer0/graph/Layer0SCL.pgraph
Work in progress
[simantics/platform.git] / bundles / org.simantics.layer0 / graph / Layer0SCL.pgraph
index fcc74014dd52e0ec061c767f86e0b16ab26a223d..8d745a354dcfa7059363ec9c873b66d45b2b2f0b 100644 (file)
@@ -1,60 +1,75 @@
-L0 = <http://www.simantics.org/Layer0-1.1>\r
-\r
-L0.Functions : L0.Library\r
-\r
-L0.Function <T L0.Value\r
-    @L0.assert L0.ConvertsToValueWith L0.Functions.functionApplication\r
-\r
-// External values\r
-L0.Functions.entityLabel : L0.ExternalValue\r
-L0.Functions.listResources : L0.ExternalValue    \r
-L0.Functions.resourceAsValue : L0.ExternalValue    \r
-L0.Functions.functionApplication : L0.ExternalValue\r
-L0.Functions.computeExpression : L0.ExternalValue\r
-L0.Functions.composedPropertyValue : L0.ExternalValue\r
-\r
-L0.Functions.standardValueAccessor : L0.ExternalValue\r
-  L0.HasValueType "ValueAccessor"\r
-L0.Functions.standardChildDomainProperties : L0.ExternalValue\r
-  L0.HasValueType "VariableMap"\r
-L0.Functions.standardPropertyDomainProperties : L0.ExternalValue\r
-  L0.HasValueType "VariableMap"\r
-L0.Functions.standardChildDomainChildren : L0.ExternalValue\r
-  L0.HasValueType "VariableMap"\r
-L0.Functions.standardPropertyDomainChildren : L0.ExternalValue\r
-  L0.HasValueType "VariableMap"\r
-L0.Functions.standardClassifications : L0.Function\r
-  L0.HasValueType "[String]"\r
-\r
-L0.Functions.hasStandardResource : L0.Function\r
-  L0.HasValueType "Resource"\r
-\r
-L0.Functions.standardValidValue : L0.Function\r
-  L0.HasValueType "Boolean"\r
-L0.Functions.standardRequiredValue : L0.Function\r
-  L0.HasValueType "Boolean"\r
-L0.Functions.standardDefaultValue : L0.Function\r
-  L0.HasValueType "Boolean"\r
-L0.Functions.standardReadOnlyValue : L0.Function\r
-  L0.HasValueType "Boolean"\r
-L0.Functions.standardValidator : L0.Function\r
-  L0.HasValueType "StringInputValidator"\r
-\r
-// External values applied as functions\r
-L0.Functions.numberInputValidator : L0.Function\r
-L0.Functions.booleanInputValidator : L0.Function\r
-\r
-// Validators\r
-L0.Functions.relationValidator : L0.Function\r
-L0.Functions.propertyValidator : L0.Function\r
-L0.Functions.valueValidator : L0.Function\r
-L0.Functions.uriValidator : L0.Function\r
-L0.Functions.clusterValidator : L0.Function\r
-\r
-L0.SCLModule <T L0.Entity\r
-    >-- L0.SCLModule.definition --> L0.String <R L0.HasProperty : L0.TotalFunction\r
-    @L0.assert L0.SCLModule.definition ""\r
-\r
-L0.entityReplacer ==> "Resource -> Resource -> <WriteGraph> ()" <R L0.HasProperty : L0.FunctionalRelation\r
-    L0.HasDescription """Used for defining an SCL function that knows how to copy the contents from one entity instance to another when both instances are known to be of the same type.\r
-The first resource parameter is the source entity that will be used to replace the target entity which is defined by the second resource parameter."""\r
+L0 = <http://www.simantics.org/Layer0-1.1>
+
+L0.Functions : L0.Library
+
+// The logic of functionApplication assumes that the function is actually ExternalValue
+// but it is not since it would prevent it from being converted with functionApplication
+L0.Function <T L0.Value
+    @L0.assert L0.ConvertsToValueWith L0.Functions.functionApplication
+
+// External values
+L0.Functions.entityLabel : L0.ExternalValue
+L0.Functions.listResources : L0.ExternalValue    
+L0.Functions.resourceAsValue : L0.ExternalValue    
+L0.Functions.functionApplication : L0.ExternalValue
+L0.Functions.computeExpression : L0.ExternalValue
+L0.Functions.composedPropertyValue : L0.ExternalValue
+
+L0.Functions.standardValueAccessor : L0.ExternalValue
+  L0.HasValueType "ValueAccessor"
+L0.Functions.standardChildDomainProperties : L0.ExternalValue
+  L0.HasValueType "VariableMap"
+L0.Functions.standardPropertyDomainProperties : L0.ExternalValue
+  L0.HasValueType "VariableMap"
+L0.Functions.standardChildDomainChildren : L0.ExternalValue
+  L0.HasValueType "VariableMap"
+L0.Functions.standardPropertyDomainChildren : L0.ExternalValue
+  L0.HasValueType "VariableMap"
+L0.Functions.methodsPropertyDomainProperties : L0.ExternalValue
+  L0.HasValueType "VariableMap"
+L0.Functions.standardClassifications : L0.Function
+  L0.HasValueType "[String]"
+
+L0.Functions.hasStandardResource : L0.Function
+  L0.HasValueType "Resource"
+
+L0.Functions.standardValidValue : L0.Function
+  L0.HasValueType "Boolean"
+L0.Functions.standardRequiredValue : L0.Function
+  L0.HasValueType "Boolean"
+L0.Functions.standardDefaultValue : L0.Function
+  L0.HasValueType "Boolean"
+L0.Functions.standardReadOnlyValue : L0.Function
+  L0.HasValueType "Boolean"
+L0.Functions.standardValidator : L0.Function
+  L0.HasValueType "StringInputValidator"
+
+// External values applied as functions
+L0.Functions.numberInputValidator : L0.Function
+L0.Functions.booleanInputValidator : L0.Function
+
+// Validators
+L0.Functions.relationValidator : L0.Function
+L0.Functions.propertyValidator : L0.Function
+L0.Functions.valueValidator : L0.Function
+L0.Functions.uriValidator : L0.Function
+L0.Functions.clusterValidator : L0.Function
+
+L0.SCLModule <T L0.Entity
+    >-- L0.SCLModule.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
+    @L0.assert L0.SCLModule.definition ""
+
+L0.SCLScript <T L0.Entity
+    >-- L0.SCLScript.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
+    @L0.assert L0.SCLScript.definition ""
+
+L0.Ontology
+    >-- L0.Ontology.defaultLocalName --> L0.String <R L0.HasProperty : L0.TotalFunction
+    @L0.assert L0.Ontology.defaultLocalName ""
+
+L0.entityReplacer ==> "Resource -> Resource -> <WriteGraph> ()" <R L0.HasProperty : L0.FunctionalRelation
+    L0.HasDescription """Used for defining an SCL function that knows how to copy the contents from one entity instance to another when both instances are known to be of the same type.
+The first resource parameter is the source entity that will be used to replace the target entity which is defined by the second resource parameter."""
+
+L0.Functions.defaultInstantiateUnder : L0.Function
+    L0.HasValueType "Resource -> Resource -> <WriteGraph> Resource"