[Mulgara-svn] r1616 - branches/consistency/src/jar/content-rlog/java/org/mulgara/krule/rlog/ast
pag at mulgara.org
pag at mulgara.org
Tue Mar 17 19:50:44 UTC 2009
Author: pag
Date: 2009-03-17 12:50:43 -0700 (Tue, 17 Mar 2009)
New Revision: 1616
Modified:
branches/consistency/src/jar/content-rlog/java/org/mulgara/krule/rlog/ast/CanonicalPredicateTest.java
Log:
Now handling new toString methods from the tested data
Modified: branches/consistency/src/jar/content-rlog/java/org/mulgara/krule/rlog/ast/CanonicalPredicateTest.java
===================================================================
--- branches/consistency/src/jar/content-rlog/java/org/mulgara/krule/rlog/ast/CanonicalPredicateTest.java 2009-03-17 19:49:59 UTC (rev 1615)
+++ branches/consistency/src/jar/content-rlog/java/org/mulgara/krule/rlog/ast/CanonicalPredicateTest.java 2009-03-17 19:50:43 UTC (rev 1616)
@@ -72,9 +72,9 @@
BPredicateLabel label = new BPredicateLiteral("foo", "pred", context);
Predicate p = new BPredicate(label, left, right, context);
CanonicalPredicate cp = p.getCanonical();
- assertEquals("[foo:bar, foo:pred, foo:baz]", cp.toString());
+ assertEquals("foo:pred(foo:bar, foo:baz)", cp.toString());
cp.invert();
- assertEquals("~[foo:bar, foo:pred, foo:baz]", cp.toString());
+ assertEquals("~foo:pred(foo:bar, foo:baz)", cp.toString());
}
/**
@@ -87,9 +87,9 @@
TypeLabel label = new TypeLiteral("foo", "Type", context);
Predicate p = new TypeStatement(label, left, context);
CanonicalPredicate cp = p.getCanonical();
- assertEquals("[foo:Type, foo:bar]", cp.toString());
+ assertEquals("foo:Type(foo:bar)", cp.toString());
cp.invert();
- assertEquals("~[foo:Type, foo:bar]", cp.toString());
+ assertEquals("~foo:Type(foo:bar)", cp.toString());
}
/**
@@ -103,26 +103,26 @@
BPredicateLabel label = new BPredicateLiteral("foo", "pred", context);
Predicate p = new BPredicate(label, left, right, context);
CanonicalPredicate cp = p.getCanonical();
- assertEquals("[foo:bar, foo:pred, ?X]", cp.toString());
+ assertEquals("foo:pred(foo:bar, ?X)", cp.toString());
VariableCanonicalizer con = new VariableCanonicalizer();
cp.renameVariables(con);
- assertEquals("[foo:bar, foo:pred, ?V1]", cp.toString());
+ assertEquals("foo:pred(foo:bar, ?V1)", cp.toString());
left = new Variable("A");
right = new Variable("B");
label = new Variable("C");
p = new BPredicate(label, left, right, context);
cp = p.getCanonical();
- assertEquals("[?A, ?C, ?B]", cp.toString());
+ assertEquals("?C(?A, ?B)", cp.toString());
con = new VariableCanonicalizer();
cp.renameVariables(con);
- assertEquals("[?V1, ?V2, ?V3]", cp.toString());
+ assertEquals("?V2(?V1, ?V3)", cp.toString());
cp.renameVariables(con);
- assertEquals("[?V4, ?V5, ?V6]", cp.toString());
+ assertEquals("?V5(?V4, ?V6)", cp.toString());
cp = p.getCanonical();
cp.renameVariables(con);
- assertEquals("[?V1, ?V2, ?V3]", cp.toString());
+ assertEquals("?V2(?V1, ?V3)", cp.toString());
}
/**
@@ -135,26 +135,26 @@
TypeLabel label = new Variable("X");
Predicate p = new TypeStatement(label, left, context);
CanonicalPredicate cp = p.getCanonical();
- assertEquals("[?X, foo:bar]", cp.toString());
+ assertEquals("?X(foo:bar)", cp.toString());
VariableCanonicalizer con = new VariableCanonicalizer();
cp.renameVariables(con);
- assertEquals("[?V1, foo:bar]", cp.toString());
+ assertEquals("?V1(foo:bar)", cp.toString());
left = new Variable("B");
label = new Variable("A");
p = new TypeStatement(label, left, context);
cp = p.getCanonical();
- assertEquals("[?A, ?B]", cp.toString());
+ assertEquals("?A(?B)", cp.toString());
con = new VariableCanonicalizer();
cp.renameVariables(con);
- assertEquals("[?V1, ?V2]", cp.toString());
+ assertEquals("?V1(?V2)", cp.toString());
cp.renameVariables(con);
- assertEquals("[?V3, ?V4]", cp.toString());
+ assertEquals("?V3(?V4)", cp.toString());
cp = p.getCanonical();
cp.renameVariables(con);
- assertEquals("[?V1, ?V2]", cp.toString());
+ assertEquals("?V1(?V2)", cp.toString());
}
/**
@@ -169,7 +169,7 @@
CanonicalPredicate cp = p.getCanonical();
VariableCanonicalizer con = new VariableCanonicalizer();
cp.renameVariables(con);
- assertEquals("[?V1, foo:bar]", cp.toString());
+ assertEquals("?V1(foo:bar)", cp.toString());
Predicate p2 = new TypeStatement(new Variable("V1"), left, context);
assertNotSame(p, p2);
More information about the Mulgara-svn
mailing list