]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.viewpoint.ontology/graph/ViewpointTests.pgraph
Migrated source code from Simantics SVN
[simantics/platform.git] / bundles / org.simantics.viewpoint.ontology / graph / ViewpointTests.pgraph
1 L0 = <http://www.simantics.org/Layer0-1.1>\r
2 VP = <http://www.simantics.org/Viewpoint-1.2>\r
3 \r
4 VP.HasInstanceOfTest <T VP.Test\r
5 VP.HasInstanceOfTest.IsInstanceOf <R L0.IsRelatedTo : L0.TotalFunction\r
6     L0.HasDomain VP.HasInstanceOfTest\r
7     L0.HasRange  L0.Type\r
8 \r
9 VP.HasStatementTest <T VP.Test\r
10 VP.HasStatementTest.HasRelation <R L0.IsRelatedTo : L0.TotalFunction\r
11     L0.HasDomain VP.HasStatementTest\r
12     L0.HasRange  L0.Relation\r
13     \r
14 VP.HasNegatedTest <T VP.Test\r
15 VP.HasNegatedTest.HasTest <R L0.IsRelatedTo : L0.TotalFunction\r
16     L0.HasDomain VP.HasNegatedTest\r
17     L0.HasRange  VP.Test\r
18 \r
19 VP.AndTest <T VP.Test\r
20     L0.HasDescription "A test that evaluates the conjunction of its child tests. Evaluates to true if the conjuction is empty."\r
21 VP.AndTest.HasTest <R L0.IsRelatedTo\r
22     L0.HasDomain VP.AndTest\r
23     L0.HasRange  VP.Test\r
24 \r
25 VP.OrTest <T VP.Test\r
26     L0.HasDescription "A test that evaluates the disjunction of its child tests. Evaluates to true if the disjunction is empty."\r
27 VP.OrTest.HasTest <R L0.IsRelatedTo\r
28     L0.HasDomain VP.OrTest\r
29     L0.HasRange  VP.Test\r
30 \r
31 VP.InstanceOfTest <T VP.Test\r
32     L0.HasDescription "A test that uses java instanceof to compare the input content against a specified class."\r
33     >-- VP.InstanceOfTest.bundleName --> L0.String <R L0.HasProperty : L0.TotalFunction\r
34     >-- VP.InstanceOfTest.className --> L0.String <R L0.HasProperty : L0.TotalFunction\r
35 \r
36 VP.FailTest <T VP.Test\r
37     L0.HasDescription "A test that is compatible with all content types and always fails, i.e. returns false."\r