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