X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.modeling.ontology%2Fgraph%2FModeling.pgraph;fp=bundles%2Forg.simantics.modeling.ontology%2Fgraph%2FModeling.pgraph;h=1bd459db5b94c296171b02414bfdda76aba4f170;hp=0000000000000000000000000000000000000000;hb=969bd23cab98a79ca9101af33334000879fb60c5;hpb=866dba5cd5a3929bbeae85991796acb212338a08

diff --git a/bundles/org.simantics.modeling.ontology/graph/Modeling.pgraph b/bundles/org.simantics.modeling.ontology/graph/Modeling.pgraph
new file mode 100644
index 000000000..1bd459db5
--- /dev/null
+++ b/bundles/org.simantics.modeling.ontology/graph/Modeling.pgraph
@@ -0,0 +1,505 @@
+L0 = <http://www.simantics.org/Layer0-1.1>
+L0X = <http://www.simantics.org/Layer0X-1.1>
+STR = <http://www.simantics.org/Structural-1.2>
+PROJ = <http://www.simantics.org/Project-1.2>
+G2D = <http://www.simantics.org/G2D-1.1>
+DIA = <http://www.simantics.org/Diagram-2.2>
+SIMU = <http://www.simantics.org/Simulation-1.1>
+DOC = <http://www.simantics.org/Document-1.2>
+ISSUE = <http://www.simantics.org/Issue-1.2>
+SG = <http://www.simantics.org/Scenegraph-1.1>
+VIEW = <http://www.simantics.org/Views-1.2>
+SEL = <http://www.simantics.org/SelectionView-1.2>
+VP = <http://www.simantics.org/Viewpoint-1.2>
+IMAGE = <http://www.simantics.org/Image2-1.2>
+SHEET = <http://www.simantics.org/Spreadsheet-1.2>
+
+PRED = L0X.Predicate
+
+MOD = <http://www.simantics.org/Modeling-1.2> : L0.Ontology
+    @L0.new
+    L0.HasResourceClass "org.simantics.modeling.ModelingResources"
+
+MOD.SCLMain : L0.SCLModule
+    L0.SCLModule.definition _ : L0.String
+      @L0.loadString "scl/SCLMain.scl"
+
+MOD.Functions : L0.Library
+
+//##########################################################################
+//## Concepts
+//##########################################################################
+
+MOD.StructuralModel <T SIMU.Model
+    >-- MOD.StructuralModel.HasComponentTypeSupertype --> STR.ComponentType <R L0.IsRelatedTo : L0.TotalFunction
+        L0.HasDescription """When a new component type is created, it inherits the type 
+specified by this relation. If unspecified, the new component type inherits STR.Component."""
+    >-- MOD.StructuralModel.HasDefaultComponentTypeName --> L0.String <R L0.HasProperty : L0.TotalFunction : SEL.GenericParameterType
+        L0.HasDescription """Specifies the name of a new component type. If the name is 
+already used, adds a large enough number after the name."""
+        L0.HasLabel "Default User Component Name"
+    >-- MOD.StructuralModel.HasComponentTypeSubstructureType --> STR.ComponentType <R L0.IsRelatedTo : L0.TotalFunction    
+        L0.HasDescription """Specifies the type of the substructure of a component type
+created to the model."""    
+    >-- MOD.StructuralModel.HasDefaultComponentTypeSymbol --> L0.Template <R L0.IsRelatedTo : L0.FunctionalRelation
+        L0.HasDescription """Specifies a template for a symbol that is created 
+by default for the new component type under the model."""
+    >-- MOD.StructuralModel.HasSymbolDiagramType --> L0.Type <R L0.IsRelatedTo : L0.FunctionalRelation
+
+    >-- MOD.StructuralModel.HasConfigurationType --> L0.Type <R L0.IsRelatedTo : L0.FunctionalRelation
+
+    @L0.assert MOD.StructuralModel.HasComponentTypeSupertype STR.Component
+    @L0.assert MOD.StructuralModel.HasDefaultComponentTypeName "NewUserComponent"
+    @L0.assert MOD.StructuralModel.HasComponentTypeSubstructureType STR.Composite
+    @L0.assert MOD.StructuralModel.HasConfigurationType STR.Composite
+
+MOD.SharedOntology <T L0.SharedOntology
+    @L0.tag L0.Abstract
+    @L0.assert MOD.StructuralModel.HasComponentTypeSupertype STR.Component
+    @L0.assert MOD.StructuralModel.HasDefaultComponentTypeName "NewUserComponent"
+    @L0.assert MOD.StructuralModel.HasComponentTypeSubstructureType STR.Composite
+    @L0.assert MOD.StructuralModel.HasConfigurationType STR.Composite
+    
+
+MOD.Encapsulable : PRED.Predicate
+MOD.Instantiable : PRED.Predicate
+MOD.HasCounterpart : PRED.Predicate
+
+MOD.Mapped <R L0.IsWeaklyRelatedTo : L0.Tag
+    L0.InverseOf MOD.Mapped
+MOD.MappedFromConnector <R MOD.Mapped
+    L0.InverseOf MOD.MappedFromConnector
+
+MOD.HasMappingTemplate <R L0X.HasTemplate
+
+MOD.BasicExpression <T L0.String
+
+MOD.Represents <R L0.IsWeaklyRelatedTo
+MOD.SymbolToComponentType <R L0.IsWeaklyRelatedTo
+    L0.InverseOf MOD.ComponentTypeToSymbol
+MOD.ComponentTypeToSymbol <R L0.IsWeaklyRelatedTo
+MOD.DiagramToComposite <R L0.IsWeaklyRelatedTo
+    L0.InverseOf MOD.CompositeToDiagram
+MOD.CompositeToDiagram <R L0.IsRelatedTo
+MOD.ElementToComponent <R L0.IsWeaklyRelatedTo : L0.FunctionalRelation
+    L0.InverseOf MOD.ComponentToElement
+MOD.ComponentToElement <R L0.IsWeaklyRelatedTo : L0.FunctionalRelation
+MOD.ConnectorToComponent <R L0.IsWeaklyRelatedTo
+    L0.InverseOf MOD.ComponentToConnector
+MOD.ComponentToConnector <R L0.IsWeaklyRelatedTo
+MOD.ConnectionToConnector <R L0.IsWeaklyRelatedTo
+    L0.InverseOf MOD.ConnectorToConnection <R L0.IsWeaklyRelatedTo
+MOD.MapsToConnection <R L0.IsWeaklyRelatedTo
+    L0.InverseOf MOD.ConnectionMapsTo
+MOD.ConnectionMapsTo <R L0.IsWeaklyRelatedTo
+MOD.DiagramConnectionToConnection <R MOD.MapsToConnection
+    L0.InverseOf MOD.ConnectionToDiagramConnection
+MOD.ConnectionToDiagramConnection <R MOD.ConnectionMapsTo
+MOD.DiagramConnectionToConnectionSpecial <R MOD.MapsToConnection
+    L0.InverseOf MOD.ConnectionToDiagramConnectionSpecial
+MOD.ConnectionToDiagramConnectionSpecial <R MOD.ConnectionMapsTo
+MOD.DiagramConnectionRelationToConnectionRelation <R L0.IsWeaklyRelatedTo
+    L0.InverseOf MOD.ConnectionRelationToDiagramConnectionRelation
+MOD.DiagramConnectionTypeToConnectionType  <R L0.IsWeaklyRelatedTo
+    L0.InverseOf MOD.ConnectionTypeToDiagramConnectionType  <R L0.IsWeaklyRelatedTo
+MOD.ConnectionRelationToDiagramConnectionRelation <R L0.IsWeaklyRelatedTo
+
+MOD.DiagramConnectionRelationToConnectionRelationB <R L0.IsWeaklyRelatedTo
+    L0.InverseOf MOD.ConnectionRelationToDiagramConnectionRelationB  <R L0.IsWeaklyRelatedTo
+MOD.DiagramConnectionRelationToConnectionRelationC <R L0.IsWeaklyRelatedTo
+    L0.InverseOf MOD.ConnectionRelationToDiagramConnectionRelationC  <R L0.IsWeaklyRelatedTo
+MOD.DiagramConnectionRelationToComponentType <R L0.IsWeaklyRelatedTo
+
+MOD.HasConnectionMappingSpecification <R L0.IsRelatedTo
+    L0.HasDomain DIA.Connector
+    L0.HasRange MOD.ConnectionMappingSpecification
+MOD.ConnectionTypeToConnectionMappingSpecification <R L0.IsRelatedTo
+    L0.HasDomain STR.ConnectionType
+    L0.HasRange MOD.ConnectionMappingSpecification
+MOD.ConnectionMappingSpecification <T L0.Entity
+    // MOD.DiagramConnectionRelationToConnectionRelationB
+    // MOD.DiagramConnectionRelationToConnectionRelationC
+    // MOD.DiagramConnectionRelationToComponentType
+MOD.ConnectionRelationToConnectionMappingSpecification <R L0.IsRelatedTo
+    L0.HasDomain DIA.Connector
+    L0.HasRange MOD.ConnectionMappingSpecification
+MOD.NeedsConnectionMappingSpecification <R L0.IsRelatedTo : L0.Tag : L0.FunctionalRelation
+    L0.HasDescription "Tells a connection relation that a diagram connection using it will require a DIA.Connector that has MOD.HasConnectionMappingSpecification statement attached to it if the used connection type has a MOD.ConnectionTypeToConnectionMappingSpecification specified. It guides connection creation."
+    L0.HasDomain STR.ConnectionRelation
+    L0.HasRange STR.ConnectionRelation
+
+MOD.ConnectionTypeToComponentType <R L0.IsWeaklyRelatedTo
+MOD.ConnectionTypeToConnectionRelation <R L0.IsWeaklyRelatedTo
+
+MOD.ConnectionRelationToTerminal <R L0.IsWeaklyRelatedTo : L0.FunctionalRelation
+
+MOD.DiagramToCompositeMapping <T L0X.Trigger
+MOD.ComponentTypeUpdater <T L0X.Trigger
+    L0.HasDescription """This trigger is used with component type configurations to keep the component type interface and symbol terminals in sync with the configuration."""
+
+MOD.ImpliesDiagramConnectionRelationType <R L0.IsRelatedTo
+    <-- STR.ConnectionRelation
+    --> L0.Type
+    L0.HasDescription """This relation indicates that a certain diagram connection relation type
+should be used together with a certain connection relation."""
+
+MOD.ReferenceElement <T DIA.Element
+    @L0.singleProperty MOD.HasParentComponent
+    @L0.singleProperty MOD.HasReferenceRelation
+MOD.HasParentComponent <R L0.IsWeaklyRelatedTo
+    L0.HasRange STR.Component
+    L0.InverseOf MOD.HasParentComponent.Inverse <R L0.IsWeaklyRelatedTo
+MOD.HasReferenceRelation <R L0.IsRelatedTo
+    L0.HasRange L0.Relation
+    L0.InverseOf MOD.HasReferenceRelation.Inverse <R L0.IsWeaklyRelatedTo
+    @L0.optionalProperty MOD.HasReferencedType
+MOD.HasReferencedType <R L0.IsRelatedTo
+    --> L0.Type
+
+MOD.TestTerminal <T DIA.DefinedElement <T DIA.Terminal
+    @L0.tag L0.Deprecated
+    STR.IsDefinedBy _ : DIA.Composite <R L0.IsRelatedTo
+        @L0.orderedSet
+            _ : DIA.SVGElement
+                G2D.HasSVGDocument """<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg xmlns="http://www.w3.org/2000/svg" overflow="visible" version="1.1"><g transform="translate(-0.0,-0.0)"><rect x="-0.5" y="-0.5" width="1.0" height="1.0" fill="rgb(255,102,0)" stroke="black" stroke-width="0.1"/></g></svg>"""
+
+//??
+MOD.WebmonVariable <T L0.OrderedSet
+
+MOD.HasModelQuery <R L0.IsRelatedTo
+    L0.HasDescription "For attaching so called query nodes to models in the model browser. The query nodes will be shown under the model sub-node Queries."
+    L0.HasRange L0.Entity
+
+MOD.HasBaseRules <R L0.IsRelatedTo
+    L0.HasRange STR.ModelingRules
+MOD.MappedModelingRules <T STR.ModelingRules
+    @L0.singleProperty MOD.HasBaseRules
+
+MOD.MappingSubgraphExtent : L0X.SubgraphExtent
+MOD.MappingSubgraphAdvisor : L0X.SubgraphAdvisor
+
+MOD.Documents : L0.Library
+
+MOD.Documents.IssueBinding : DOC.DocumentTypeBinding
+  DOC.DocumentTypeBinding.HasType ISSUE.Issue
+  DOC.DocumentTypeBinding.HasDocumentType MOD.Documents.IssueTemplate
+
+MOD.Documents.IssueTemplate <T DOC.Scenegraph.Composite
+  >-- MOD.Documents.IssueTemplate.UserContent <R L0.HasProperty : SG.LiftedPropertyRelation
+      --> DOC.WikiDocument.WikiText
+  @L0.assert MOD.Documents.IssueTemplate.UserContent "Some user-defined text about this issue"
+  @L0.assert SG.Node.children
+    _ : L0.List
+      @L0.list
+        MOD.Documents.IssueTemplate.Header : DOC.Scenegraph.Wiki
+          DOC.Scenegraph.Wiki.text MOD.Functions.issueDocumentHeader : L0.Function 
+        MOD.Documents.IssueTemplate.User : DOC.Scenegraph.Wiki
+          DOC.Scenegraph.Node.printInPDF true
+          DOC.Scenegraph.Wiki.text
+            @SG.lifted MOD.Documents.IssueTemplate.UserContent
+    
+MOD.HiddenComposite <R L0.IsRelatedTo : L0.Tag : L0.FunctionalRelation
+    L0.HasDomain STR.Composite
+
+// @since 1.25.0, 1.22.2
+MOD.GeneratesConnectionComponentInternally
+    @L0.defTag
+    L0.HasDomain STR.ConnectionRelation
+    L0.HasDescription "Indicates that a tagged connection relation will generate a component for the configuration connection internally."
+
+//##########################################################################
+//## Templates
+//##########################################################################
+
+MOD.HasModelingTemplate <R L0X.HasTemplate
+
+MOD.DiagramTemplate <T L0.Template
+    >-- MOD.DiagramTemplate.HasMappingType --> L0.Type <R L0.IsRelatedTo : L0.FunctionalRelation
+    @L0.assert MOD.DiagramTemplate.HasMappingType MOD.DiagramToCompositeMapping
+
+MOD.HasDiagramType <R L0.IsRelatedTo
+    L0.HasRange L0.Type
+    
+
+//##########################################################################
+//## UI
+//##########################################################################
+
+MOD.DependenciesView <T L0X.RelationView
+    @L0.assert L0.HasName "Dependencies"
+    @L0.assert L0X.AppliesRelation L0X.DependenciesRelation
+    @L0.assert L0X.HasBindingPattern "bfff"
+
+//##########################################################################
+//## Templates
+//##########################################################################
+
+MOD.defSymbol : L0.Template
+    @template %subject %label %componentType
+        %subject <T DIA.Element
+            MOD.SymbolToComponentType %componentType
+            L0.HasLabel %label
+
+MOD.terminal : L0.Template
+    @template %subject %parent %relation
+        %subject
+            DIA.HasConnectionPoint %relation 
+                <-- %parent
+
+MOD.terminalRelation : L0.Template
+    @template %subject %target
+        %subject <R STR.IsConnectedTo
+            MOD.DiagramConnectionRelationToConnectionRelation %target
+
+MOD.connection : L0.Template
+    @template %subject %relation
+        %subject 
+            >-- %relation
+            MOD.DiagramConnectionRelationToConnectionRelation %relation
+
+MOD.contextualHelpId ==> "String" <R L0.HasProperty : L0.FunctionalRelation
+
+MOD.convertedValue <R L0.HasProperty : L0.FunctionalRelation
+  L0.RequiresValueType "a"
+
+MOD.OntologyDependencies : PROJ.NamespaceRequirement
+    L0.HasDescription "Specifies the ontologies required by a modelling project."
+    PROJ.RequiresNamespace
+        "http://www.simantics.org/Layer0-1.1" : L0.URI
+        "http://www.simantics.org/Diagram-2.2" : L0.URI
+        "http://www.simantics.org/Modeling-1.2" : L0.URI
+        "http://www.simantics.org/SelectionView-1.2" : L0.URI
+
+MOD.ModelBrowser <T VIEW.Explorer
+    @L0.assert VIEW.Control.layoutData
+        _ : VIEW.GridLayout.GridData
+            VIEW.GridLayout.GridData.horizontalGrab true
+            VIEW.GridLayout.GridData.verticalGrab true
+    @L0.assert VIEW.Control.style
+        _ : VIEW.Control.Style
+            VIEW.Control.Style.HasConstant VIEW.Control.Style.Constant.Multi
+            VIEW.Control.Style.HasConstant VIEW.Control.Style.Constant.FullSelection
+    @L0.assert VIEW.Explorer.columns
+        _ : VIEW.Explorer.ColumnList
+            @L0.list
+                VIEW.SingleColumn
+    @L0.assert VIEW.Explorer.input MOD.Functions.projectSelection
+    @L0.assert VIEW.Explorer.columnsVisible false
+    @L0.assert VIEW.Explorer.displayFilter true
+    @L0.assert VIEW.Explorer.publishSelection true
+    @L0.assert VIEW.Explorer.persistor MOD.Functions.standardPersistor
+    @L0.assert VIEW.Explorer.browseContext
+        _ : VIEW.ResourceURI
+            VIEW.ResourceURI.HasResource PROJ.ProjectBrowseContext
+    @L0.assert VIEW.Explorer.contextMenuId "#ModelBrowserPopup"
+    @L0.assert VIEW.Explorer.uiContext "org.simantics.modeling.ui.modelBrowser"
+    @L0.assert VIEW.Explorer.useNodeBrowseContexts true
+    @L0.assert VIEW.Explorer.useNodeActionContexts true
+
+MOD.PlainModelBrowser : MOD.ModelBrowser
+
+MOD.MonitorValue <T STR.MonitorValue
+  @L0.assert L0.valueAccessor
+    MOD.Functions.monitorValueAccessor : L0.ExternalValue
+  @L0.assert L0.ConvertsToValueWith
+    MOD.Functions.sclValue : L0.ExternalValue
+  @L0.assert L0.SCLValue.environment
+    _ : L0.SCLValue.Environment
+      L0.SCLValue.Environment.moduleName "Simantics/All"
+      L0.SCLValue.Environment.namespace ""
+  @L0.assert L0.readOnly
+    MOD.Functions.monitorReadOnly : L0.Function
+
+MOD.SCLValue <T L0.SCLValue
+  @L0.assert L0.ConvertsToValueWith
+    MOD.Functions.sclValue : L0.ExternalValue
+  /*@L0.assert L0.SCLValue.environment
+    _ : L0.SCLValue.Environment
+      L0.SCLValue.Environment.moduleName "Simantics/All"
+      L0.SCLValue.Environment.namespace ""*/
+
+MOD.scl : L0.Template
+    @template %subject %property %expression %valueType
+        %subject
+            %property _ : MOD.SCLValue
+              L0.SCLValue.expression %expression
+              L0.HasValueType %valueType
+
+MOD.Functions.obtainedString : L0.Function
+  L0.HasValueType "String"
+
+MOD.Functions.obtainedDouble : L0.Function
+  L0.HasValueType "Double"
+
+MOD.Functions.obtainedBoolean : L0.Function
+  L0.HasValueType "Boolean"
+
+MOD.Functions.obtainedColor : L0.Function
+  L0.HasValueType "Color"
+    
+MOD.Functions.obtainedFormatter : L0.Function
+  L0.HasValueType "Formatter"
+
+MOD.Functions.obtainedVec2d : L0.Function
+  L0.HasValueType "Formatter"
+
+MOD.self <R L0.HasProperty : L0.FunctionalRelation
+
+//##########################################################################
+//## Source information modeling
+//##########################################################################
+
+MOD.SourceInformation <T L0.Entity
+    >-- MOD.SourceInformation.copiedFrom ==> "String" <R L0.HasProperty : L0.FunctionalRelation
+    >-- MOD.SourceInformation.copiedAtRevision --> L0.RevisionId <R L0.HasProperty : L0.FunctionalRelation
+MOD.HasSourceInformation --> MOD.SourceInformation <R L0.IsRelatedTo : L0.FunctionalRelation
+
+//##########################################################################
+//## Change information modeling
+//##########################################################################
+
+MOD.ChangeInformation <T L0.Literal
+    @L0.assert L0.HasDataType ${ createdBy : String, createdAt : Long, modifiedBy : String, modifiedAt : Long }
+
+MOD.Functions.modificationTimeTextLong : L0.Function
+    L0.HasValueType "String"
+
+MOD.ChangeInformation."n-createdBy" <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType
+    ==> "String"
+    L0.HasSubliteralPredicate.Inverse MOD.ChangeInformation    
+    L0.HasLabel "Author"
+    SEL.SortingName "1"
+    L0.readOnly true
+
+MOD.ChangeInformation."n-createdAt" <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType    
+    ==> "Long"
+    L0.HasSubliteralPredicate.Inverse MOD.ChangeInformation    
+    L0.HasLabel "Created At"
+    SEL.HasDisplayValue MOD.Functions.modificationTimeTextLong
+    SEL.SortingName "2"
+    L0.readOnly true
+
+MOD.ChangeInformation."n-modifiedBy" <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType    
+    ==> "String"
+    L0.HasSubliteralPredicate.Inverse MOD.ChangeInformation    
+    L0.HasLabel "Last Modified By"
+    SEL.SortingName "3"
+    L0.readOnly true
+
+MOD.ChangeInformation."n-modifiedAt" <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType    
+    ==> "Long"
+    L0.HasSubliteralPredicate.Inverse MOD.ChangeInformation    
+    L0.HasLabel "Last Modified At"
+    SEL.HasDisplayValue MOD.Functions.modificationTimeTextLong
+    SEL.SortingName "4"
+    L0.readOnly true
+
+MOD.changeInformation <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType
+    L0.HasLabel "Change Information"
+    --> MOD.ChangeInformation
+    SEL.HasDisplayValue ""
+    L0.readOnly true
+    SEL.canBeLifted false
+    SEL.HasStandardPropertyInfo MOD.SystemPropertyInfo
+
+MOD.TypeWithChangeInformation <T L0.Entity
+
+L0.HasName : SEL.GenericParameterType
+  SEL.HasDisplayValue _ : SEL.DisplayValue
+    L0.Literal.HasInputValidator MOD.Functions.nameInputValidator  : L0.Function
+
+L0.HasLabel : SEL.GenericParameterType
+L0X.HasGeneratedNamePrefix : SEL.GenericParameterType
+
+//MOD.HasNameBrowseContextContribution : VP.BrowseContextContribution
+//    VP.BrowseContextContribution.HasType L0.String
+//    VP.BrowseContextContribution.HasBrowseContext
+//      _ : VP.BrowseContext
+
+L0.SCLModule : MOD.TypeWithChangeInformation
+L0.Library : MOD.TypeWithChangeInformation
+SIMU.Model : MOD.TypeWithChangeInformation
+MOD.Subscription : MOD.TypeWithChangeInformation
+MOD.Subscription.Item : MOD.TypeWithChangeInformation
+SIMU.State : MOD.TypeWithChangeInformation
+ISSUE.Issue : MOD.TypeWithChangeInformation     
+DOC.Document : MOD.TypeWithChangeInformation
+SHEET.Book : MOD.TypeWithChangeInformation
+SHEET.Spreadsheet : MOD.TypeWithChangeInformation
+L0.Type  : MOD.TypeWithChangeInformation
+L0.Relation : MOD.TypeWithChangeInformation
+STR.ComponentType <T MOD.TypeWithChangeInformation
+
+L0.SCLModule : L0.TypeWithIdentifier
+L0.Type  : L0.TypeWithIdentifier
+L0.Relation : L0.TypeWithIdentifier
+L0.Library : L0.TypeWithIdentifier
+STR.ComponentType <T L0.TypeWithIdentifier
+
+MOD.PartialIC <T L0.Literal
+    //@L0.assert L0.HasDataType ${ values : Map( ( | ResourceRVIPart { role : |CHILD|PROPERTY, resource : Long(unit="resource") } | StringRVIPart { role : |CHILD|PROPERTY, string : String } ) [], Variant) }
+    @L0.assert L0.HasDataType ${ variants : ( ( | ResourceRVIPart { role : |CHILD|PROPERTY, resource : Long(unit="resource") } | StringRVIPart { role : |CHILD|PROPERTY, string : String } ) [] ) [], variants : Variant[] }
+
+MOD.SCLCommandSession <T L0.Entity
+    >-- MOD.SCLCommandSession.hasValue --> L0.Value <R L0.HasProperty : SEL.GenericParameterType
+    
+MOD.InitialCondition <T SIMU.State
+    >-- MOD.InitialCondition.sclState --> L0.ByteArray <R L0.HasProperty : L0.FunctionalRelation
+    >-- MOD.InitialCondition.HasSCLState --> MOD.SCLState <R L0.DependsOn
+
+MOD.SCLState <T L0.Entity
+    >-- MOD.SCLState.identifier --> L0.String <R L0.HasProperty : L0.FunctionalRelation
+    >-- MOD.SCLState.blob --> L0.ByteArray <R L0.HasProperty : L0.FunctionalRelation
+
+MOD.SCLQueryType <T STR.ComponentType
+
+MOD.SCLQuery : MOD.SCLQueryType <T STR.Component
+    >-- MOD.SCLQuery.values --> MOD.SCLQuery.Value <R L0.HasProperty : L0.FunctionalRelation
+    @L0.assert L0.domainChildren
+        MOD.Functions.queryChildMap : L0.ExternalValue
+
+MOD.SCLQuery.Value <T STR.SCLValue
+  @L0.assert L0.ConvertsToValueWith
+    MOD.Functions.queryValue : L0.ExternalValue
+    
+MOD.SystemPropertyInfo : SEL.StandardPropertyInfo
+  SEL.StandardPropertyInfo.CategoryName "System Properties"
+  SEL.StandardPropertyInfo.CategorySortingName "System Properties"
+  SEL.StandardPropertyInfo.IsHidden false
+
+MOD.UserDefinedPropertyInfo : SEL.StandardPropertyInfo
+  SEL.StandardPropertyInfo.CategoryName "User-defined Properties"
+  SEL.StandardPropertyInfo.CategorySortingName ""
+  SEL.StandardPropertyInfo.IsHidden false
+
+MOD.LifeCycleProcess <T L0.Entity
+  >-- MOD.LifeCycleProcess.load ==> "LifeCycleContext -> <Proc> ()" <R L0.HasProperty : L0.FunctionalRelation
+  >-- MOD.LifeCycleProcess.unload ==> "LifeCycleContext -> <Proc> ()" <R L0.HasProperty : L0.FunctionalRelation
+  
+MOD.DependencyTrackingProcess : MOD.LifeCycleProcess
+  @MOD.scl MOD.LifeCycleProcess.load
+    """\x -> trackDependencies"""
+    "LifeCycleContext -> <Proc> ()"
+  @MOD.scl MOD.LifeCycleProcess.unload
+    """\x -> untrackDependencies"""
+    "LifeCycleContext -> <Proc> ()"
+     
+
+MOD.EditorContribution <T L0.Entity
+  --> MOD.EditorContribution.canHandle ==> "Resource -> <ReadGraph> Boolean" <R L0.HasProperty : L0.FunctionalRelation 
+  --> MOD.EditorContribution.editorId --> L0.String <R L0.HasProperty : L0.FunctionalRelation 
+  --> MOD.EditorContribution.priority --> L0.Integer <R L0.HasProperty : L0.FunctionalRelation 
+  --> MOD.EditorContribution.HasImage --> IMAGE.Image <R L0.DependsOn : L0.FunctionalRelation 
+
+MOD.editorContribution : L0.Template
+    @template %subject %id %priority %image %canHandle
+        %subject : MOD.EditorContribution
+            MOD.EditorContribution.editorId %id
+            MOD.EditorContribution.priority %priority
+            MOD.EditorContribution.HasImage %image
+            MOD.EditorContribution.canHandle _ : MOD.SCLValue
+                L0.SCLValue.expression %canHandle
+                L0.HasValueType "Resource -> <ReadGraph> Boolean"
+                
+
+      
\ No newline at end of file