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

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