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

diff --git a/bundles/org.simantics.layer0/graph/Layer0.pgraph b/bundles/org.simantics.layer0/graph/Layer0.pgraph
index 482f606fc..ec2048acb 100644
--- a/bundles/org.simantics.layer0/graph/Layer0.pgraph
+++ b/bundles/org.simantics.layer0/graph/Layer0.pgraph
@@ -35,6 +35,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 --> L0.Value <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 +55,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 +106,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