예제 #1
0
  static void testLocationOpInPredicate() {
    String query =
        "Edge(int a:0..100, (int b)). \n" + "Attr(int a,int b).\n" + "Attr(a,b) :- Edge(a,b).\n";
    Parser p = new Parser();
    TestAnalysis an;
    try {
      p.parse(query);
      an = new TestAnalysis(p);
      an.setDistributed();
      an.run();
      Assert.die("should not reach here");
    } catch (ParseException e) {
      /* expected */
    }

    query =
        "Edge(int a:0..100, (int b)). \n" + "Attr(int a,int b).\n" + "Attr(a, b) :- Edge(a, b).\n";
    p = new Parser();
    try {
      p.parse(query);
      an = new TestAnalysis(p);
      an.setDistributed();
      an.run();
      Assert.die("should not reach here");
    } catch (ParseException e) {
      /* expected */
    }
  }
예제 #2
0
파일: Rule.java 프로젝트: hangal/socialite
 public Set<Variable> getBodyVariables() {
   Set<Variable> vars = new LinkedHashSet<Variable>();
   for (Object o : getBody()) {
     if (o instanceof Predicate) {
       addVariablesForPredicate((Predicate) o, vars);
     } else if (o instanceof Expr) {
       addVariablesForExpr((Expr) o, vars);
     } else if (o instanceof Function) {
       addVariablesForFunc((Function) o, vars);
     } else {
       Assert.die("Unexpected type, o[" + o.getClass().getSimpleName() + "]");
     }
   }
   return vars;
 }
예제 #3
0
 static void testVarResolution2() {
   String simpleQuery =
       "Edge(int s,(int t)).\n"
           + "Foaf(int a,int b).\n"
           + "Foo(int a,int b).\n"
           + "Foaf(n1,n3) :- Foo(n1,n2), Edge(n2,n3), n4=	n5*(n2+1).\n";
   Parser p = new Parser(simpleQuery);
   p.parse();
   Analysis an = new Analysis(p);
   try {
     an.run();
     Assert.die("should not reach here!");
   } catch (Exception e) {
     /* pass */
   }
 }
예제 #4
0
  static void testIterColumn() {
    String query = "Foo(int a:iter, ApproxCount b). \n" + "Bar(int a, int b:iter). \n";

    Parser p = new Parser();
    p.parse(query);
    Analysis an = new Analysis(p);
    an.run();

    query =
        "Foo(int a:iter, int b). \n"
            + "Bar(int a, int b:iter). \n"
            + "Foo(0,b) :- b=10. "
            + "Foo(1,b) :- Foo(0, c), b=c+1.\n";
    p = new Parser();
    p.parse(query);
    an = new Analysis(p);
    an.run();

    query = "Baz(int a, String b, (int i:iterator)).\n";
    p = new Parser();
    try {
      p.parse(query);
      Assert.die("Expecting parse exception for nested iterator column");
    } catch (ParseException e) {
    }

    query =
        "Foo(int a:iter, int b). \n"
            + "Bar(int a, int b:iter). \n"
            + "Foo(1,b) :- Foo(0, c), b=c+1.\n";
    p = new Parser();
    p.parse(query);
    an = new Analysis(p);
    an.run();
    query = "Foo(2,b) :- Foo(1, c), b=c+1.\n";
    p.parse(query);
    an = new Analysis(p);
    an.run();
    List<Rule> rules = an.getRules();

    query = "Foo(3,b) :- Foo(2, c), b=c+1.\n";
    p.parse(query);
    an = new Analysis(p);
    an.run();
    rules = an.getRules();
  }