// Converted from version 16895
L0 = <http://www.simantics.org/Layer0-1.1>
L0X = <http://www.simantics.org/Layer0X-1.1>

// Standard database structure

ISSUE = <http://www.simantics.org/Issue-1.2> : L0.Ontology
    @L0.new
    L0.HasResourceClass "org.simantics.issues.ontology.IssueResource"

ISSUE.Functions : L0.Library

ISSUE.IssueSourceType <T L0.Type

ISSUE.IssueSource <T L0.Entity : ISSUE.IssueSourceType
    @L0.tag L0.Abstract
    @L0.tag ISSUE.IssueSource.Selected
    >-- ISSUE.IssueSource.HasConstraint --> L0.Constraint <R L0.DependsOn
    >-- ISSUE.IssueSource.Manages --> ISSUE.Issue <R L0.IsRelatedTo
      L0.InverseOf ISSUE.IssueSource.Manages.Inverse <R L0.IsRelatedTo
    >-- ISSUE.IssueSource.Selected --> ISSUE.IssueSource <R L0.IsRelatedTo
    >-- ISSUE.IssueSource.active ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
    @L0.assert  ISSUE.IssueSource.active true

ISSUE.ContinuousIssueSource <T ISSUE.IssueSource
    @L0.tag L0.Abstract
    >-- ISSUE.ContinuousIssueSource.lastUpdateRevision --> L0.Long <R L0.HasProperty : L0.FunctionalRelation

ISSUE.DynamicIssueSource <T ISSUE.IssueSource
    @L0.tag L0.Abstract
    L0.HasDescription "A dynamic issue source is a source that is browsed purely through the Variable interface to produce a single subtree to represent issues. The issues do not have to have a database resource representation backing them."

ISSUE.Issue.ContextList <T L0.List
    @L0.assert L0.List.ElementPredicate
      ISSUE.Issue.ContextList.Element <R L0.List.ElementWithInverse

ISSUE.Issue <T L0.Entity
    L0.HasDescription "A notification of specified severity about an issue in the model."
    >-- ISSUE.Issue.HasContext <R L0.IsRelatedTo
      L0.InverseOf ISSUE.Issue.HasContext.Inverse <R L0.IsRelatedTo
    >-- ISSUE.Issue.HasSeverity --> ISSUE.Severity <R L0.DependsOn : L0.FunctionalRelation
    >-- ISSUE.Issue.HasContexts --> ISSUE.Issue.ContextList <R L0.DependsOn
    >-- ISSUE.Issue.contexts ==> "[Resource]" <R L0.HasProperty : L0.FunctionalRelation
    >-- ISSUE.Issue.severity ==> "String" <R L0.HasProperty : L0.FunctionalRelation
    >-- ISSUE.Issue.resource ==> "String" <R L0.HasProperty : L0.FunctionalRelation
    >-- ISSUE.Issue.path ==> "String" <R L0.HasProperty : L0.FunctionalRelation
    >-- ISSUE.Issue.creationTime --> L0.String <R L0.HasProperty : L0.FunctionalRelation
    >-- ISSUE.Issue.hider ==> "Maybe (Boolean -> <WriteGraph> Boolean)" <R L0.HasProperty : L0.FunctionalRelation
    >-- ISSUE.Issue.hidden ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
    @L0.assert L0.HasDescription
      ISSUE.Functions.defaultDescription : L0.Function
        L0.HasValueType "String"
    @L0.assert ISSUE.Issue.severity
      ISSUE.Functions.standardIssueSeverity : L0.Function
        L0.HasValueType "String"
    @L0.assert ISSUE.Issue.resource
      ISSUE.Functions.standardIssueResource : L0.Function
        L0.HasValueType "String"
    @L0.assert ISSUE.Issue.path
      ISSUE.Functions.standardIssuePath : L0.Function
        L0.HasValueType "String"
    @L0.assert ISSUE.Issue.contexts
      ISSUE.Functions.standardIssueContexts : L0.Function
        L0.HasValueType "[Resource]"
    @L0.assert ISSUE.Issue.hider
      ISSUE.Functions.standardIssueHider : L0.Function
        L0.HasValueType "Maybe (Boolean -> <WriteGraph> Boolean)"
    @L0.assert ISSUE.Issue.hidden
      ISSUE.Functions.standardIssueHidden : L0.Function
        L0.HasValueType "Boolean"

ISSUE.UserIssue
    L0.HasDescription "A tag for marking issues as manually added, i.e. so called user issues."
    @L0.defTag
    @L0.symmetric

ISSUE.Hidden
    L0.HasDescription "A tag for marking issues hidden. This can be used as a hint for user interfaces."
    @L0.defTag
    @L0.symmetric

