L0 = <http://www.simantics.org/Layer0-1.1>
DIA = <http://www.simantics.org/Diagram-2.2>

DIA.SymbolContribution <T L0.Entity
    L0.HasDescription """Adds symbols to symbol library"""
    @L0.tag L0.Abstract

DIA.HasSymbolContribution <R L0.IsRelatedTo
    L0.HasDescription """Adds symbol contribution to Diagram"""
    //<-- DIA.Diagram
    --> DIA.SymbolContribution

DIA.IndexRootSymbolContribution <T DIA.SymbolContribution
    L0.HasDescription """Symbol contribution that searches for libraries from current index root"""

DIA.BasicSymbolContribution <T DIA.SymbolContribution
    L0.HasDescription """Symbol contribution that consists of specific libraries"""
    @L0.property DIA.BasicSymbolContributionHasSymbolLibrary

DIA.BasicSymbolContributionHasSymbolLibrary <R L0.IsRelatedTo
    <-- DIA.BasicSymbolContribution
    --> L0.Library
    --> DIA.SymbolReferenceLibrary

DIA.SymbolReferenceLibrary <T L0.Entity
    L0.HasDescription """An entitylibrary type for gathering symbols, i.e. DIA.ElementClass instances."""
    @L0.property DIA.HasSymbol
    //TODO [L0.ConsistsOf all SymbolReferenceLibrary]
    //TODO [L0.DependsOn all L0.Type]

DIA.HasSymbol <R L0.IsRelatedTo
    L0.InverseOf DIA.HasSymbol.Inverse <R L0.IsWeaklyRelatedTo
    <-- DIA.SymbolReferenceLibrary
    --> DIA.ElementClass

// For symbol library / symbol filter definition.
DIA.SymbolContributionFilter <T L0.Entity
    L0.HasDescription """A symbol contribution filter is used to check whether a symbol or a symbol contribution should be contributed.
It must be adaptable to class org.simantics.diagram.symbolcontribution.SymbolContributionFilter."""
DIA.HasSymbolContributionFilter --> DIA.SymbolContributionFilter <R L0.IsRelatedTo
    L0.HasDescription """Binds a symbol contribution filter to a symbol or a symbol contribution."""
    L0.InverseOf DIA.SymbolContributionFilterOf <R L0.IsRelatedTo

DIA.DenyFilter : DIA.SymbolContributionFilter
DIA.SCLFilter <T DIA.SymbolContributionFilter
    --> DIA.SCLFilter.filter ==> "Resource -> Resource -> Maybe Resource -> <ReadGraph> Boolean" <R L0.HasProperty : L0.TotalFunction