[jboss-svn-commits] JBL Code SVN: r19915 - labs/jbossrules/branches/parser-rewrite/drools-compiler/src/test/java/org/drools/lang.
jboss-svn-commits at lists.jboss.org
jboss-svn-commits at lists.jboss.org
Thu May 8 17:19:06 EDT 2008
Author: porcelli
Date: 2008-05-08 17:19:05 -0400 (Thu, 08 May 2008)
New Revision: 19915
Modified:
labs/jbossrules/branches/parser-rewrite/drools-compiler/src/test/java/org/drools/lang/TestNewDRL.java
labs/jbossrules/branches/parser-rewrite/drools-compiler/src/test/java/org/drools/lang/gUnitTest.testsuite
Log:
Small change on generated Tree structure.
Removed the VT_QUALIFIED_ID to VT_DATA_TYPE
Modified: labs/jbossrules/branches/parser-rewrite/drools-compiler/src/test/java/org/drools/lang/TestNewDRL.java
===================================================================
--- labs/jbossrules/branches/parser-rewrite/drools-compiler/src/test/java/org/drools/lang/TestNewDRL.java 2008-05-08 21:16:04 UTC (rev 19914)
+++ labs/jbossrules/branches/parser-rewrite/drools-compiler/src/test/java/org/drools/lang/TestNewDRL.java 2008-05-08 21:19:05 UTC (rev 19915)
@@ -23,7 +23,7 @@
// test input: " $id : Something( duration == \"foo\") "
Object retval = execParser("normal_lhs_block", " $id : Something( duration == \"foo\") ", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $id (VT_FACT (VT_QUALIFIED_ID Something) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT duration)) (== \"foo\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $id (VT_FACT (VT_DATA_TYPE Something) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT duration)) (== \"foo\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -41,7 +41,7 @@
// test input: "\n\tCheese(name == \"Stilton\", age==2001)\n\tWine(name == \"Grange\", age == \"1978\", accolades contains \"world champion\")\n\t"
Object retval = execParser("normal_lhs_block", "\n\tCheese(name == \"Stilton\", age==2001)\n\tWine(name == \"Grange\", age == \"1978\", accolades contains \"world champion\")\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"Stilton\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 2001)))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Wine) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"Grange\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== \"1978\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT accolades)) (contains \"world champion\")))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"Stilton\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 2001)))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Wine) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"Grange\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== \"1978\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT accolades)) (contains \"world champion\")))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -50,7 +50,7 @@
// test input: "Foo()"
Object retval = execParser("normal_lhs_block", "Foo()", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -59,7 +59,7 @@
// test input: "not Cheese(type == \"stilton\")"
Object retval = execParser("normal_lhs_block", "not Cheese(type == \"stilton\")", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -68,7 +68,7 @@
// test input: "\n\tPerson(age < 42, location==\"atlanta\") \n\tor\n\tPerson(name==\"bob\")\n\t"
Object retval = execParser("normal_lhs_block", "\n\tPerson(age < 42, location==\"atlanta\") \n\tor\n\tPerson(name==\"bob\")\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (or (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"atlanta\")))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"bob\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (or (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"atlanta\")))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"bob\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -77,7 +77,7 @@
// test input: "\n\tFoo(bar == false)\n\tFoo(boo > -42)\n\tFoo(boo > -42.42)\n\t"
Object retval = execParser("normal_lhs_block", "\n\tFoo(bar == false)\n\tFoo(boo > -42)\n\tFoo(boo > -42.42)\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== false)))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT boo)) (> -42)))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT boo)) (> -42.42)))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== false)))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT boo)) (> -42)))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT boo)) (> -42.42)))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -86,7 +86,7 @@
// test input: "Cheese( )"
Object retval = execParser("normal_lhs_block", "Cheese( )", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -95,7 +95,7 @@
// test input: "\n\tCol1() from something.doIt( foo,bar,42,\"hello\",{ a => \"b\", \"something\" => 42, \"a\" => foo, x => {x=>y}},\"end\", [a, \"b\", 42] )\n\tCol2()\n\t"
Object retval = execParser("normal_lhs_block", "\n\tCol1() from something.doIt( foo,bar,42,\"hello\",{ a => \"b\", \"something\" => 42, \"a\" => foo, x => {x=>y}},\"end\", [a, \"b\", 42] )\n\tCol2()\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col1))) (VT_FROM_SOURCE something (. doIt ( foo,bar,42,\"hello\",{ a => \"b\", \"something\" => 42, \"a\" => foo, x => {x=>y}},\"end\", [a, \"b\", 42] )))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col2))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col1))) (VT_FROM_SOURCE something (. doIt ( foo,bar,42,\"hello\",{ a => \"b\", \"something\" => 42, \"a\" => foo, x => {x=>y}},\"end\", [a, \"b\", 42] )))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col2))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -104,7 +104,7 @@
// test input: "\n\tCol1() from doIt( foo,bar,42,\"hello\",{ a => \"b\", \"something\" => 42, \"a\" => foo, x => {x=>y}},\"end\", [a, \"b\", 42] )\n\tCol2()\n\t"
Object retval = execParser("normal_lhs_block", "\n\tCol1() from doIt( foo,bar,42,\"hello\",{ a => \"b\", \"something\" => 42, \"a\" => foo, x => {x=>y}},\"end\", [a, \"b\", 42] )\n\tCol2()\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col1))) (VT_FROM_SOURCE doIt ( foo,bar,42,\"hello\",{ a => \"b\", \"something\" => 42, \"a\" => foo, x => {x=>y}},\"end\", [a, \"b\", 42] ))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col2))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col1))) (VT_FROM_SOURCE doIt ( foo,bar,42,\"hello\",{ a => \"b\", \"something\" => 42, \"a\" => foo, x => {x=>y}},\"end\", [a, \"b\", 42] ))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col2))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -113,7 +113,7 @@
// test input: "\n\tCol1() from something.doIt\n\tCol2()\n\t"
Object retval = execParser("normal_lhs_block", "\n\tCol1() from something.doIt\n\tCol2()\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col1))) (VT_FROM_SOURCE something (. doIt))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col2))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col1))) (VT_FROM_SOURCE something (. doIt))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col2))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -122,7 +122,7 @@
// test input: "\n\tCol1() from something.doIt[\"key\"]\n\tCol2()\n\t"
Object retval = execParser("normal_lhs_block", "\n\tCol1() from something.doIt[\"key\"]\n\tCol2()\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col1))) (VT_FROM_SOURCE something (. doIt [\"key\"]))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col2))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col1))) (VT_FROM_SOURCE something (. doIt [\"key\"]))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col2))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -131,7 +131,7 @@
// test input: "\n\tCol1() from doIt1( foo,bar,42,\"hello\",{ a => \"b\"}, [a, \"b\", 42] )\n\t .doIt2(bar, [a, \"b\", 42]).field[\"key\"]\n\tCol2()\n\t"
Object retval = execParser("normal_lhs_block", "\n\tCol1() from doIt1( foo,bar,42,\"hello\",{ a => \"b\"}, [a, \"b\", 42] )\n\t .doIt2(bar, [a, \"b\", 42]).field[\"key\"]\n\tCol2()\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col1))) (VT_FROM_SOURCE doIt1 ( foo,bar,42,\"hello\",{ a => \"b\"}, [a, \"b\", 42] ) (. doIt2 (bar, [a, \"b\", 42]) (. field [\"key\"])))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col2))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col1))) (VT_FROM_SOURCE doIt1 ( foo,bar,42,\"hello\",{ a => \"b\"}, [a, \"b\", 42] ) (. doIt2 (bar, [a, \"b\", 42]) (. field [\"key\"])))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col2))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -140,7 +140,7 @@
// test input: "\n\tfoo3 : Bar(a==3)\n foo4 : Bar(a4:a==4)\n Baz()\n\t"
Object retval = execParser("normal_lhs_block", "\n\tfoo3 : Bar(a==3)\n foo4 : Bar(a4:a==4)\n Baz()\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo3 (VT_FACT (VT_QUALIFIED_ID Bar) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 3))))) (VT_PATTERN (VT_FACT_BINDING foo4 (VT_FACT (VT_QUALIFIED_ID Bar) (VT_BIND_FIELD a4 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 4)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Baz))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo3 (VT_FACT (VT_DATA_TYPE Bar) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 3))))) (VT_PATTERN (VT_FACT_BINDING foo4 (VT_FACT (VT_DATA_TYPE Bar) (VT_BIND_FIELD a4 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 4)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Baz))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -149,7 +149,7 @@
// test input: "\n\tPerson(age > 30 && < 40)\n \tVehicle(type == \"sedan\" || == \"wagon\", age < 3)\n\t"
Object retval = execParser("normal_lhs_block", "\n\tPerson(age > 30 && < 40)\n \tVehicle(type == \"sedan\" || == \"wagon\", age < 3)\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (|| (== \"sedan\") (== \"wagon\"))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (|| (== \"sedan\") (== \"wagon\"))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -158,7 +158,7 @@
// test input: " foo3 : Bar(a==3) ; foo4 : Bar(a4:a==4) ; Baz()"
Object retval = execParser("normal_lhs_block", " foo3 : Bar(a==3) ; foo4 : Bar(a4:a==4) ; Baz()", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo3 (VT_FACT (VT_QUALIFIED_ID Bar) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 3))))) (VT_PATTERN (VT_FACT_BINDING foo4 (VT_FACT (VT_QUALIFIED_ID Bar) (VT_BIND_FIELD a4 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 4)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Baz))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo3 (VT_FACT (VT_DATA_TYPE Bar) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 3))))) (VT_PATTERN (VT_FACT_BINDING foo4 (VT_FACT (VT_DATA_TYPE Bar) (VT_BIND_FIELD a4 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 4)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Baz))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -167,7 +167,7 @@
// test input: "\n \tnot ( Cheese(type == \"stilton\") )\n \texists ( Foo() )\n \t"
Object retval = execParser("normal_lhs_block", "\n \tnot ( Cheese(type == \"stilton\") )\n \texists ( Foo() )\n \t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))) (exists (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo)))))";
+ Object expecting = "(VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))) (exists (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo)))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -176,7 +176,7 @@
// test input: "\n \tnot ( Cheese(type == \"stilton\") )\n \texists ( Foo() )\n\t"
Object retval = execParser("normal_lhs_block", "\n \tnot ( Cheese(type == \"stilton\") )\n \texists ( Foo() )\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))) (exists (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo)))))";
+ Object expecting = "(VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))) (exists (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo)))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -194,7 +194,7 @@
// test input: " Cheese( t:type == \"cheddar\" ) "
Object retval = execParser("normal_lhs_block", " Cheese( t:type == \"cheddar\" ) ", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_BIND_FIELD t (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"cheddar\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_BIND_FIELD t (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"cheddar\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -203,7 +203,7 @@
// test input: "Cheese( $type:type )"
Object retval = execParser("normal_lhs_block", "Cheese( $type:type )", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -212,7 +212,7 @@
// test input: "\n Cheese($type : type == \"stilton\")\n $person : Person($name : name == \"bob\", likes == $type) \n\t"
Object retval = execParser("normal_lhs_block", "\n Cheese($type : type == \"stilton\")\n $person : Person($name : name == \"bob\", likes == $type) \n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))) (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_QUALIFIED_ID Person) (VT_BIND_FIELD $name (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"bob\"))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $type))))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))) (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_DATA_TYPE Person) (VT_BIND_FIELD $name (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"bob\"))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $type))))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -221,7 +221,7 @@
// test input: "\n\tPerson(name == \"mark\") or \n\t( Person(type == \"fan\") and Cheese(type == \"green\") )\n\t"
Object retval = execParser("normal_lhs_block", "\n\tPerson(name == \"mark\") or \n\t( Person(type == \"fan\") and Cheese(type == \"green\") )\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (or (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\")))) (and (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"fan\")))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"green\")))))))";
+ Object expecting = "(VT_AND_IMPLICIT (or (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\")))) (and (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"fan\")))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"green\")))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -230,7 +230,7 @@
// test input: "\n\tPerson(name == \"mark\") && Cheese(type == \"stilton\")\n Person(name == \"mark\") || Cheese(type == \"stilton\")\n\t"
Object retval = execParser("normal_lhs_block", "\n\tPerson(name == \"mark\") && Cheese(type == \"stilton\")\n Person(name == \"mark\") || Cheese(type == \"stilton\")\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (&& (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\")))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))) (|| (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\")))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (&& (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\")))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))) (|| (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\")))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -239,7 +239,7 @@
// test input: "\n\tfoo : ( Person(name == \"mark\") or Person(type == \"fan\") ) \n\tCheese(type == \"green\")\n\t"
Object retval = execParser("normal_lhs_block", "\n\tfoo : ( Person(name == \"mark\") or Person(type == \"fan\") ) \n\tCheese(type == \"green\")\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\"))) (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"fan\")))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"green\")))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\"))) (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"fan\")))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"green\")))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -248,7 +248,7 @@
// test input: "\n\tfoo : ( Person(name == \"mark\") \n\t\tor \n\t\tPerson(type == \"fan\") )\n\t"
Object retval = execParser("normal_lhs_block", "\n\tfoo : ( Person(name == \"mark\") \n\t\tor \n\t\tPerson(type == \"fan\") )\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\"))) (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"fan\")))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\"))) (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"fan\")))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -257,7 +257,7 @@
// test input: "\n\tfoo : ( \n\t\tPerson(name == \"mark\") or Person(type == \"fan\") \n\t\t)\n\t"
Object retval = execParser("normal_lhs_block", "\n\tfoo : ( \n\t\tPerson(name == \"mark\") or Person(type == \"fan\") \n\t\t)\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\"))) (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"fan\")))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"mark\"))) (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"fan\")))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -266,7 +266,7 @@
// test input: "\n\t ( (not Foo(x==\"a\") or Foo(x==\"y\") ) and ( Shoes() or Butt() ) )\n\t"
Object retval = execParser("normal_lhs_block", "\n\t ( (not Foo(x==\"a\") or Foo(x==\"y\") ) and ( Shoes() or Butt() ) )\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (and (or (not (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT x)) (== \"a\"))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT x)) (== \"y\"))))) (or (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Shoes))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Butt))))))";
+ Object expecting = "(VT_AND_IMPLICIT (and (or (not (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT x)) (== \"a\"))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT x)) (== \"y\"))))) (or (VT_PATTERN (VT_FACT (VT_DATA_TYPE Shoes))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Butt))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -275,7 +275,7 @@
// test input: "\n\teval(abc(\"foo\") + 5)\n\tFoo()\n\teval(qed())\n\tBar()\n\t"
Object retval = execParser("normal_lhs_block", "\n\teval(abc(\"foo\") + 5)\n\tFoo()\n\teval(qed())\n\tBar()\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (eval (abc(\"foo\") + 5)) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo))) (eval (qed())) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Bar))))";
+ Object expecting = "(VT_AND_IMPLICIT (eval (abc(\"foo\") + 5)) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo))) (eval (qed())) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Bar))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -284,7 +284,7 @@
// test input: "\n\tFoo()\n\tBar()\n\teval(abc(\"foo\"))\n\t"
Object retval = execParser("normal_lhs_block", "\n\tFoo()\n\tBar()\n\teval(abc(\"foo\"))\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Bar))) (eval (abc(\"foo\"))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Bar))) (eval (abc(\"foo\"))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -293,7 +293,7 @@
// test input: "Foo(name== (a + b))"
Object retval = execParser("normal_lhs_block", "Foo(name== (a + b))", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== (a + b))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== (a + b))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -302,7 +302,7 @@
// test input: "Person( $age2:age -> ($age2 == $age1+2 ) )"
Object retval = execParser("normal_lhs_block", "Person( $age2:age -> ($age2 == $age1+2 ) )", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_BIND_FIELD $age2 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (-> ($age2 == $age1+2 )))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_BIND_FIELD $age2 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (-> ($age2 == $age1+2 )))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -311,7 +311,7 @@
// test input: "Foo(bar == Foo.BAR)"
Object retval = execParser("normal_lhs_block", "Foo(bar == Foo.BAR)", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT Foo) (VT_ACCESSOR_ELEMENT BAR)))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT Foo) (VT_ACCESSOR_ELEMENT BAR)))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -320,7 +320,7 @@
// test input: "\n\tp: Person( name soundslike \"Michael\" )\n\t"
Object retval = execParser("normal_lhs_block", "\n\tp: Person( name soundslike \"Michael\" )\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING p (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (soundslike \"Michael\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING p (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (soundslike \"Michael\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -329,7 +329,7 @@
// test input: "\n\tFoo()\n\tBar()\n\teval(\n\t\n\t\n\t\n\t abc(\n\t \n\t \"foo\") + \n\t 5\n\t \n\t \n\t \n\t \n\t )\n\t"
Object retval = execParser("normal_lhs_block", "\n\tFoo()\n\tBar()\n\teval(\n\t\n\t\n\t\n\t abc(\n\t \n\t \"foo\") + \n\t 5\n\t \n\t \n\t \n\t \n\t )\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Bar))) (eval (\n\t\n\t\n\t\n\t abc(\n\t \n\t \"foo\") + \n\t 5\n\t \n\t \n\t \n\t \n\t )))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Bar))) (eval (\n\t\n\t\n\t\n\t abc(\n\t \n\t \"foo\") + \n\t 5\n\t \n\t \n\t \n\t \n\t )))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -347,7 +347,7 @@
// test input: "\n\tFoo(\n\t bar == baz, la==laz\n\t )\n\t "
Object retval = execParser("normal_lhs_block", "\n\tFoo(\n\t bar == baz, la==laz\n\t )\n\t ", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT baz)))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT la)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT laz)))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT baz)))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT la)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT laz)))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -356,7 +356,7 @@
// test input: "com.cheeseco.Cheese($type : type == \"stilton\")"
Object retval = execParser("normal_lhs_block", "com.cheeseco.Cheese($type : type == \"stilton\")", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID com cheeseco Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE com cheeseco Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"stilton\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -365,7 +365,7 @@
// test input: "\n\t Integer() from accumulate( Person( age > 21 ),\n init( int x = 0; ),\n action( x++; ),\n result( new Integer(x) ) );\n\t"
Object retval = execParser("normal_lhs_block", "\n\t Integer() from accumulate( Person( age > 21 ),\n init( int x = 0; ),\n action( x++; ),\n result( new Integer(x) ) );\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Integer))) (accumulate (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Integer))) (accumulate (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -374,7 +374,7 @@
// test input: "\n $counter:Integer() from accumulate( $person : Person( age > 21 ),\n init( int x = 0; ),\n action( x++; ),\n result( new Integer(x) ) );\n\t"
Object retval = execParser("normal_lhs_block", "\n $counter:Integer() from accumulate( $person : Person( age > 21 ),\n init( int x = 0; ),\n action( x++; ),\n result( new Integer(x) ) );\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $counter (VT_FACT (VT_QUALIFIED_ID Integer)))) (accumulate (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $counter (VT_FACT (VT_DATA_TYPE Integer)))) (accumulate (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -383,7 +383,7 @@
// test input: "$personList : ArrayList() from collect( Person( age > 21 ) );"
Object retval = execParser("normal_lhs_block", "$personList : ArrayList() from collect( Person( age > 21 ) );", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_QUALIFIED_ID ArrayList)))) (collect (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_DATA_TYPE ArrayList)))) (collect (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -392,7 +392,7 @@
// test input: "\n\t\tnot ( State( $state : state ) and\n\t not( Person( status == $state, $likes : likes ) and\n\t Cheese( type == $likes ) ) )\n\t Person( name == \"Bob\" )\n\t ( Cheese( price == 10 ) or Cheese( type == \"brie\" ) )\n\t"
Object retval = execParser("normal_lhs_block", "\n\t\tnot ( State( $state : state ) and\n\t not( Person( status == $state, $likes : likes ) and\n\t Cheese( type == $likes ) ) )\n\t Person( name == \"Bob\" )\n\t ( Cheese( price == 10 ) or Cheese( type == \"brie\" ) )\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (not (and (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID State) (VT_BIND_FIELD $state (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT state)))))) (not (and (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT status)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $state)))) (VT_BIND_FIELD $likes (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $likes)))))))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"Bob\")))) (or (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT price)) (== 10)))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"brie\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (not (and (VT_PATTERN (VT_FACT (VT_DATA_TYPE State) (VT_BIND_FIELD $state (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT state)))))) (not (and (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT status)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $state)))) (VT_BIND_FIELD $likes (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $likes)))))))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"Bob\")))) (or (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT price)) (== 10)))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== \"brie\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -401,7 +401,7 @@
// test input: "\n forall( Person( age > 21, $likes : likes )\n Cheese( type == $likes ) );\n\t"
Object retval = execParser("normal_lhs_block", "\n forall( Person( age > 21, $likes : likes )\n Cheese( type == $likes ) );\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (forall (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)) (VT_BIND_FIELD $likes (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $likes))))))))";
+ Object expecting = "(VT_AND_IMPLICIT (forall (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)) (VT_BIND_FIELD $likes (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $likes))))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -410,7 +410,7 @@
// test input: "\n Country( $cities : city )\n Person( city memberOf $cities )\n "
Object retval = execParser("normal_lhs_block", "\n Country( $cities : city )\n Person( city memberOf $cities )\n ", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Country) (VT_BIND_FIELD $cities (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)) (memberOf (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $cities)))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Country) (VT_BIND_FIELD $cities (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)) (memberOf (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $cities)))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -419,7 +419,7 @@
// test input: "\n Country( $cities : city )\n Person( city not memberOf $cities )\n "
Object retval = execParser("normal_lhs_block", "\n Country( $cities : city )\n Person( city not memberOf $cities )\n ", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Country) (VT_BIND_FIELD $cities (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)) (memberOf not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $cities)))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Country) (VT_BIND_FIELD $cities (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)) (memberOf not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $cities)))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -428,7 +428,7 @@
// test input: "\n \tPerson(age > 30 && < 40)\n \tVehicle(type in ( \"sedan\", \"wagon\" ), age < 3)\n\t"
Object retval = execParser("normal_lhs_block", "\n \tPerson(age > 30 && < 40)\n \tVehicle(type in ( \"sedan\", \"wagon\" ), age < 3)\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (in \"sedan\" \"wagon\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (in \"sedan\" \"wagon\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -437,7 +437,7 @@
// test input: "\n \tPerson(age > 30 && < 40)\n \tVehicle(type not in ( \"sedan\", \"wagon\" ), age < 3)\n\t"
Object retval = execParser("normal_lhs_block", "\n \tPerson(age > 30 && < 40)\n \tVehicle(type not in ( \"sedan\", \"wagon\" ), age < 3)\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (in not \"sedan\" \"wagon\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (in not \"sedan\" \"wagon\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -446,7 +446,7 @@
// test input: " Person( age < 42 && location==\"atlanta\") "
Object retval = execParser("normal_lhs_block", " Person( age < 42 && location==\"atlanta\") ", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"atlanta\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"atlanta\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -455,7 +455,7 @@
// test input: " Person( age < 42 || location==\"atlanta\") "
Object retval = execParser("normal_lhs_block", " Person( age < 42 || location==\"atlanta\") ", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"atlanta\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"atlanta\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -464,7 +464,7 @@
// test input: "Person( age < 42 && location==\"atlanta\" || age > 20 && location==\"Seatle\" || location == \"Chicago\")"
Object retval = execParser("normal_lhs_block", "Person( age < 42 && location==\"atlanta\" || age > 20 && location==\"Seatle\" || location == \"Chicago\")", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"atlanta\"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 20)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"Seatle\")))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"Chicago\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"atlanta\"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 20)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"Seatle\")))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"Chicago\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -473,7 +473,7 @@
// test input: "Person( age < 42 && ( location==\"atlanta\" || age > 20 && location==\"Seatle\") || location == \"Chicago\")"
Object retval = execParser("normal_lhs_block", "Person( age < 42 && ( location==\"atlanta\" || age > 20 && location==\"Seatle\") || location == \"Chicago\")", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"atlanta\")) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 20)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"Seatle\"))))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"Chicago\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"atlanta\")) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 20)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"Seatle\"))))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== \"Chicago\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -482,7 +482,7 @@
// test input: " Person( ( age == 70 && hair == \"black\" ) || ( age == 40 && hair == \"pink\" ) || ( age == 12 && ( hair == \"yellow\" || hair == \"blue\" ) ) ) "
Object retval = execParser("normal_lhs_block", " Person( ( age == 70 && hair == \"black\" ) || ( age == 40 && hair == \"pink\" ) || ( age == 12 && ( hair == \"yellow\" || hair == \"blue\" ) ) ) ", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 70)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"black\"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 40)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"pink\")))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 12)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"yellow\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"blue\"))))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 70)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"black\"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 40)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"pink\")))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 12)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"yellow\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"blue\"))))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -491,7 +491,7 @@
// test input: " Person( name matches \"mark\" || matches \"bob\" ) "
Object retval = execParser("normal_lhs_block", " Person( name matches \"mark\" || matches \"bob\" ) ", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (|| (matches \"mark\") (matches \"bob\"))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (|| (matches \"mark\") (matches \"bob\"))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -500,7 +500,7 @@
// test input: "\n\tCity( $city : city )\n\tCountry( cities not contains $city )\n\t"
Object retval = execParser("normal_lhs_block", "\n\tCity( $city : city )\n\tCountry( cities not contains $city )\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID City) (VT_BIND_FIELD $city (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Country) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT cities)) (contains not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $city)))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE City) (VT_BIND_FIELD $city (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Country) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT cities)) (contains not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $city)))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -509,7 +509,7 @@
// test input: " Message( text not matches '[abc]*' ) "
Object retval = execParser("normal_lhs_block", " Message( text not matches '[abc]*' ) ", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Message) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT text)) (matches not '[abc]*')))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Message) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT text)) (matches not '[abc]*')))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -518,7 +518,7 @@
// test input: "Foo( bar > 1 || == 1 )"
Object retval = execParser("normal_lhs_block", "Foo( bar > 1 || == 1 )", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (|| (> 1) (== 1))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (|| (> 1) (== 1))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -527,7 +527,7 @@
// test input: "\n\tPattern1();\n\tPattern2() from x.y.z;\n\tPattern5();\n\tPattern6();\n\tPattern7();\n\tPattern3();\n\tPattern4() from collect( Pattern5() );\n\t"
Object retval = execParser("normal_lhs_block", "\n\tPattern1();\n\tPattern2() from x.y.z;\n\tPattern5();\n\tPattern6();\n\tPattern7();\n\tPattern3();\n\tPattern4() from collect( Pattern5() );\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern1))) (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern2))) (VT_FROM_SOURCE x (. y (. z)))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern5))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern6))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern7))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern3))) (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern4))) (collect (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern5))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern1))) (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern2))) (VT_FROM_SOURCE x (. y (. z)))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern5))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern6))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern7))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern3))) (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern4))) (collect (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern5))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -545,7 +545,7 @@
// test input: "\n\tInteger() from accumulate( Person( age > 21 ),\n\t init( int x = 0; ),\n\t action( x++; ),\n\t reverse( x--; ),\n\t result( new Integer(x) ) );\n\t"
Object retval = execParser("normal_lhs_block", "\n\tInteger() from accumulate( Person( age > 21 ),\n\t init( int x = 0; ),\n\t action( x++; ),\n\t reverse( x--; ),\n\t result( new Integer(x) ) );\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Integer))) (accumulate (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (reverse ( x--; )) (result ( new Integer(x) ))))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Integer))) (accumulate (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (reverse ( x--; )) (result ( new Integer(x) ))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -554,7 +554,7 @@
// test input: "\n Number() from accumulate( Person( $age : age > 21 ),\n average( $age ) );\n\t"
Object retval = execParser("normal_lhs_block", "\n Number() from accumulate( Person( $age : age > 21 ),\n average( $age ) );\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Number))) (accumulate (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_BIND_FIELD $age (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_ACCUMULATE_ID_CLAUSE average ( $age )))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Number))) (accumulate (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_BIND_FIELD $age (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_ACCUMULATE_ID_CLAUSE average ( $age )))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -563,7 +563,7 @@
// test input: "\n #bellow statement makes no sense, but is useful to test parsing recursiveness\n $personList : ArrayList() from collect( $p : Person( age > 21 || age < 10 ) from collect( People() from $town.getPeople() ) );\n\t"
Object retval = execParser("normal_lhs_block", "\n #bellow statement makes no sense, but is useful to test parsing recursiveness\n $personList : ArrayList() from collect( $p : Person( age > 21 || age < 10 ) from collect( People() from $town.getPeople() ) );\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_QUALIFIED_ID ArrayList)))) (collect (from (VT_PATTERN (VT_FACT_BINDING $p (VT_FACT (VT_QUALIFIED_ID Person) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 10)))))) (collect (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID People))) (VT_FROM_SOURCE $town (. getPeople ()))))))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_DATA_TYPE ArrayList)))) (collect (from (VT_PATTERN (VT_FACT_BINDING $p (VT_FACT (VT_DATA_TYPE Person) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 10)))))) (collect (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE People))) (VT_FROM_SOURCE $town (. getPeople ()))))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -572,7 +572,7 @@
// test input: "\n $personList : ArrayList() from accumulate( Person( $age : age > 21 || < 10 ) from collect( People() from $town.getPeople() ),\n max( $age ) );\n\t"
Object retval = execParser("normal_lhs_block", "\n $personList : ArrayList() from accumulate( Person( $age : age > 21 || < 10 ) from collect( People() from $town.getPeople() ),\n max( $age ) );\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_QUALIFIED_ID ArrayList)))) (accumulate (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_BIND_FIELD $age (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (|| (> 21) (< 10)))))) (collect (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID People))) (VT_FROM_SOURCE $town (. getPeople ()))))) (VT_ACCUMULATE_ID_CLAUSE max ( $age )))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_DATA_TYPE ArrayList)))) (accumulate (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_BIND_FIELD $age (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (|| (> 21) (< 10)))))) (collect (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE People))) (VT_FROM_SOURCE $town (. getPeople ()))))) (VT_ACCUMULATE_ID_CLAUSE max ( $age )))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -581,7 +581,7 @@
// test input: "\n $p : Person( name == \"bob\" )\n $c : Cheese( type == $p.likes ) || Cheese( price == 10 )\n "
Object retval = execParser("normal_lhs_block", "\n $p : Person( name == \"bob\" )\n $c : Cheese( type == $p.likes ) || Cheese( price == 10 )\n ", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $p (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"bob\"))))) (|| (VT_PATTERN (VT_FACT_BINDING $c (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $p) (VT_ACCESSOR_ELEMENT likes))))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT price)) (== 10))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $p (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== \"bob\"))))) (|| (VT_PATTERN (VT_FACT_BINDING $c (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $p) (VT_ACCESSOR_ELEMENT likes))))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT price)) (== 10))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -590,7 +590,7 @@
// test input: "\n\t(or\n\tnot Person()\n\t\t(and Cheese()\n\t\t\tMeat()\n\t\t\tWine()))\n\t"
Object retval = execParser("normal_lhs_block", "\n\t(or\n\tnot Person()\n\t\t(and Cheese()\n\t\t\tMeat()\n\t\t\tWine()))\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (or (not (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person)))) (and (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Meat))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Wine))))))";
+ Object expecting = "(VT_AND_IMPLICIT (or (not (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person)))) (and (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Meat))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Wine))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -599,7 +599,7 @@
// test input: "\n $counter:Integer() from accumulate( $person : Person( age > 21 ) and Cheese( type == $person.likes ),\n init( int x = 0; ),\n action( x++; ),\n result( new Integer(x) ) );\n\t"
Object retval = execParser("normal_lhs_block", "\n $counter:Integer() from accumulate( $person : Person( age > 21 ) and Cheese( type == $person.likes ),\n init( int x = 0; ),\n action( x++; ),\n result( new Integer(x) ) );\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $counter (VT_FACT (VT_QUALIFIED_ID Integer)))) (accumulate (and (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $person) (VT_ACCESSOR_ELEMENT likes))))))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $counter (VT_FACT (VT_DATA_TYPE Integer)))) (accumulate (and (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $person) (VT_ACCESSOR_ELEMENT likes))))))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -608,7 +608,7 @@
// test input: "\n $a : EventA()\n $b : EventB( this after[1,10] $a )\n $c : EventC( this finishes $b )\n $d : EventD( this not starts $a )\n $e : EventE( this not before [1, 10] $b )\n\t"
Object retval = execParser("normal_lhs_block", "\n $a : EventA()\n $b : EventB( this after[1,10] $a )\n $c : EventC( this finishes $b )\n $d : EventD( this not starts $a )\n $e : EventE( this not before [1, 10] $b )\n\t", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $a (VT_FACT (VT_QUALIFIED_ID EventA)))) (VT_PATTERN (VT_FACT_BINDING $b (VT_FACT (VT_QUALIFIED_ID EventB) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (after [1,10] (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $a))))))) (VT_PATTERN (VT_FACT_BINDING $c (VT_FACT (VT_QUALIFIED_ID EventC) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (finishes (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $b))))))) (VT_PATTERN (VT_FACT_BINDING $d (VT_FACT (VT_QUALIFIED_ID EventD) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (starts not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $a))))))) (VT_PATTERN (VT_FACT_BINDING $e (VT_FACT (VT_QUALIFIED_ID EventE) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (before not [1, 10] (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $b))))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $a (VT_FACT (VT_DATA_TYPE EventA)))) (VT_PATTERN (VT_FACT_BINDING $b (VT_FACT (VT_DATA_TYPE EventB) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (after [1,10] (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $a))))))) (VT_PATTERN (VT_FACT_BINDING $c (VT_FACT (VT_DATA_TYPE EventC) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (finishes (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $b))))))) (VT_PATTERN (VT_FACT_BINDING $d (VT_FACT (VT_DATA_TYPE EventD) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (starts not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $a))))))) (VT_PATTERN (VT_FACT_BINDING $e (VT_FACT (VT_DATA_TYPE EventE) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (before not [1, 10] (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $b))))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -617,7 +617,7 @@
// test input: "StockTick( symbol==\"ACME\") from entry-point StreamA"
Object retval = execParser("normal_lhs_block", "StockTick( symbol==\"ACME\") from entry-point StreamA", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID StockTick) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT symbol)) (== \"ACME\")))) (entry-point StreamA)))";
+ Object expecting = "(VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE StockTick) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT symbol)) (== \"ACME\")))) (entry-point StreamA)))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
@@ -626,7 +626,7 @@
// test input: "Person( ( age ( > 60 && < 70 ) || ( > 50 && < 55 ) && hair == \"black\" ) || ( age == 40 && hair == \"pink\" ) || ( age == 12 && ( hair == \"yellow\" || hair == \"blue\" ) ))"
Object retval = execParser("normal_lhs_block", "Person( ( age ( > 60 && < 70 ) || ( > 50 && < 55 ) && hair == \"black\" ) || ( age == 40 && hair == \"pink\" ) || ( age == 12 && ( hair == \"yellow\" || hair == \"blue\" ) ))", false);
Object actual = examineParserExecResult(10, retval);
- Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (|| (&& (> 60) (< 70)) (&& (> 50) (< 55)))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"black\"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 40)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"pink\")))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 12)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"yellow\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"blue\"))))))))";
+ Object expecting = "(VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (|| (&& (> 60) (< 70)) (&& (> 50) (< 55)))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"black\"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 40)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"pink\")))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 12)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"yellow\")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== \"blue\"))))))))";
assertEquals("testing rule "+"normal_lhs_block", expecting, actual);
}
Modified: labs/jbossrules/branches/parser-rewrite/drools-compiler/src/test/java/org/drools/lang/gUnitTest.testsuite
===================================================================
--- labs/jbossrules/branches/parser-rewrite/drools-compiler/src/test/java/org/drools/lang/gUnitTest.testsuite 2008-05-08 21:16:04 UTC (rev 19914)
+++ labs/jbossrules/branches/parser-rewrite/drools-compiler/src/test/java/org/drools/lang/gUnitTest.testsuite 2008-05-08 21:19:05 UTC (rev 19915)
@@ -7,151 +7,151 @@
normal_lhs_block:
"" -> "VT_AND_IMPLICIT"
<< $id : Something( duration == "foo") >>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $id (VT_FACT (VT_QUALIFIED_ID Something) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT duration)) (== "foo"))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $id (VT_FACT (VT_DATA_TYPE Something) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT duration)) (== "foo"))))))
"foo3 : Bar(" FAIL
<<
Cheese(name == "Stilton", age==2001)
Wine(name == "Grange", age == "1978", accolades contains "world champion")
- >> -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "Stilton")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 2001)))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Wine) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "Grange")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== "1978")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT accolades)) (contains "world champion")))))
+ >> -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "Stilton")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 2001)))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Wine) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "Grange")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== "1978")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT accolades)) (contains "world champion")))))
"Foo()"
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo))))
<<not Cheese(type == "stilton")>>
- -> (VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))))
+ -> (VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))))
<<
Person(age < 42, location=="atlanta")
or
Person(name=="bob")
>>
- -> (VT_AND_IMPLICIT (or (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "atlanta")))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "bob"))))))
+ -> (VT_AND_IMPLICIT (or (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "atlanta")))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "bob"))))))
<<
Foo(bar == false)
Foo(boo > -42)
Foo(boo > -42.42)
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== false)))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT boo)) (> -42)))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT boo)) (> -42.42)))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== false)))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT boo)) (> -42)))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT boo)) (> -42.42)))))
"Cheese( )"
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese))))
<<
Col1() from something.doIt( foo,bar,42,"hello",{ a => "b", "something" => 42, "a" => foo, x => {x=>y}},"end", [a, "b", 42] )
Col2()
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col1))) (VT_FROM_SOURCE something (. doIt ( foo,bar,42,"hello",{ a => "b", "something" => 42, "a" => foo, x => {x=>y}},"end", [a, "b", 42] )))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col2))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col1))) (VT_FROM_SOURCE something (. doIt ( foo,bar,42,"hello",{ a => "b", "something" => 42, "a" => foo, x => {x=>y}},"end", [a, "b", 42] )))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col2))))
<<
Col1() from doIt( foo,bar,42,"hello",{ a => "b", "something" => 42, "a" => foo, x => {x=>y}},"end", [a, "b", 42] )
Col2()
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col1))) (VT_FROM_SOURCE doIt ( foo,bar,42,"hello",{ a => "b", "something" => 42, "a" => foo, x => {x=>y}},"end", [a, "b", 42] ))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col2))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col1))) (VT_FROM_SOURCE doIt ( foo,bar,42,"hello",{ a => "b", "something" => 42, "a" => foo, x => {x=>y}},"end", [a, "b", 42] ))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col2))))
<<
Col1() from something.doIt
Col2()
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col1))) (VT_FROM_SOURCE something (. doIt))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col2))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col1))) (VT_FROM_SOURCE something (. doIt))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col2))))
<<
Col1() from something.doIt["key"]
Col2()
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col1))) (VT_FROM_SOURCE something (. doIt ["key"]))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col2))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col1))) (VT_FROM_SOURCE something (. doIt ["key"]))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col2))))
<<
Col1() from doIt1( foo,bar,42,"hello",{ a => "b"}, [a, "b", 42] )
.doIt2(bar, [a, "b", 42]).field["key"]
Col2()
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col1))) (VT_FROM_SOURCE doIt1 ( foo,bar,42,"hello",{ a => "b"}, [a, "b", 42] ) (. doIt2 (bar, [a, "b", 42]) (. field ["key"])))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Col2))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col1))) (VT_FROM_SOURCE doIt1 ( foo,bar,42,"hello",{ a => "b"}, [a, "b", 42] ) (. doIt2 (bar, [a, "b", 42]) (. field ["key"])))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Col2))))
<<
foo3 : Bar(a==3)
foo4 : Bar(a4:a==4)
Baz()
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo3 (VT_FACT (VT_QUALIFIED_ID Bar) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 3))))) (VT_PATTERN (VT_FACT_BINDING foo4 (VT_FACT (VT_QUALIFIED_ID Bar) (VT_BIND_FIELD a4 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 4)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Baz))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo3 (VT_FACT (VT_DATA_TYPE Bar) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 3))))) (VT_PATTERN (VT_FACT_BINDING foo4 (VT_FACT (VT_DATA_TYPE Bar) (VT_BIND_FIELD a4 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 4)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Baz))))
<<
Person(age > 30 && < 40)
Vehicle(type == "sedan" || == "wagon", age < 3)
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (|| (== "sedan") (== "wagon"))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (|| (== "sedan") (== "wagon"))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))
" foo3 : Bar(a==3) ; foo4 : Bar(a4:a==4) ; Baz()"
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo3 (VT_FACT (VT_QUALIFIED_ID Bar) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 3))))) (VT_PATTERN (VT_FACT_BINDING foo4 (VT_FACT (VT_QUALIFIED_ID Bar) (VT_BIND_FIELD a4 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 4)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Baz))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo3 (VT_FACT (VT_DATA_TYPE Bar) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 3))))) (VT_PATTERN (VT_FACT_BINDING foo4 (VT_FACT (VT_DATA_TYPE Bar) (VT_BIND_FIELD a4 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT a)) (== 4)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Baz))))
<<
not ( Cheese(type == "stilton") )
exists ( Foo() )
>>
- -> (VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))) (exists (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo)))))
+ -> (VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))) (exists (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo)))))
<<
not ( Cheese(type == "stilton") )
exists ( Foo() )
>>
- -> (VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))) (exists (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo)))))
+ -> (VT_AND_IMPLICIT (not (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))) (exists (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo)))))
<<
a : (not ( Cheese(type == "stilton") ))
exists ( Foo() )
>>
FAIL
<< Cheese( t:type == "cheddar" ) >>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_BIND_FIELD t (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "cheddar"))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_BIND_FIELD t (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "cheddar"))))))
"Cheese( $type:type )"
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)))))))
<<
Cheese($type : type == "stilton")
$person : Person($name : name == "bob", likes == $type)
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))) (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_QUALIFIED_ID Person) (VT_BIND_FIELD $name (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "bob"))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $type))))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))) (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_DATA_TYPE Person) (VT_BIND_FIELD $name (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "bob"))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $type))))))))
<<
Person(name == "mark") or
( Person(type == "fan") and Cheese(type == "green") )
>>
- -> (VT_AND_IMPLICIT (or (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark")))) (and (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "fan")))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "green")))))))
+ -> (VT_AND_IMPLICIT (or (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark")))) (and (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "fan")))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "green")))))))
<<
Person(name == "mark") && Cheese(type == "stilton")
Person(name == "mark") || Cheese(type == "stilton")
>>
- -> (VT_AND_IMPLICIT (&& (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark")))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))) (|| (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark")))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))))
+ -> (VT_AND_IMPLICIT (&& (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark")))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))) (|| (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark")))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))))
<<
foo : ( Person(name == "mark") or Person(type == "fan") )
Cheese(type == "green")
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark"))) (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "fan")))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "green")))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark"))) (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "fan")))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "green")))))
<<
foo : ( Person(name == "mark")
or
Person(type == "fan") )
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark"))) (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "fan")))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark"))) (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "fan")))))))
<<
foo : (
Person(name == "mark") or Person(type == "fan")
)
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark"))) (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "fan")))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING foo (or (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "mark"))) (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "fan")))))))
<<
( (not Foo(x=="a") or Foo(x=="y") ) and ( Shoes() or Butt() ) )
>>
- -> (VT_AND_IMPLICIT (and (or (not (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT x)) (== "a"))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT x)) (== "y"))))) (or (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Shoes))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Butt))))))
+ -> (VT_AND_IMPLICIT (and (or (not (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT x)) (== "a"))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT x)) (== "y"))))) (or (VT_PATTERN (VT_FACT (VT_DATA_TYPE Shoes))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Butt))))))
<<
eval(abc("foo") + 5)
Foo()
eval(qed())
Bar()
>>
- -> (VT_AND_IMPLICIT (eval (abc("foo") + 5)) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo))) (eval (qed())) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Bar))))
+ -> (VT_AND_IMPLICIT (eval (abc("foo") + 5)) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo))) (eval (qed())) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Bar))))
<<
Foo()
Bar()
eval(abc("foo"))
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Bar))) (eval (abc("foo"))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Bar))) (eval (abc("foo"))))
"Foo(name== (a + b))"
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== (a + b))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== (a + b))))))
"Person( $age2:age -> ($age2 == $age1+2 ) )"
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_BIND_FIELD $age2 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (-> ($age2 == $age1+2 )))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_BIND_FIELD $age2 (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (-> ($age2 == $age1+2 )))))))
"Foo(bar == Foo.BAR)"
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT Foo) (VT_ACCESSOR_ELEMENT BAR)))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT Foo) (VT_ACCESSOR_ELEMENT BAR)))))))
<<
p: Person( name soundslike "Michael" )
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING p (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (soundslike "Michael"))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING p (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (soundslike "Michael"))))))
<<
Foo()
@@ -170,7 +170,7 @@
)
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Bar))) (eval (
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Bar))) (eval (
@@ -192,10 +192,10 @@
bar == baz, la==laz
)
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT baz)))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT la)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT laz)))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT baz)))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT la)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT laz)))))))
<<com.cheeseco.Cheese($type : type == "stilton")>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID com cheeseco Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE com cheeseco Cheese) (VT_BIND_FIELD $type (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "stilton"))))))
<<
Integer() from accumulate( Person( age > 21 ),
@@ -203,7 +203,7 @@
action( x++; ),
result( new Integer(x) ) );
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Integer))) (accumulate (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Integer))) (accumulate (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))
<<
$counter:Integer() from accumulate( $person : Person( age > 21 ),
@@ -211,10 +211,10 @@
action( x++; ),
result( new Integer(x) ) );
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $counter (VT_FACT (VT_QUALIFIED_ID Integer)))) (accumulate (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $counter (VT_FACT (VT_DATA_TYPE Integer)))) (accumulate (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))
"$personList : ArrayList() from collect( Person( age > 21 ) );"
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_QUALIFIED_ID ArrayList)))) (collect (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_DATA_TYPE ArrayList)))) (collect (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))))))
<<
@@ -224,67 +224,67 @@
Person( name == "Bob" )
( Cheese( price == 10 ) or Cheese( type == "brie" ) )
>>
- -> (VT_AND_IMPLICIT (not (and (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID State) (VT_BIND_FIELD $state (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT state)))))) (not (and (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT status)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $state)))) (VT_BIND_FIELD $likes (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $likes)))))))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "Bob")))) (or (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT price)) (== 10)))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "brie"))))))
+ -> (VT_AND_IMPLICIT (not (and (VT_PATTERN (VT_FACT (VT_DATA_TYPE State) (VT_BIND_FIELD $state (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT state)))))) (not (and (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT status)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $state)))) (VT_BIND_FIELD $likes (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $likes)))))))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "Bob")))) (or (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT price)) (== 10)))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== "brie"))))))
<<
forall( Person( age > 21, $likes : likes )
Cheese( type == $likes ) );
>>
- -> (VT_AND_IMPLICIT (forall (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)) (VT_BIND_FIELD $likes (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $likes))))))))
+ -> (VT_AND_IMPLICIT (forall (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)) (VT_BIND_FIELD $likes (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT likes)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $likes))))))))
<<
Country( $cities : city )
Person( city memberOf $cities )
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Country) (VT_BIND_FIELD $cities (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)) (memberOf (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $cities)))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Country) (VT_BIND_FIELD $cities (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)) (memberOf (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $cities)))))))
<<
Country( $cities : city )
Person( city not memberOf $cities )
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Country) (VT_BIND_FIELD $cities (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)) (memberOf not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $cities)))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Country) (VT_BIND_FIELD $cities (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)) (memberOf not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $cities)))))))
<<
Person(age > 30 && < 40)
Vehicle(type in ( "sedan", "wagon" ), age < 3)
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (in "sedan" "wagon")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (in "sedan" "wagon")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))
<<
Person(age > 30 && < 40)
Vehicle(type not in ( "sedan", "wagon" ), age < 3)
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (in not "sedan" "wagon")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (&& (> 30) (< 40))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Vehicle) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (in not "sedan" "wagon")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 3)))))
<< Person( age < 42 && location=="atlanta") >>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "atlanta"))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "atlanta"))))))
<< Person( age < 42 || location=="atlanta") >>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "atlanta"))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "atlanta"))))))
<<Person( age < 42 && location=="atlanta" || age > 20 && location=="Seatle" || location == "Chicago")>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "atlanta"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 20)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "Seatle")))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "Chicago"))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "atlanta"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 20)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "Seatle")))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "Chicago"))))))
<<Person( age < 42 && ( location=="atlanta" || age > 20 && location=="Seatle") || location == "Chicago")>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "atlanta")) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 20)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "Seatle"))))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "Chicago"))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 42)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "atlanta")) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 20)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "Seatle"))))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT location)) (== "Chicago"))))))
<< Person( ( age == 70 && hair == "black" ) || ( age == 40 && hair == "pink" ) || ( age == 12 && ( hair == "yellow" || hair == "blue" ) ) ) >>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 70)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "black"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 40)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "pink")))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 12)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "yellow")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "blue"))))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 70)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "black"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 40)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "pink")))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 12)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "yellow")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "blue"))))))))
<< Person( name matches "mark" || matches "bob" ) >>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (|| (matches "mark") (matches "bob"))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (|| (matches "mark") (matches "bob"))))))
<<
City( $city : city )
Country( cities not contains $city )
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID City) (VT_BIND_FIELD $city (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Country) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT cities)) (contains not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $city)))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE City) (VT_BIND_FIELD $city (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT city)))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Country) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT cities)) (contains not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $city)))))))
<< Message( text not matches '[abc]*' ) >>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Message) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT text)) (matches not '[abc]*')))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Message) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT text)) (matches not '[abc]*')))))
<<Foo( bar > 1 || == 1 )>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (|| (> 1) (== 1))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Foo) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT bar)) (|| (> 1) (== 1))))))
<<
Pattern1();
@@ -295,7 +295,7 @@
Pattern3();
Pattern4() from collect( Pattern5() );
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern1))) (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern2))) (VT_FROM_SOURCE x (. y (. z)))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern5))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern6))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern7))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern3))) (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern4))) (collect (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Pattern5))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern1))) (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern2))) (VT_FROM_SOURCE x (. y (. z)))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern5))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern6))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern7))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern3))) (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern4))) (collect (VT_PATTERN (VT_FACT (VT_DATA_TYPE Pattern5))))))
<< eval( 3==3 ) >>
-> (VT_AND_IMPLICIT (eval ( 3==3 )))
@@ -307,31 +307,31 @@
reverse( x--; ),
result( new Integer(x) ) );
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Integer))) (accumulate (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (reverse ( x--; )) (result ( new Integer(x) ))))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Integer))) (accumulate (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (reverse ( x--; )) (result ( new Integer(x) ))))))
<<
Number() from accumulate( Person( $age : age > 21 ),
average( $age ) );
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Number))) (accumulate (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_BIND_FIELD $age (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_ACCUMULATE_ID_CLAUSE average ( $age )))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Number))) (accumulate (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_BIND_FIELD $age (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_ACCUMULATE_ID_CLAUSE average ( $age )))))
<<
#bellow statement makes no sense, but is useful to test parsing recursiveness
$personList : ArrayList() from collect( $p : Person( age > 21 || age < 10 ) from collect( People() from $town.getPeople() ) );
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_QUALIFIED_ID ArrayList)))) (collect (from (VT_PATTERN (VT_FACT_BINDING $p (VT_FACT (VT_QUALIFIED_ID Person) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 10)))))) (collect (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID People))) (VT_FROM_SOURCE $town (. getPeople ()))))))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_DATA_TYPE ArrayList)))) (collect (from (VT_PATTERN (VT_FACT_BINDING $p (VT_FACT (VT_DATA_TYPE Person) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (< 10)))))) (collect (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE People))) (VT_FROM_SOURCE $town (. getPeople ()))))))))
<<
$personList : ArrayList() from accumulate( Person( $age : age > 21 || < 10 ) from collect( People() from $town.getPeople() ),
max( $age ) );
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_QUALIFIED_ID ArrayList)))) (accumulate (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (VT_BIND_FIELD $age (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (|| (> 21) (< 10)))))) (collect (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID People))) (VT_FROM_SOURCE $town (. getPeople ()))))) (VT_ACCUMULATE_ID_CLAUSE max ( $age )))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $personList (VT_FACT (VT_DATA_TYPE ArrayList)))) (accumulate (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (VT_BIND_FIELD $age (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (|| (> 21) (< 10)))))) (collect (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE People))) (VT_FROM_SOURCE $town (. getPeople ()))))) (VT_ACCUMULATE_ID_CLAUSE max ( $age )))))
<<
$p : Person( name == "bob" )
$c : Cheese( type == $p.likes ) || Cheese( price == 10 )
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $p (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "bob"))))) (|| (VT_PATTERN (VT_FACT_BINDING $c (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $p) (VT_ACCESSOR_ELEMENT likes))))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT price)) (== 10))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $p (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT name)) (== "bob"))))) (|| (VT_PATTERN (VT_FACT_BINDING $c (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $p) (VT_ACCESSOR_ELEMENT likes))))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT price)) (== 10))))))
<<
(or
@@ -340,7 +340,7 @@
Meat()
Wine()))
>>
- -> (VT_AND_IMPLICIT (or (not (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person)))) (and (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Meat))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Wine))))))
+ -> (VT_AND_IMPLICIT (or (not (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person)))) (and (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Meat))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Wine))))))
<<
$counter:Integer() from accumulate( $person : Person( age > 21 ) and Cheese( type == $person.likes ),
@@ -348,7 +348,7 @@
action( x++; ),
result( new Integer(x) ) );
>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $counter (VT_FACT (VT_QUALIFIED_ID Integer)))) (accumulate (and (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_QUALIFIED_ID Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $person) (VT_ACCESSOR_ELEMENT likes))))))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT_BINDING $counter (VT_FACT (VT_DATA_TYPE Integer)))) (accumulate (and (VT_PATTERN (VT_FACT_BINDING $person (VT_FACT (VT_DATA_TYPE Person) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (> 21))))) (VT_PATTERN (VT_FACT (VT_DATA_TYPE Cheese) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT type)) (== (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $person) (VT_ACCESSOR_ELEMENT likes))))))) (VT_ACCUMULATE_INIT_CLAUSE (init ( int x = 0; )) (action ( x++; )) (result ( new Integer(x) ))))))
<<
$a : EventA()
@@ -357,13 +357,13 @@
$d : EventD( this not starts $a )
$e : EventE( this not before [1, 10] $b )
>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $a (VT_FACT (VT_QUALIFIED_ID EventA)))) (VT_PATTERN (VT_FACT_BINDING $b (VT_FACT (VT_QUALIFIED_ID EventB) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (after [1,10] (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $a))))))) (VT_PATTERN (VT_FACT_BINDING $c (VT_FACT (VT_QUALIFIED_ID EventC) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (finishes (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $b))))))) (VT_PATTERN (VT_FACT_BINDING $d (VT_FACT (VT_QUALIFIED_ID EventD) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (starts not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $a))))))) (VT_PATTERN (VT_FACT_BINDING $e (VT_FACT (VT_QUALIFIED_ID EventE) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (before not [1, 10] (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $b))))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT_BINDING $a (VT_FACT (VT_DATA_TYPE EventA)))) (VT_PATTERN (VT_FACT_BINDING $b (VT_FACT (VT_DATA_TYPE EventB) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (after [1,10] (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $a))))))) (VT_PATTERN (VT_FACT_BINDING $c (VT_FACT (VT_DATA_TYPE EventC) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (finishes (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $b))))))) (VT_PATTERN (VT_FACT_BINDING $d (VT_FACT (VT_DATA_TYPE EventD) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (starts not (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $a))))))) (VT_PATTERN (VT_FACT_BINDING $e (VT_FACT (VT_DATA_TYPE EventE) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT this)) (before not [1, 10] (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT $b))))))))
<<StockTick( symbol=="ACME") from entry-point StreamA>>
- -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID StockTick) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT symbol)) (== "ACME")))) (entry-point StreamA)))
+ -> (VT_AND_IMPLICIT (from (VT_PATTERN (VT_FACT (VT_DATA_TYPE StockTick) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT symbol)) (== "ACME")))) (entry-point StreamA)))
<<Person( ( age ( > 60 && < 70 ) || ( > 50 && < 55 ) && hair == "black" ) || ( age == 40 && hair == "pink" ) || ( age == 12 && ( hair == "yellow" || hair == "blue" ) ))>>
- -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_QUALIFIED_ID Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (|| (&& (> 60) (< 70)) (&& (> 50) (< 55)))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "black"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 40)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "pink")))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 12)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "yellow")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "blue"))))))))
+ -> (VT_AND_IMPLICIT (VT_PATTERN (VT_FACT (VT_DATA_TYPE Person) (|| (|| (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (|| (&& (> 60) (< 70)) (&& (> 50) (< 55)))) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "black"))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 40)) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "pink")))) (&& (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT age)) (== 12)) (|| (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "yellow")) (VT_FIELD (VT_ACCESSOR_PATH (VT_ACCESSOR_ELEMENT hair)) (== "blue"))))))))
constraints:
More information about the jboss-svn-commits
mailing list