X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.layer0%2Fgraph%2FLayer0Values.pgraph;fp=bundles%2Forg.simantics.layer0%2Fgraph%2FLayer0Values.pgraph;h=16f01a7bebfba9553314e5f12cff27648a3470c8;hb=3850fec72035293b9a4ede780d01aedc5fbc9056;hp=c36cf60e56cffc6faf7d53cc1e7c10d2d0a3bd40;hpb=1e957fc9da518f3bef8a2c19cad72772087e1b6a;p=simantics%2Fplatform.git 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