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