Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.viewpoint.ontology / graph / ViewpointTests.pgraph

diff --git a/bundles/org.simantics.viewpoint.ontology/graph/ViewpointTests.pgraph b/bundles/org.simantics.viewpoint.ontology/graph/ViewpointTests.pgraph
new file mode 100644 (file)
index 0000000..80cfc8c
--- /dev/null
+++ b/bundles/org.simantics.viewpoint.ontology/graph/ViewpointTests.pgraph
@@ -0,0 +1,37 @@
+L0 = <http://www.simantics.org/Layer0-1.1>\r
+VP = <http://www.simantics.org/Viewpoint-1.2>\r
+\r
+VP.HasInstanceOfTest <T VP.Test\r
+VP.HasInstanceOfTest.IsInstanceOf <R L0.IsRelatedTo : L0.TotalFunction\r
+    L0.HasDomain VP.HasInstanceOfTest\r
+    L0.HasRange  L0.Type\r
+\r
+VP.HasStatementTest <T VP.Test\r
+VP.HasStatementTest.HasRelation <R L0.IsRelatedTo : L0.TotalFunction\r
+    L0.HasDomain VP.HasStatementTest\r
+    L0.HasRange  L0.Relation\r
+    \r
+VP.HasNegatedTest <T VP.Test\r
+VP.HasNegatedTest.HasTest <R L0.IsRelatedTo : L0.TotalFunction\r
+    L0.HasDomain VP.HasNegatedTest\r
+    L0.HasRange  VP.Test\r
+\r
+VP.AndTest <T VP.Test\r
+    L0.HasDescription "A test that evaluates the conjunction of its child tests. Evaluates to true if the conjuction is empty."\r
+VP.AndTest.HasTest <R L0.IsRelatedTo\r
+    L0.HasDomain VP.AndTest\r
+    L0.HasRange  VP.Test\r
+\r
+VP.OrTest <T VP.Test\r
+    L0.HasDescription "A test that evaluates the disjunction of its child tests. Evaluates to true if the disjunction is empty."\r
+VP.OrTest.HasTest <R L0.IsRelatedTo\r
+    L0.HasDomain VP.OrTest\r
+    L0.HasRange  VP.Test\r
+\r
+VP.InstanceOfTest <T VP.Test\r
+    L0.HasDescription "A test that uses java instanceof to compare the input content against a specified class."\r
+    >-- VP.InstanceOfTest.bundleName --> L0.String <R L0.HasProperty : L0.TotalFunction\r
+    >-- VP.InstanceOfTest.className --> L0.String <R L0.HasProperty : L0.TotalFunction\r
+\r
+VP.FailTest <T VP.Test\r
+    L0.HasDescription "A test that is compatible with all content types and always fails, i.e. returns false."\r