From: Antti Villberg Date: Tue, 30 Oct 2018 06:40:11 +0000 (+0200) Subject: Assertion template for L0.SCLValue X-Git-Tag: v1.43.0~136^2~307 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=refs%2Fchanges%2F78%2F2378%2F1;p=simantics%2Fplatform.git Assertion template for L0.SCLValue gitlab #167 Change-Id: Id70da776333c56e70516a3449bdbff03df18fa40 --- diff --git a/bundles/org.simantics.layer0/graph/Layer0Values.pgraph b/bundles/org.simantics.layer0/graph/Layer0Values.pgraph index c36cf60e5..16f01a7be 100644 --- a/bundles/org.simantics.layer0/graph/Layer0Values.pgraph +++ b/bundles/org.simantics.layer0/graph/Layer0Values.pgraph @@ -40,6 +40,15 @@ L0.scl : L0.Template L0.SCLValue.expression %expression L0.HasValueType %valueType +L0.sclAssertion : L0.Template + @template %type %property %expression %valueType + %type + L0.Asserts _ : L0.Assertion + L0.HasPredicate %property + L0.HasObject _ : L0.SCLValue + L0.SCLValue.expression %expression + L0.HasValueType %valueType + L0.SCLValue.Environment -- L0.SCLValue.Environment.moduleName --> L0.String -- L0.SCLValue.Environment.namespace --> L0.String