ISSUE.Resolved
    L0.HasDescription "A tag for marking issues as resolved."
    @L0.defTag
    @L0.symmetric

ISSUE.Severity <T L0.Value
    L0.HasDescription "The severity level of an issue"
    @L0.tag L0.Enumeration
    @L0.assert L0.ConvertsToValueWith
        L0.Functions.resourceAsValue

ISSUE.Severity.Note : ISSUE.Severity
    L0.HasDescription "These issues are markers for documentation purposes"
ISSUE.Severity.Info : ISSUE.Severity
    L0.HasDescription "These issues are good to know information"
ISSUE.Severity.Warning : ISSUE.Severity
    L0.HasDescription "These issues point out a possible error"
ISSUE.Severity.Error : ISSUE.Severity
    L0.HasDescription "These issues indicate a severe issue which blocks calculation"
ISSUE.Severity.Fatal : ISSUE.Severity
    L0.HasDescription "These issues indicate situations which should not occur in normal operation"

ISSUE.Sources : L0.Library

ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource
  @L0.tag L0.Abstract
  >-- ISSUE.Sources.DependencyTracker.HasType --> L0.Entity <R L0.DependsOn  : L0.FunctionalRelation
  >-- ISSUE.Sources.DependencyTracker.HasSearchType --> L0.Entity <R L0.DependsOn
  >-- ISSUE.Sources.DependencyTracker.HasExtension --> L0.Function <R L0.DependsOn : L0.Function
  >-- ISSUE.Sources.DependencyTracker.HasBaseFunction --> L0.Function <R L0.DependsOn : L0.FunctionalRelation
  >-- ISSUE.Sources.DependencyTracker.HasConstraint --> L0.Constraint <R ISSUE.IssueSource.HasConstraint : L0.FunctionalRelation
  @L0.assert ISSUE.Sources.DependencyTracker.HasBaseFunction
    ISSUE.Functions.dependencyBaseRealizationFunction : L0.Function

ISSUE.Sources.ListeningDependencyTracker <T ISSUE.Sources.DependencyTracker
  @L0.tag L0.Abstract

ISSUE.Sources.DependencyTracker.Issue <T ISSUE.Issue
  @L0.assert ISSUE.Issue.resource
    ISSUE.Functions.standardIssueResource
  @L0.assert ISSUE.Issue.path
    ISSUE.Functions.standardIssuePath

ISSUE.Sources.DependencyTracker.AnonymousIssue <T ISSUE.Sources.DependencyTracker.Issue

ISSUE.Sources.ConstraintIssueSource <T ISSUE.IssueSource
  @L0.tag L0.Abstract

// IssueSource template
ISSUE.constraint : L0.Template
    @template %type %constraint %source %validator %baseFunction
        %type
            L0.HasConstraint %constraint : L0.Constraint
                L0.Constraint.Validator %validator
        %source <T ISSUE.Sources.DependencyTracker
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
                L0.HasObject %type
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
                L0.HasObject %constraint
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
                L0.HasObject %baseFunction


ISSUE.listeningConstraint3 : L0.Template
    @template %type %constraint %source %validator
        %type
            L0.HasConstraint %constraint : L0.Constraint
                L0.Constraint.Validator %validator
        %source <T ISSUE.Sources.ListeningDependencyTracker
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
                L0.HasObject %type
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
                L0.HasObject %constraint

ISSUE.listeningConstraint : L0.Template
    @template %type %constraint %source %validator %baseFunction
        %type
            L0.HasConstraint %constraint : L0.Constraint
                L0.Constraint.Validator %validator
        %source <T ISSUE.Sources.ListeningDependencyTracker
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
                L0.HasObject %type
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
                L0.HasObject %constraint
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
                L0.HasObject %baseFunction

// Issue template
ISSUE.issue : L0.Template
    @template %issue %severity %description
        %issue <T ISSUE.Sources.DependencyTracker.Issue
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Issue.HasSeverity
                L0.HasObject %severity
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate L0.HasDescription
                L0.HasObject %description

ISSUE.anonymousIssue : L0.Template
    @template %issue %severity %description
        %issue <T ISSUE.Sources.DependencyTracker.AnonymousIssue
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Issue.HasSeverity
                L0.HasObject %severity
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate L0.HasDescription
                L0.HasObject %description

ISSUE.assignConstraint : L0.Template
    @template %type %constraint %constraintType %source %sourceType
        %type
            L0.HasConstraint %constraint : %constraintType
        %source <T %sourceType
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
                L0.HasObject %type
            L0.Asserts _ : L0.Assertion
                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
                L0.HasObject %constraint