1 L0 = <http://www.simantics.org/Layer0-1.1>
\r
2 VP = <http://www.simantics.org/Viewpoint-1.2>
\r
4 VP.HasInstanceOfTest <T VP.Test
\r
5 VP.HasInstanceOfTest.IsInstanceOf <R L0.IsRelatedTo : L0.TotalFunction
\r
6 L0.HasDomain VP.HasInstanceOfTest
\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
14 VP.HasNegatedTest <T VP.Test
\r
15 VP.HasNegatedTest.HasTest <R L0.IsRelatedTo : L0.TotalFunction
\r
16 L0.HasDomain VP.HasNegatedTest
\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
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
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
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