bundles/org.simantics.viewpoint.ontology/graph/ViewpointTests.pgraph

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