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