X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.layer0%2Fgraph%2FLayer0.pgraph;h=225a4f17ee79c075da4c75164749dec77de459dc;hp=482f606fcb77d838e8a5ae4067e209bfc6d1d691;hb=ec70c03d4ce3f68b71de5eeadce3d008620c5521;hpb=9acebe9584f8f2a78f0322b6e0e24438e7ceb984

diff --git a/bundles/org.simantics.layer0/graph/Layer0.pgraph b/bundles/org.simantics.layer0/graph/Layer0.pgraph
index 482f606fc..225a4f17e 100644
--- a/bundles/org.simantics.layer0/graph/Layer0.pgraph
+++ b/bundles/org.simantics.layer0/graph/Layer0.pgraph
@@ -22,9 +22,13 @@ L0.Entity : L0.Type
     >-- L0.identifier <R L0.HasProperty : L0.FunctionalRelation
         L0.HasLabel "Identifier"
         --> L0.GUID
+        ==> "GUID"
     >-- L0.typeURI <R L0.HasProperty : L0.FunctionalRelation
         L0.HasLabel "Type URI"
         --> L0.String
+    >-- L0.typeResource <R L0.HasProperty : L0.FunctionalRelation
+        L0.HasLabel "Type Resource"
+        ==> "Variable -> Resource -> <ReadGraph> Resource"
     >-- L0.HasComment --> L0.String <R L0.HasProperty
     >-- L0.ConsistsOf --> L0.Entity <R L0.IsComposedOf
         L0.InverseOf L0.PartOf : L0.FunctionalRelation
@@ -35,6 +39,15 @@ L0.Entity : L0.Type
     @L0.property L0.HasNext
     >-- L0.Entity.published --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
       L0.readOnly true
+    >-- L0.Entity.methods
+    @L0.assert L0.Entity.methods
+      _ : L0.Value
+    
+L0.Entity.methods ==> "StructuredProperty" <R L0.HasProperty : L0.FunctionalRelation
+  L0.domainProperties L0.Functions.methodsPropertyDomainProperties
+  
+L0.Entity.method <R L0.HasProperty : L0.FunctionalRelation
+    
 L0.Type <T L0.Entity
     L0.HasDescription "All types are instances of this type."
     >-- L0.Asserts --> L0.Assertion <R L0.IsComposedOf
@@ -46,6 +59,8 @@ L0.Type <T L0.Entity
     @L0.property L0.HasPropertyDefinition        
     @L0.property L0.Asserts
     @L0.property L0.Inherits
+    >-- L0.Type.instantiateUnder ==> "Resource -> Resource -> <WriteGraph> Resource" <R L0.HasMethod : L0.FunctionalRelation
+    @L0.assert L0.Type.instantiateUnder L0.Functions.defaultInstantiateUnder
 L0.Assertion <T L0.Entity
     L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."
     >-- L0.HasPredicate --> L0.Relation <R L0.IsRelatedTo : L0.TotalFunction
@@ -95,6 +110,9 @@ L0.HasProperty <R L0.IsComposedOf : L0.PropertyRelation
     L0.InverseOf L0.PropertyOf
     L0.HasRange L0.Value
     
+L0.HasMethod <R L0.DependsOn
+    L0.InverseOf L0.MethodOf
+    L0.HasRange L0.Value
     
 // Libraries
 L0.IndexRootType <T L0.Type