bundles/org.simantics.issues.ontology/graph/Issue.pgraph

   1 // Converted from version 16895
   2 L0 = <http://www.simantics.org/Layer0-1.1>
   3 L0X = <http://www.simantics.org/Layer0X-1.1>
   4
   5 // Standard database structure
   6
   7 ISSUE = <http://www.simantics.org/Issue-1.2> : L0.Ontology
   8     @L0.new
   9     L0.HasResourceClass "org.simantics.issues.ontology.IssueResource"
  10
  11 ISSUE.Functions : L0.Library
  12
  13 ISSUE.IssueSourceType <T L0.Type
  14
  15 ISSUE.IssueSource <T L0.Entity : ISSUE.IssueSourceType
  16     @L0.tag ISSUE.IssueSource.Selected
  17     >-- ISSUE.IssueSource.HasConstraint --> L0.Constraint <R L0.DependsOn
  18     >-- ISSUE.IssueSource.Manages --> ISSUE.Issue <R L0.IsRelatedTo
  19       L0.InverseOf ISSUE.IssueSource.Manages.Inverse <R L0.IsRelatedTo
  20     >-- ISSUE.IssueSource.Selected --> ISSUE.IssueSource <R L0.IsRelatedTo
  21     >-- ISSUE.IssueSource.active ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
  22     @L0.assert  ISSUE.IssueSource.active true
  23
  24 ISSUE.ContinuousIssueSource <T ISSUE.IssueSource
  25     >-- ISSUE.ContinuousIssueSource.lastUpdateRevision --> L0.Long <R L0.HasProperty : L0.FunctionalRelation
  26
  27 ISSUE.Issue <T L0.Entity
  28     L0.HasDescription "A notification of specified severity about an issue in the model."
  29     >-- ISSUE.Issue.HasContext <R L0.IsRelatedTo
  30       L0.InverseOf ISSUE.Issue.HasContext.Inverse <R L0.IsRelatedTo
  31     >-- ISSUE.Issue.HasSeverity --> ISSUE.Severity <R L0.DependsOn : L0.FunctionalRelation
  32     >-- ISSUE.Issue.HasContexts --> L0.List <R L0.DependsOn
  33     >-- ISSUE.Issue.severity ==> "String" <R L0.HasProperty : L0.FunctionalRelation
  34     >-- ISSUE.Issue.resource ==> "String" <R L0.HasProperty : L0.FunctionalRelation
  35     >-- ISSUE.Issue.path ==> "String" <R L0.HasProperty : L0.FunctionalRelation
  36     >-- ISSUE.Issue.creationTime --> L0.String <R L0.HasProperty : L0.FunctionalRelation
  37     @L0.assert L0.HasDescription
  38       ISSUE.Functions.defaultDescription : L0.Function
  39         L0.HasValueType "String"
  40     @L0.assert ISSUE.Issue.severity
  41       ISSUE.Functions.standardIssueSeverity : L0.Function
  42         L0.HasValueType "String"
  43     @L0.assert ISSUE.Issue.resource
  44       ISSUE.Functions.standardIssueResource : L0.Function
  45         L0.HasValueType "String"
  46     @L0.assert ISSUE.Issue.path
  47       ISSUE.Functions.standardIssuePath : L0.Function
  48         L0.HasValueType "String"
  49
  50 ISSUE.UserIssue
  51     L0.HasDescription "A tag for marking issues as manually added, i.e. so called user issues."
  52     @L0.defTag
  53     @L0.symmetric
  54
  55 ISSUE.Hidden
  56     L0.HasDescription "A tag for marking issues hidden. This can be used as a hint for user interfaces."
  57     @L0.defTag
  58     @L0.symmetric
  59
  60 ISSUE.Resolved
  61     L0.HasDescription "A tag for marking issues as resolved."
  62     @L0.defTag
  63     @L0.symmetric
  64
  65 ISSUE.Severity <T L0.Value
  66     L0.HasDescription "The severity level of an issue"
  67     @L0.tag L0.Enumeration
  68     @L0.assert L0.ConvertsToValueWith
  69         L0.Functions.resourceAsValue
  70
  71 ISSUE.Severity.Note : ISSUE.Severity
  72     L0.HasDescription "These issues are markers for documentation purposes"
  73 ISSUE.Severity.Info : ISSUE.Severity
  74     L0.HasDescription "These issues are good to know information"
  75 ISSUE.Severity.Warning : ISSUE.Severity
  76     L0.HasDescription "These issues point out a possible error"
  77 ISSUE.Severity.Error : ISSUE.Severity
  78     L0.HasDescription "These issues indicate a severe issue which blocks calculation"
  79 ISSUE.Severity.Fatal : ISSUE.Severity
  80     L0.HasDescription "These issues indicate situations which should not occur in normal operation"
  81
  82 ISSUE.Sources : L0.Library
  83
  84 ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource
  85   >-- ISSUE.Sources.DependencyTracker.HasType --> L0.Entity <R L0.DependsOn  : L0.FunctionalRelation
  86   >-- ISSUE.Sources.DependencyTracker.HasSearchType --> L0.Entity <R L0.DependsOn
  87   >-- ISSUE.Sources.DependencyTracker.HasExtension --> L0.Function <R L0.DependsOn : L0.Function
  88   >-- ISSUE.Sources.DependencyTracker.HasBaseFunction --> L0.Function <R L0.DependsOn : L0.FunctionalRelation
  89   >-- ISSUE.Sources.DependencyTracker.HasConstraint --> L0.Constraint <R ISSUE.IssueSource.HasConstraint : L0.FunctionalRelation
  90   @L0.assert ISSUE.Sources.DependencyTracker.HasBaseFunction
  91     ISSUE.Functions.dependencyBaseRealizationFunction : L0.Function
  92
  93 ISSUE.Sources.ListeningDependencyTracker <T ISSUE.Sources.DependencyTracker
  94
  95 ISSUE.Sources.DependencyTracker.Issue <T ISSUE.Issue
  96   @L0.assert ISSUE.Issue.resource
  97     ISSUE.Functions.standardIssueResource
  98   @L0.assert ISSUE.Issue.path
  99     ISSUE.Functions.standardIssuePath
 100
 101 ISSUE.Sources.DependencyTracker.AnonymousIssue <T ISSUE.Sources.DependencyTracker.Issue
 102
 103 // IssueSource template
 104 ISSUE.constraint : L0.Template
 105     @template %type %constraint %source %validator %baseFunction
 106         %type
 107             L0.HasConstraint %constraint : L0.Constraint
 108                 L0.Constraint.Validator %validator
 109         %source <T ISSUE.Sources.DependencyTracker
 110             L0.Asserts _ : L0.Assertion
 111                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
 112                 L0.HasObject %type
 113             L0.Asserts _ : L0.Assertion
 114                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
 115                 L0.HasObject %constraint
 116             L0.Asserts _ : L0.Assertion
 117                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
 118                 L0.HasObject %baseFunction
 119
 120
 121 ISSUE.listeningConstraint3 : L0.Template
 122     @template %type %constraint %source %validator
 123         %type
 124             L0.HasConstraint %constraint : L0.Constraint
 125                 L0.Constraint.Validator %validator
 126         %source <T ISSUE.Sources.ListeningDependencyTracker
 127             L0.Asserts _ : L0.Assertion
 128                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
 129                 L0.HasObject %type
 130             L0.Asserts _ : L0.Assertion
 131                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
 132                 L0.HasObject %constraint
 133
 134 ISSUE.listeningConstraint : L0.Template
 135     @template %type %constraint %source %validator %baseFunction
 136         %type
 137             L0.HasConstraint %constraint : L0.Constraint
 138                 L0.Constraint.Validator %validator
 139         %source <T ISSUE.Sources.ListeningDependencyTracker
 140             L0.Asserts _ : L0.Assertion
 141                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
 142                 L0.HasObject %type
 143             L0.Asserts _ : L0.Assertion
 144                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
 145                 L0.HasObject %constraint
 146             L0.Asserts _ : L0.Assertion
 147                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
 148                 L0.HasObject %baseFunction
 149
 150 // Issue template
 151 ISSUE.issue : L0.Template
 152     @template %issue %severity %description
 153         %issue <T ISSUE.Sources.DependencyTracker.Issue
 154             L0.Asserts _ : L0.Assertion
 155                 L0.HasPredicate ISSUE.Issue.HasSeverity
 156                 L0.HasObject %severity
 157             L0.Asserts _ : L0.Assertion
 158                 L0.HasPredicate L0.HasDescription
 159                 L0.HasObject %description
 160
 161 ISSUE.anonymousIssue : L0.Template
 162     @template %issue %severity %description
 163         %issue <T ISSUE.Sources.DependencyTracker.AnonymousIssue
 164             L0.Asserts _ : L0.Assertion
 165                 L0.HasPredicate ISSUE.Issue.HasSeverity
 166                 L0.HasObject %severity
 167             L0.Asserts _ : L0.Assertion
 168                 L0.HasPredicate L0.HasDescription
 169                 L0.HasObject %description
 170
 171 ISSUE.assignConstraint : L0.Template
 172     @template %type %constraint %constraintType %source %sourceType
 173         %type
 174             L0.HasConstraint %constraint : %constraintType
 175         %source <T %sourceType
 176             L0.Asserts _ : L0.Assertion
 177                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
 178                 L0.HasObject %type
 179             L0.Asserts _ : L0.Assertion
 180                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
 181                 L0.HasObject %constraint
 182
 183