bundles/org.simantics.layer0/graph/Layer0Values.pgraph

   1 L0 = <http://www.simantics.org/Layer0-1.1>
   2
   3 L0.Value <T L0.Entity
   4
   5 L0.ExternalValue <T L0.Value
   6
   7 L0.ConvertsToValueWith <R L0.HasProperty : L0.FunctionalRelation
   8     <-- L0.Value
   9     --> L0.Entity
  10
  11 L0.HasValueType <R L0.HasProperty : L0.FunctionalRelation
  12     <-- L0.Value
  13     --> L0.String
  14
  15 L0.RequiresValueType <R L0.HasProperty : L0.FunctionalRelation
  16     <-- L0.Relation
  17     --> L0.String
  18
  19 L0.HasDefaultLiteralType <R L0.DependsOn : L0.FunctionalRelation
  20     <-- L0.Relation
  21     --> L0.Type
  22
  23 L0.HasSubliteralPredicate <R L0.DependsOn
  24
  25 L0.RVIContext <T L0.Entity
  26
  27 L0.SCLValue <T L0.Value : L0.SCLValueType
  28     @L0.tag L0.Abstract
  29     >-- L0.SCLValue.expression --> L0.String <R L0.HasProperty : L0.TotalFunction
  30     >-- L0.SCLValue.environment --> L0.SCLValue.Environment <R L0.IsRelatedTo : L0.TotalFunction
  31     @L0.assert L0.ConvertsToValueWith L0.Functions.sclValue
  32
  33 L0.SCLValueType <T L0.Entity
  34     >-- L0.SCLValueType.validator ==> "Variable -> <ReadGraph> String" <R L0.HasProperty
  35
  36 L0.scl : L0.Template
  37     @template %subject %property %expression %valueType
  38         %subject
  39             %property _ : L0.SCLValue
  40               L0.SCLValue.expression %expression
  41               L0.HasValueType %valueType
  42
  43 L0.sclAssertion : L0.Template
  44     @template %type %property %expression %valueType
  45         %type
  46             L0.Asserts _ : L0.Assertion
  47               L0.HasPredicate %property
  48               L0.HasObject _ : L0.SCLValue
  49                 L0.SCLValue.expression %expression
  50                 L0.HasValueType %valueType
  51
  52 L0.SCLValue.Environment <T L0.Entity
  53     >-- L0.SCLValue.Environment.moduleName --> L0.String <R L0.HasProperty : L0.TotalFunction
  54     >-- L0.SCLValue.Environment.namespace --> L0.String <R L0.HasProperty : L0.TotalFunction
  55     >-- L0.SCLValue.Environment.uses --> L0.SCLValue.Environment <R L0.IsRelatedTo
  56     @L0.assert L0.SCLValue.Environment.namespace ""
  57
  58 L0.Property <T L0.Value
  59     @L0.tag L0.Abstract
  60     @L0.tag L0.Deprecated
  61     @L0.assert L0.ConvertsToValueWith L0.Functions.composedPropertyValue