<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:x="urn:schemas-microsoft-com:office:excel" xmlns:p="urn:schemas-microsoft-com:office:powerpoint" xmlns:a="urn:schemas-microsoft-com:office:access" xmlns:dt="uuid:C2F41010-65B3-11d1-A29F-00AA00C14882" xmlns:s="uuid:BDC6E3F0-6DA3-11d1-A2A3-00AA00C14882" xmlns:rs="urn:schemas-microsoft-com:rowset" xmlns:z="#RowsetSchema" xmlns:b="urn:schemas-microsoft-com:office:publisher" xmlns:ss="urn:schemas-microsoft-com:office:spreadsheet" xmlns:c="urn:schemas-microsoft-com:office:component:spreadsheet" xmlns:odc="urn:schemas-microsoft-com:office:odc" xmlns:oa="urn:schemas-microsoft-com:office:activation" xmlns:html="http://www.w3.org/TR/REC-html40" xmlns:q="http://schemas.xmlsoap.org/soap/envelope/" xmlns:rtc="http://microsoft.com/officenet/conferencing" xmlns:D="DAV:" xmlns:Repl="http://schemas.microsoft.com/repl/" xmlns:mt="http://schemas.microsoft.com/sharepoint/soap/meetings/" xmlns:x2="http://schemas.microsoft.com/office/excel/2003/xml" xmlns:ppda="http://www.passport.com/NameSpace.xsd" xmlns:ois="http://schemas.microsoft.com/sharepoint/soap/ois/" xmlns:dir="http://schemas.microsoft.com/sharepoint/soap/directory/" xmlns:ds="http://www.w3.org/2000/09/xmldsig#" xmlns:dsp="http://schemas.microsoft.com/sharepoint/dsp" xmlns:udc="http://schemas.microsoft.com/data/udc" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:sub="http://schemas.microsoft.com/sharepoint/soap/2002/1/alerts/" xmlns:ec="http://www.w3.org/2001/04/xmlenc#" xmlns:sp="http://schemas.microsoft.com/sharepoint/" xmlns:sps="http://schemas.microsoft.com/sharepoint/soap/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:udcs="http://schemas.microsoft.com/data/udc/soap" xmlns:udcxf="http://schemas.microsoft.com/data/udc/xmlfile" xmlns:udcp2p="http://schemas.microsoft.com/data/udc/parttopart" xmlns:wf="http://schemas.microsoft.com/sharepoint/soap/workflow/" xmlns:dsss="http://schemas.microsoft.com/office/2006/digsig-setup" xmlns:dssi="http://schemas.microsoft.com/office/2006/digsig" xmlns:mdssi="http://schemas.openxmlformats.org/package/2006/digital-signature" xmlns:mver="http://schemas.openxmlformats.org/markup-compatibility/2006" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns:mrels="http://schemas.openxmlformats.org/package/2006/relationships" xmlns:spwp="http://microsoft.com/sharepoint/webpartpages" xmlns:ex12t="http://schemas.microsoft.com/exchange/services/2006/types" xmlns:ex12m="http://schemas.microsoft.com/exchange/services/2006/messages" xmlns:pptsl="http://schemas.microsoft.com/sharepoint/soap/SlideLibrary/" xmlns:spsl="http://microsoft.com/webservices/SharePointPortalServer/PublishedLinksService" xmlns:Z="urn:schemas-microsoft-com:" xmlns:st="" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=WordSection1>
<p class=MsoNormal>Using org.drools.verifier found in “drools-verifier-5.1.1.jar”
I get an org.drools.RuntimeDroolsException if a pattern in a rule LHS contains
a comparison to a literal value using the equals operator.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Please consider the following rule I created solely for the
purposes of isolating this issue.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#960000'>package</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>
com.simple.test.</span><b><span style='font-size:10.0pt;font-family:"Courier New";
color:#960000'>rule</span></b><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#960000'>import</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>
com.p1s.mps.rulevalidator.TestFact;</span><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#960000'>rule</span></b><span style='font-size:
10.0pt;font-family:"Courier New";color:black'> </span><span style='font-size:
10.0pt;font-family:"Courier New";color:green'>"TestRule"</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#960000'>when</span></b><span style='font-size:
10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> $fact :
TestFact(value == 1)</span><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#960000'>then</span></b><span style='font-size:
10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> System.out.println($fact.getValue());</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal><b><span style='font-size:10.0pt;font-family:"Courier New";
color:#960000'>end</span></b><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>The following class definition for the TestFact.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#7F0055'>package</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>
com.p1s.mps.rulevalidator;</span><span style='font-size:10.0pt;font-family:
"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#7F0055'>public</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>class</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> TestFact </span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'>{</span><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>private</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>int</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><span
style='font-size:10.0pt;font-family:"Courier New";color:#0000C0'>value</span><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>public</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> TestFact(</span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>int</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> value) {</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>this</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>.</span><span
style='font-size:10.0pt;font-family:"Courier New";color:#0000C0'>value</span><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> = value;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> }</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>public</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>int</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> getValue() {</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>return</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><span
style='font-size:10.0pt;font-family:"Courier New";color:#0000C0'>value</span><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> }</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>public</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>void</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> setValue(</span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>int</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> value) {</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>this</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>.</span><span
style='font-size:10.0pt;font-family:"Courier New";color:#0000C0'>value</span><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> = value;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> }</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><span
style='font-size:10.0pt;font-family:"Courier New";color:#646464'>@Override</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>public</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>int</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> hashCode() {</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>final</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>int</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> prime = 31;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>int</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> result = 1;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> result
= prime * result + </span><span style='font-size:10.0pt;font-family:"Courier New";
color:#0000C0'>value</span><span style='font-size:10.0pt;font-family:"Courier New";
color:black'>;</span><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>return</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> result;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> }</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><span
style='font-size:10.0pt;font-family:"Courier New";color:#646464'>@Override</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>public</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>boolean</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> equals(Object
obj) {</span><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>if</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> (</span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>this</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> == obj)</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>return</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>true</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>if</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> (obj == </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>null</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>)</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>return</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>false</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>if</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> (getClass() !=
obj.getClass())</span><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>return</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>false</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> TestFact
<span style='background:yellow;mso-highlight:yellow'>other</span> = (TestFact)
obj;</span><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>if</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> (</span><span
style='font-size:10.0pt;font-family:"Courier New";color:#0000C0'>value</span><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> != <span
style='background:silver;mso-highlight:silver'>other</span>.</span><span
style='font-size:10.0pt;font-family:"Courier New";color:#0000C0'>value</span><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>)</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>return</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>false</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>return</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>true</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>;</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> } </span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal><span style='font-size:10.0pt;font-family:"Courier New";
color:black'>}</span><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>The following unit test which attempts to use Verifier.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><span
style='font-size:10.0pt;font-family:"Courier New";color:#646464'>@Test</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>public</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>final</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> </span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>void</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>
testVerifierOnLiteral()</span><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> {</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> VerifierBuilder
verBuilder = VerifierBuilderFactory.<i>newVerifierBuilder</i>();</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'>
Verifier ver = verBuilder.newVerifier();</span><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'>
String <span style='background:yellow;mso-highlight:yellow'>ruleText</span> =
getRuleFromResource(</span><i><span style='font-size:10.0pt;font-family:"Courier New";
color:#0000C0'>TEST_RULE</span></i><span style='font-size:10.0pt;font-family:
"Courier New";color:black'>);</span><span style='font-size:10.0pt;font-family:
"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'>
ver.addResourcesToVerify( ResourceFactory.<i>newReaderResource</i>( </span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'>
</span><b><span
style='font-size:10.0pt;font-family:"Courier New";color:#7F0055'>new</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'> StringReader( <span
style='background:silver;mso-highlight:silver'>ruleText</span> ) ),
ResourceType.</span><i><span style='font-size:10.0pt;font-family:"Courier New";
color:#0000C0'>DRL</span></i><span style='font-size:10.0pt;font-family:"Courier New";
color:black'> );</span><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'>
</span><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'>
Assert.<i>assertTrue</i>(ver.fireAnalysis());
</span><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal><span style='font-size:10.0pt;font-family:"Courier New";
color:black'> }</span><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Running the test with JUnit produces the following exception.<o:p></o:p></p>
<p class=MsoNormal>java.lang.RuntimeException:
org.drools.RuntimeDroolsException: Exception executing ReturnValue constraint
org.drools.rule.ReturnValueRestriction@589f81 : [Error: cannot convert
<1> to a numeric type: class java.lang.Integer [0]]<o:p></o:p></p>
<p class=MsoNormal>[Near : {... Unknown ....}]<o:p></o:p></p>
<p class=MsoNormal>
^<o:p></o:p></p>
<p class=MsoNormal>[Line: 1, Column: 0]<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.verifier.builder.VerifierImpl.analyse(VerifierImpl.java:148)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.verifier.builder.VerifierImpl.fireAnalysis(VerifierImpl.java:117)<o:p></o:p></p>
<p class=MsoNormal> at
com.p1s.mps.rulevalidator.NumericConversionTest.testVerifierOnLiteral(NumericConversionTest.java:64)<o:p></o:p></p>
<p class=MsoNormal> at
sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)<o:p></o:p></p>
<p class=MsoNormal> at
sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)<o:p></o:p></p>
<p class=MsoNormal> at
sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)<o:p></o:p></p>
<p class=MsoNormal> at
java.lang.reflect.Method.invoke(Unknown Source)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:44)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:41)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:28)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:31)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:73)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:46)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.runners.ParentRunner.runChildren(ParentRunner.java:180)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.runners.ParentRunner.access$000(ParentRunner.java:41)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.runners.ParentRunner$1.evaluate(ParentRunner.java:173)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:28)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:31)<o:p></o:p></p>
<p class=MsoNormal> at
org.junit.runners.ParentRunner.run(ParentRunner.java:220)<o:p></o:p></p>
<p class=MsoNormal> at
org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:46)<o:p></o:p></p>
<p class=MsoNormal> at
org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38)<o:p></o:p></p>
<p class=MsoNormal> at
org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:467)<o:p></o:p></p>
<p class=MsoNormal> at
org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:683)<o:p></o:p></p>
<p class=MsoNormal> at
org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:390)<o:p></o:p></p>
<p class=MsoNormal> at
org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:197)<o:p></o:p></p>
<p class=MsoNormal>Caused by: org.drools.RuntimeDroolsException: Exception
executing ReturnValue constraint org.drools.rule.ReturnValueRestriction@589f81
: [Error: cannot convert <1> to a numeric type: class java.lang.Integer
[0]]<o:p></o:p></p>
<p class=MsoNormal>[Near : {... Unknown ....}]<o:p></o:p></p>
<p class=MsoNormal>
^<o:p></o:p></p>
<p class=MsoNormal>[Line: 1, Column: 0]<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.rule.ReturnValueConstraint.isAllowedCachedRight(ReturnValueConstraint.java:168)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.common.TripleBetaConstraints.isAllowedCachedRight(TripleBetaConstraints.java:211)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.reteoo.NotNode.assertObject(NotNode.java:140)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.reteoo.SingleObjectSinkAdapter.propagateAssertObject(SingleObjectSinkAdapter.java:59)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.reteoo.AlphaNode.assertObject(AlphaNode.java:145)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.reteoo.CompositeObjectSinkAdapter.doPropagateAssertObject(CompositeObjectSinkAdapter.java:450)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.reteoo.CompositeObjectSinkAdapter.propagateAssertObject(CompositeObjectSinkAdapter.java:378)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.reteoo.ObjectTypeNode.assertObject(ObjectTypeNode.java:190)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.reteoo.EntryPointNode.assertObject(EntryPointNode.java:145)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.common.AbstractWorkingMemory.insert(AbstractWorkingMemory.java:1174)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.common.AbstractWorkingMemory.insert(AbstractWorkingMemory.java:1123)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.common.AbstractWorkingMemory.insert(AbstractWorkingMemory.java:917)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.impl.StatefulKnowledgeSessionImpl.insert(StatefulKnowledgeSessionImpl.java:251)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.verifier.builder.VerifierImpl.analyse(VerifierImpl.java:136)<o:p></o:p></p>
<p class=MsoNormal> ...
26 more<o:p></o:p></p>
<p class=MsoNormal>Caused by: org.drools.RuntimeDroolsException: [Error: cannot
convert <1> to a numeric type: class java.lang.Integer [0]]<o:p></o:p></p>
<p class=MsoNormal>[Near : {... Unknown ....}]<o:p></o:p></p>
<p class=MsoNormal>
^<o:p></o:p></p>
<p class=MsoNormal>[Line: 1, Column: 0]<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.rule.ReturnValueRestriction.isAllowed(ReturnValueRestriction.java:236)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.rule.ReturnValueConstraint.isAllowedCachedRight(ReturnValueConstraint.java:162)<o:p></o:p></p>
<p class=MsoNormal> ...
39 more<o:p></o:p></p>
<p class=MsoNormal>Caused by: [Error: cannot convert <1> to a numeric
type: class java.lang.Integer [0]]<o:p></o:p></p>
<p class=MsoNormal>[Near : {... Unknown ....}]<o:p></o:p></p>
<p class=MsoNormal>
^<o:p></o:p></p>
<p class=MsoNormal>[Line: 1, Column: 0]<o:p></o:p></p>
<p class=MsoNormal> at
org.mvel2.math.MathProcessor.getInternalNumberFromType(MathProcessor.java:577)<o:p></o:p></p>
<p class=MsoNormal> at
org.mvel2.math.MathProcessor._doOperations(MathProcessor.java:155)<o:p></o:p></p>
<p class=MsoNormal> at
org.mvel2.math.MathProcessor.doOperations(MathProcessor.java:79)<o:p></o:p></p>
<p class=MsoNormal> at
org.mvel2.ast.BinaryOperation.getReducedValueAccelerated(BinaryOperation.java:102)<o:p></o:p></p>
<p class=MsoNormal> at
org.mvel2.MVELRuntime.execute(MVELRuntime.java:85)<o:p></o:p></p>
<p class=MsoNormal> at
org.mvel2.compiler.CompiledExpression.getValue(CompiledExpression.java:104)<o:p></o:p></p>
<p class=MsoNormal> at
org.mvel2.MVEL.executeExpression(MVEL.java:978)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.base.mvel.MVELReturnValueExpression.evaluate(MVELReturnValueExpression.java:92)<o:p></o:p></p>
<p class=MsoNormal> at
org.drools.rule.ReturnValueRestriction.isAllowed(ReturnValueRestriction.java:226)<o:p></o:p></p>
<p class=MsoNormal> ...
40 more<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>However, if I use the following version of the same rule
where I have added parentheses it works.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#960000'>package</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>
com.simple.test.</span><b><span style='font-size:10.0pt;font-family:"Courier New";
color:#960000'>rule</span></b><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#960000'>import</span></b><span
style='font-size:10.0pt;font-family:"Courier New";color:black'>
com.p1s.mps.rulevalidator.TestFact;</span><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#960000'>rule</span></b><span style='font-size:
10.0pt;font-family:"Courier New";color:black'> </span><span style='font-size:
10.0pt;font-family:"Courier New";color:green'>"TestRule"</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#960000'>when</span></b><span style='font-size:
10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> $fact :
TestFact(value == (1))</span><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#960000'>then</span></b><span style='font-size:
10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New";color:black'> System.out.println($fact.getValue());</span><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><b><span style='font-size:10.0pt;
font-family:"Courier New";color:#960000'>end</span></b><span style='font-size:
10.0pt;font-family:"Courier New"'><o:p></o:p></span></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Note that both versions of the DRL file compile, run, and
produce the correct results.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Thank You,<o:p></o:p></p>
<p class=MsoNormal>Nathan Bell<o:p></o:p></p>
</div>
</body>
</html>