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