L0 = <http://www.simantics.org/Layer0-1.1>
L0X = <http://www.simantics.org/Layer0X-1.1>
STR = <http://www.simantics.org/Structural-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>
MOD = <http://www.simantics.org/Modeling-1.2>
ACT = <http://www.simantics.org/Action-1.1>

PRED = L0X.Predicate

//##########################################################################
//## Actions
//##########################################################################

MOD.NewMasterTypicalDiagram : ACT.Action
MOD.NewTypicalDiagramInstance : ACT.Action

//##########################################################################
//## Concepts
//##########################################################################

MOD.MasterTypicalCompositeType <T L0.Entity : MOD.TypeWithChangeInformation
    L0.HasDescription "Indicates the original template instance of a typical composite. This is for searching purposes to differetiate typical template instances from linked copies of the template."

MOD.TypicalComposite <T STR.Composite
    L0.HasDescription "All typical composite types must inherit this base type."
    >-- MOD.TypicalComposite.typicalNamingFunction --> L0.ExternalValue ==> "ReadGraph -> Resource -> Resource -> String -> String" <R L0.HasProperty : L0.FunctionalRelation

// For associating typical diagram source and instance structures with each other
MOD.HasDiagramSource <R L0.IsRelatedTo
    L0.InverseOf MOD.DiagramHasInstance <R L0.IsWeaklyRelatedTo
    <-- DIA.Diagram --> DIA.Diagram
MOD.HasElementSource <R L0.IsRelatedTo
    L0.InverseOf MOD.ElementHasInstance <R L0.IsWeaklyRelatedTo
    <-- DIA.Element --> DIA.Element

MOD.IsTemplatized
    L0.HasDescription "A tag for marking elements of typical diagram template instances as being controlled by the template. These tags are used to identify elements that still exist in the instance but no longer in the template."
    @L0.defTag
    @L0.symmetric

MOD.TypicalSynchronizationRule <T L0.Entity
    L0.HasDescription "These entities shall be adaptable to interface org.simantics.modeling.typicals.ITypicalSynchronizationRule. They can be attached to diagram elements."
    >-- MOD.TypicalSynchronizationRule.alwaysEnabled --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
        L0.HasDescription "When true, tells that a typical synchronization rule shall always be applied during synchronization and is not to be presented to the user for (de)selection."

MOD.HasTypicalSynchronizationRule <R L0.IsRelatedTo
    <-- DIA.Element
    --> MOD.TypicalSynchronizationRule

//##########################################################################
//## MOD.StructuralModel additions
//##########################################################################

// Add typical diagram support
MOD.StructuralModel
    // For creating new master typical diagrams
    >-- MOD.StructuralModel.HasTypicalCompositeBaseType --> L0.Type <R L0.IsRelatedTo : L0.FunctionalRelation
        L0.HasDescription """Defines the structural composite base type from which to inherit typical diagrams created in this type of model."""
    >-- MOD.StructuralModel.HasTypicalDiagramBaseType --> L0.Type <R L0.IsRelatedTo : L0.FunctionalRelation
        L0.HasDescription """Defines the structural diagram base type from which to inherit typical diagrams created in this type of model."""
    >-- MOD.StructuralModel.HasMasterTypicalCompositeType --> L0.Type <R L0.IsRelatedTo : L0.FunctionalRelation
        L0.HasDescription """Defines a secondary type that master typical composite shall inherit when created in this type of model. This type can be used for searching for all typical master diagrams."""
    >-- MOD.StructuralModel.CloneTypicalDiagramSymbolContributionsFrom --> L0.Type <R L0.IsRelatedTo
        L0.HasDescription """Defines diagram types to copy diagram symbol contributions from into newly created typical diagrams."""
    >-- MOD.StructuralModel.typicalInstantiationFunction --> L0.ExternalValue ==> "Resource -> Resource -> Resource" <R L0.HasProperty : L0.FunctionalRelation

    @L0.assert MOD.StructuralModel.HasTypicalCompositeBaseType MOD.TypicalComposite
    @L0.assert MOD.StructuralModel.HasMasterTypicalCompositeType MOD.MasterTypicalCompositeType
    @L0.assert MOD.StructuralModel.typicalInstantiationFunction MOD.Functions.standardTypicalInstantiator

MOD.Functions.standardTypicalInstantiator : L0.ExternalValue
    L0.HasDescription "See org.simantics.modeling.ui.functions.All.standardTypicalInstantiator"