-// Converted from version 16895\r
-L0 = <http://www.simantics.org/Layer0-1.1>\r
-L0X = <http://www.simantics.org/Layer0X-1.1>\r
-\r
-// Standard database structure\r
-\r
-ISSUE = <http://www.simantics.org/Issue-1.2> : L0.Ontology\r
- @L0.new\r
- L0.HasResourceClass "org.simantics.issues.ontology.IssueResource"\r
-\r
-ISSUE.Functions : L0.Library\r
-
-ISSUE.IssueSourceType <T L0.Type\r
-\r
+// Converted from version 16895
+L0 = <http://www.simantics.org/Layer0-1.1>
+L0X = <http://www.simantics.org/Layer0X-1.1>
+
+// Standard database structure
+
+ISSUE = <http://www.simantics.org/Issue-1.2> : L0.Ontology
+ @L0.new
+ L0.HasResourceClass "org.simantics.issues.ontology.IssueResource"
+
+ISSUE.Functions : L0.Library
+
+ISSUE.IssueSourceType <T L0.Type
+
ISSUE.IssueSource <T L0.Entity : ISSUE.IssueSourceType
- @L0.tag ISSUE.IssueSource.Selected\r
- >-- ISSUE.IssueSource.HasConstraint --> L0.Constraint <R L0.DependsOn\r
- >-- ISSUE.IssueSource.Manages --> ISSUE.Issue <R L0.IsRelatedTo\r
- L0.InverseOf ISSUE.IssueSource.Manages.Inverse <R L0.IsRelatedTo\r
- >-- ISSUE.IssueSource.Selected --> ISSUE.IssueSource <R L0.IsRelatedTo\r
- >-- ISSUE.IssueSource.active ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation\r
- @L0.assert ISSUE.IssueSource.active true\r
- \r
-ISSUE.ContinuousIssueSource <T ISSUE.IssueSource\r
- >-- ISSUE.ContinuousIssueSource.lastUpdateRevision --> L0.Long <R L0.HasProperty : L0.FunctionalRelation\r
+ @L0.tag ISSUE.IssueSource.Selected
+ >-- ISSUE.IssueSource.HasConstraint --> L0.Constraint <R L0.DependsOn
+ >-- ISSUE.IssueSource.Manages --> ISSUE.Issue <R L0.IsRelatedTo
+ L0.InverseOf ISSUE.IssueSource.Manages.Inverse <R L0.IsRelatedTo
+ >-- ISSUE.IssueSource.Selected --> ISSUE.IssueSource <R L0.IsRelatedTo
+ >-- ISSUE.IssueSource.active ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
+ @L0.assert ISSUE.IssueSource.active true
+
+ISSUE.ContinuousIssueSource <T ISSUE.IssueSource
+ >-- ISSUE.ContinuousIssueSource.lastUpdateRevision --> L0.Long <R L0.HasProperty : L0.FunctionalRelation
+
+ISSUE.DynamicIssueSource <T ISSUE.IssueSource
+ 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."
+
+ISSUE.Issue.ContextList <T L0.List
+ @L0.assert L0.List.ElementPredicate
+ ISSUE.Issue.ContextList.Element <R L0.List.ElementWithInverse
ISSUE.Issue <T L0.Entity
L0.HasDescription "A notification of specified severity about an issue in the model."
- >-- ISSUE.Issue.HasContext <R L0.IsRelatedTo\r
- L0.InverseOf ISSUE.Issue.HasContext.Inverse <R L0.IsRelatedTo\r
- >-- ISSUE.Issue.HasSeverity --> ISSUE.Severity <R L0.DependsOn : L0.FunctionalRelation\r
- >-- ISSUE.Issue.HasContexts --> L0.List <R L0.DependsOn\r
- >-- ISSUE.Issue.severity ==> "String" <R L0.HasProperty : L0.FunctionalRelation\r
- >-- ISSUE.Issue.resource ==> "String" <R L0.HasProperty : L0.FunctionalRelation\r
- >-- ISSUE.Issue.path ==> "String" <R L0.HasProperty : L0.FunctionalRelation\r
- >-- ISSUE.Issue.creationTime --> L0.String <R L0.HasProperty : L0.FunctionalRelation\r
- @L0.assert L0.HasDescription \r
- ISSUE.Functions.defaultDescription : L0.Function\r
+ >-- ISSUE.Issue.HasContext <R L0.IsRelatedTo
+ L0.InverseOf ISSUE.Issue.HasContext.Inverse <R L0.IsRelatedTo
+ >-- ISSUE.Issue.HasSeverity --> ISSUE.Severity <R L0.DependsOn : L0.FunctionalRelation
+ >-- ISSUE.Issue.HasContexts --> ISSUE.Issue.ContextList <R L0.DependsOn
+ >-- ISSUE.Issue.contexts ==> "[Resource]" <R L0.HasProperty : L0.FunctionalRelation
+ >-- ISSUE.Issue.severity ==> "String" <R L0.HasProperty : L0.FunctionalRelation
+ >-- ISSUE.Issue.resource ==> "String" <R L0.HasProperty : L0.FunctionalRelation
+ >-- ISSUE.Issue.path ==> "String" <R L0.HasProperty : L0.FunctionalRelation
+ >-- ISSUE.Issue.creationTime --> L0.String <R L0.HasProperty : L0.FunctionalRelation
+ >-- ISSUE.Issue.hider ==> "Maybe (Boolean -> <WriteGraph> Boolean)" <R L0.HasProperty : L0.FunctionalRelation
+ >-- ISSUE.Issue.hidden ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
+ @L0.assert L0.HasDescription
+ ISSUE.Functions.defaultDescription : L0.Function
+ L0.HasValueType "String"
+ @L0.assert ISSUE.Issue.severity
+ ISSUE.Functions.standardIssueSeverity : L0.Function
+ L0.HasValueType "String"
+ @L0.assert ISSUE.Issue.resource
+ ISSUE.Functions.standardIssueResource : L0.Function
L0.HasValueType "String"
- @L0.assert ISSUE.Issue.severity\r
- ISSUE.Functions.standardIssueSeverity : L0.Function\r
- L0.HasValueType "String"\r
- @L0.assert ISSUE.Issue.resource \r
- ISSUE.Functions.standardIssueResource : L0.Function\r
- L0.HasValueType "String"\r
- @L0.assert ISSUE.Issue.path \r
- ISSUE.Functions.standardIssuePath : L0.Function\r
- L0.HasValueType "String"\r
-\r
-ISSUE.UserIssue\r
- L0.HasDescription "A tag for marking issues as manually added, i.e. so called user issues."\r
- @L0.defTag\r
- @L0.symmetric\r
-\r
-ISSUE.Hidden\r
- L0.HasDescription "A tag for marking issues hidden. This can be used as a hint for user interfaces."\r
- @L0.defTag\r
- @L0.symmetric\r
-\r
-ISSUE.Resolved\r
- L0.HasDescription "A tag for marking issues as resolved."\r
- @L0.defTag\r
- @L0.symmetric\r
+ @L0.assert ISSUE.Issue.path
+ ISSUE.Functions.standardIssuePath : L0.Function
+ L0.HasValueType "String"
+ @L0.assert ISSUE.Issue.contexts
+ ISSUE.Functions.standardIssueContexts : L0.Function
+ L0.HasValueType "[Resource]"
+ @L0.assert ISSUE.Issue.hider
+ ISSUE.Functions.standardIssueHider : L0.Function
+ L0.HasValueType "Maybe (Boolean -> <WriteGraph> Boolean)"
+ @L0.assert ISSUE.Issue.hidden
+ ISSUE.Functions.standardIssueHidden : L0.Function
+ L0.HasValueType "Boolean"
+
+ISSUE.UserIssue
+ L0.HasDescription "A tag for marking issues as manually added, i.e. so called user issues."
+ @L0.defTag
+ @L0.symmetric
+
+ISSUE.Hidden
+ L0.HasDescription "A tag for marking issues hidden. This can be used as a hint for user interfaces."
+ @L0.defTag
+ @L0.symmetric
+
+ISSUE.Resolved
+ L0.HasDescription "A tag for marking issues as resolved."
+ @L0.defTag
+ @L0.symmetric
ISSUE.Severity <T L0.Value
L0.HasDescription "The severity level of an issue"
- @L0.tag L0.Enumeration\r
- @L0.assert L0.ConvertsToValueWith\r
- L0.Functions.resourceAsValue\r
+ @L0.tag L0.Enumeration
+ @L0.assert L0.ConvertsToValueWith
+ L0.Functions.resourceAsValue
ISSUE.Severity.Note : ISSUE.Severity
L0.HasDescription "These issues are markers for documentation purposes"
ISSUE.Severity.Fatal : ISSUE.Severity
L0.HasDescription "These issues indicate situations which should not occur in normal operation"
-ISSUE.Sources : L0.Library\r
-\r
-ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource\r
- >-- ISSUE.Sources.DependencyTracker.HasType --> L0.Entity <R L0.DependsOn : L0.FunctionalRelation\r
- >-- ISSUE.Sources.DependencyTracker.HasSearchType --> L0.Entity <R L0.DependsOn\r
- >-- ISSUE.Sources.DependencyTracker.HasExtension --> L0.Function <R L0.DependsOn : L0.Function\r
- >-- ISSUE.Sources.DependencyTracker.HasBaseFunction --> L0.Function <R L0.DependsOn : L0.FunctionalRelation\r
- >-- ISSUE.Sources.DependencyTracker.HasConstraint --> L0.Constraint <R ISSUE.IssueSource.HasConstraint : L0.FunctionalRelation\r
- @L0.assert ISSUE.Sources.DependencyTracker.HasBaseFunction\r
- ISSUE.Functions.dependencyBaseRealizationFunction : L0.Function\r
- \r
-ISSUE.Sources.ListeningDependencyTracker <T ISSUE.Sources.DependencyTracker\r
- \r
-ISSUE.Sources.DependencyTracker.Issue <T ISSUE.Issue\r
- @L0.assert ISSUE.Issue.resource\r
- ISSUE.Functions.standardIssueResource\r
- @L0.assert ISSUE.Issue.path\r
- ISSUE.Functions.standardIssuePath\r
-\r
-ISSUE.Sources.DependencyTracker.AnonymousIssue <T ISSUE.Sources.DependencyTracker.Issue\r
-\r
-// IssueSource template\r
-ISSUE.constraint : L0.Template\r
- @template %type %constraint %source %validator %baseFunction\r
- %type\r
- L0.HasConstraint %constraint : L0.Constraint\r
- L0.Constraint.Validator %validator\r
- %source <T ISSUE.Sources.DependencyTracker\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType\r
- L0.HasObject %type\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint\r
- L0.HasObject %constraint \r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction\r
- L0.HasObject %baseFunction \r
- \r
-\r
-ISSUE.listeningConstraint3 : L0.Template\r
- @template %type %constraint %source %validator\r
- %type\r
- L0.HasConstraint %constraint : L0.Constraint\r
- L0.Constraint.Validator %validator\r
- %source <T ISSUE.Sources.ListeningDependencyTracker\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType\r
- L0.HasObject %type\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint\r
- L0.HasObject %constraint\r
-\r
-ISSUE.listeningConstraint : L0.Template\r
- @template %type %constraint %source %validator %baseFunction\r
- %type\r
- L0.HasConstraint %constraint : L0.Constraint\r
- L0.Constraint.Validator %validator\r
- %source <T ISSUE.Sources.ListeningDependencyTracker\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType\r
- L0.HasObject %type\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint\r
- L0.HasObject %constraint\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction\r
- L0.HasObject %baseFunction \r
-\r
-// Issue template\r
-ISSUE.issue : L0.Template\r
- @template %issue %severity %description\r
- %issue <T ISSUE.Sources.DependencyTracker.Issue\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Issue.HasSeverity\r
- L0.HasObject %severity\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate L0.HasDescription\r
- L0.HasObject %description\r
-\r
-ISSUE.anonymousIssue : L0.Template\r
- @template %issue %severity %description\r
- %issue <T ISSUE.Sources.DependencyTracker.AnonymousIssue\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Issue.HasSeverity\r
- L0.HasObject %severity\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate L0.HasDescription\r
- L0.HasObject %description\r
-\r
-ISSUE.assignConstraint : L0.Template\r
- @template %type %constraint %constraintType %source %sourceType\r
- %type\r
- L0.HasConstraint %constraint : %constraintType\r
- %source <T %sourceType\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType\r
- L0.HasObject %type\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint\r
- L0.HasObject %constraint\r
- \r
+ISSUE.Sources : L0.Library
+
+ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource
+ >-- ISSUE.Sources.DependencyTracker.HasType --> L0.Entity <R L0.DependsOn : L0.FunctionalRelation
+ >-- ISSUE.Sources.DependencyTracker.HasSearchType --> L0.Entity <R L0.DependsOn
+ >-- ISSUE.Sources.DependencyTracker.HasExtension --> L0.Function <R L0.DependsOn : L0.Function
+ >-- ISSUE.Sources.DependencyTracker.HasBaseFunction --> L0.Function <R L0.DependsOn : L0.FunctionalRelation
+ >-- ISSUE.Sources.DependencyTracker.HasConstraint --> L0.Constraint <R ISSUE.IssueSource.HasConstraint : L0.FunctionalRelation
+ @L0.assert ISSUE.Sources.DependencyTracker.HasBaseFunction
+ ISSUE.Functions.dependencyBaseRealizationFunction : L0.Function
+
+ISSUE.Sources.ListeningDependencyTracker <T ISSUE.Sources.DependencyTracker
+
+ISSUE.Sources.DependencyTracker.Issue <T ISSUE.Issue
+ @L0.assert ISSUE.Issue.resource
+ ISSUE.Functions.standardIssueResource
+ @L0.assert ISSUE.Issue.path
+ ISSUE.Functions.standardIssuePath
+
+ISSUE.Sources.DependencyTracker.AnonymousIssue <T ISSUE.Sources.DependencyTracker.Issue
+
+// IssueSource template
+ISSUE.constraint : L0.Template
+ @template %type %constraint %source %validator %baseFunction
+ %type
+ L0.HasConstraint %constraint : L0.Constraint
+ L0.Constraint.Validator %validator
+ %source <T ISSUE.Sources.DependencyTracker
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
+ L0.HasObject %type
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
+ L0.HasObject %constraint
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
+ L0.HasObject %baseFunction
+
+
+ISSUE.listeningConstraint3 : L0.Template
+ @template %type %constraint %source %validator
+ %type
+ L0.HasConstraint %constraint : L0.Constraint
+ L0.Constraint.Validator %validator
+ %source <T ISSUE.Sources.ListeningDependencyTracker
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
+ L0.HasObject %type
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
+ L0.HasObject %constraint
+
+ISSUE.listeningConstraint : L0.Template
+ @template %type %constraint %source %validator %baseFunction
+ %type
+ L0.HasConstraint %constraint : L0.Constraint
+ L0.Constraint.Validator %validator
+ %source <T ISSUE.Sources.ListeningDependencyTracker
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
+ L0.HasObject %type
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
+ L0.HasObject %constraint
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
+ L0.HasObject %baseFunction
+
+// Issue template
+ISSUE.issue : L0.Template
+ @template %issue %severity %description
+ %issue <T ISSUE.Sources.DependencyTracker.Issue
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Issue.HasSeverity
+ L0.HasObject %severity
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate L0.HasDescription
+ L0.HasObject %description
+
+ISSUE.anonymousIssue : L0.Template
+ @template %issue %severity %description
+ %issue <T ISSUE.Sources.DependencyTracker.AnonymousIssue
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Issue.HasSeverity
+ L0.HasObject %severity
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate L0.HasDescription
+ L0.HasObject %description
+
+ISSUE.assignConstraint : L0.Template
+ @template %type %constraint %constraintType %source %sourceType
+ %type
+ L0.HasConstraint %constraint : %constraintType
+ %source <T %sourceType
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
+ L0.HasObject %type
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
+ L0.HasObject %constraint
+
\ No newline at end of file
Code Review / simantics / platform.git / blobdiff