L0 = <http://www.simantics.org/Layer0-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>
SEL = <http://www.simantics.org/SelectionView-1.2>

DIA.HasFlagType <R L0.IsRelatedTo : L0.FunctionalRelation
    L0.HasLabel "Flag Type"
    --> DIA.FlagType

DIA.FlagType <T L0.Property
    L0.HasDescription "Connection flag type (input or output)"
    @L0.tag L0.Enumeration
DIA.FlagType.InputFlag : DIA.FlagType
DIA.FlagType.OutputFlag : DIA.FlagType

DIA.FlagLabel <T L0.String
    L0.HasDescription "This specialized label type exists because we need to attach a custom StringModifier to it."

DIA.Flag <T DIA.DefinedElement
    L0.HasDescription "Flags are used on diagrams for cutting connections and continuing them elsewhere."
    @L0.singleProperty DIA.HasFlagType
    @L0.property DIA.ExternalFlag
    >-- DIA.Flag.HasIOTableBinding --> L0.String <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType
        L0.HasLabel "I/O Table Binding"
    >-- DIA.Flag.HasIOTableRowIndex --> L0.Integer <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType
        L0.HasLabel "I/O Table Row Index"
    @L0.assert DIA.Flag.HasIOTableRowIndex
        -1 : L0.Integer
    @L0.assert DIA.Flag.HasIOTableBinding
        "" : L0.String
    @L0.property DIA.FlagIsJoinedBy
    @L0.optionalProperty L0.HasLabel
    @L0.assert DIA.HasFlagType DIA.FlagType.InputFlag
    @L0.assert L0.HasLabel
        "" : DIA.FlagLabel
    STR.IsDefinedBy _ : DIA.Composite
        @L0.orderedSet
            DIA.Flag.Terminal : DIA.Terminal
                DIA.HasTransform [1,0,0,1,0,0] : G2D.Transform
                DIA.HasConnectionPoint DIA.Flag.ConnectionPoint
                    <-- DIA.Flag
    @L0.assert DIA.HasDynamicTransform
        DIA.Functions.flagTransform : L0.Function

DIA.Flag.ConnectionPoint <R STR.IsConnectedTo : L0.FunctionalRelation

DIA.ExternalFlag
    @L0.defTag 
    L0.HasDescription "Used for tagging flags as external flows. External flows cannot be continued on the same or other diagrams of the same model."
    <-- DIA.Flag
    --> DIA.Flag


DIA.JoinsFlag <R L0.IsRelatedTo 
    L0.InverseOf DIA.FlagIsJoinedBy <R L0.IsRelatedTo
        @L0.tag L0.SharedRange
        <-- DIA.Flag
        --> STR.ConnectionJoin

DIA.IsLiftedAs <R L0.IsRelatedTo : L0.FunctionalRelation
    <-- DIA.Flag
    --> STR.ConnectionRelation
    L0.InverseOf DIA.Lifts <R L0.IsRelatedTo : L0.FunctionalRelation


//// Preferences for labeling diagram flags

DIA.UsesLocalFlagLabelingScheme <R L0.IsRelatedTo

DIA.FlagLabelingScheme <T L0.Entity
    @L0.tag L0.Enumeration
DIA.FlagLabelingScheme.Alphabetical : DIA.FlagLabelingScheme
    L0.HasLabel "Alphabetical"
    L0.HasDescription "Alphabetical labeling scheme. A, B; C, ..., X, Y, Z, AA, AB, AC, ..."
DIA.FlagLabelingScheme.Numeric : DIA.FlagLabelingScheme
    L0.HasLabel "Numeric"
    L0.HasDescription "Numeric labeling scheme. 1, 2, 3, ..."