Package com.hp.hpl.jena.sparql.expr

Examples of com.hp.hpl.jena.sparql.expr.Expr.visit()

49
50
51
52
53
54
55
56
57
58
59
  }
 
  public void testExprDistributiveABOrC() {
    Expr expr = ExprUtils.parse("(( ?a && ?b ) || ?c )");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertNotNull(apply.result());
    assertEquals("( ( ?a || ?c ) && ( ?b || ?c ) )", apply.result().toString());
  }

  public void testExprDistributiveCOrAB() {
View Full Code Here
57
58
59
60
61
62
63
64
65
66
67
  }

  public void testExprDistributiveCOrAB() {
    Expr expr = ExprUtils.parse("?c || ( ?a && ?b )");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertNotNull(apply.result());
    assertEquals("( ( ?c || ?a ) && ( ?c || ?b ) )", apply.result().toString());
  }

  public void testExprDistributiveAndDontChange() {
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
  }

  public void testExprDistributiveAndDontChange() {
    Expr expr = ExprUtils.parse("!(?a || ?b) && ?c");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertNotNull(apply.result());
    assertEquals("( ( ! ( ?a || ?b ) ) && ?c )", apply.result().toString());
  }
 
  public void testExprDistributiveOrComplex() {
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
  }
 
  public void testExprDistributiveOrComplex() {
    Expr expr = ExprUtils.parse("(?c || ( ?a && ?b )) || (?d && ?e)");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertNotNull(apply.result());
    assertEquals("( ( ( ( ?c || ?a ) || ?d ) && ( ( ?c || ?b ) || ?d ) ) && ( ( ( ?c || ?a ) || ?e ) && ( ( ?c || ?b ) || ?e ) ) )", apply.result().toString()); // correct
  }
 
  public void testExprDistributiveABC() {
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
  }
 
  public void testExprDistributiveABC() {
    Expr expr = ExprUtils.parse("(( ?a && ?b ) && ?c )");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertEquals("( ( ?a && ?b ) && ?c )", apply.result().toString());
  }
 
  public void testExprDistributiveUsingFunctions() {
    Expr expr = ExprUtils.parse("( ( ( ?n = 1 ) && bound(?pref) ) && bound(?n) )");
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
  }
 
  public void testExprDistributiveUsingFunctions() {
    Expr expr = ExprUtils.parse("( ( ( ?n = 1 ) && bound(?pref) ) && bound(?n) )");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertEquals("( ( ( ?n = 1 ) && bound(?pref) ) && bound(?n) )", apply.result().toString());
  }

  public void testDeMorganNotEqual() {
    Expr expr = ExprUtils.parse("?x != ?z");
View Full Code Here
95
96
97
98
99
100
101
102
103
104
  }

  public void testDeMorganNotEqual() {
    Expr expr = ExprUtils.parse("?x != ?z");
    DeMorganLawApplyer apply = new DeMorganLawApplyer();
    expr.visit(apply);
    assertNotNull(apply.result());
    assertEquals("( ?x != ?z )", apply.result().toString());
  }
}
View Full Code Here
129
130
131
132
133
134
135
136
137
138
139
                Expr expr = func.getArg(i) ;
                if ( expr == null )
                    break ;
                // endLine() ;
                out.print(' ') ;
                expr.visit(this) ;
            }
            out.print(")") ;
            out.decIndent() ;
        }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.