<?xml version="1.0" encoding="utf-8" ?>
<slml xmlns="http://www.witmate.com/slml">
<!--SLML Generated by SLCompiler[20051212104440] -->
<!-- LogicSet -->
<lset id="RuleExecutionSet1">
<let n="credit_limit" t="int"><atom opt="witmate.opt.GetAttribute" s="1"><var n="Customer" c="org.jcp.jsr94.tck.model.Customer" t="obj" s="1"/><con t="str" s="2"><![CDATA[CreditLimit]]></con></atom></let>
<let n="amount" t="int"><atom opt="witmate.opt.GetAttribute" s="1"><var n="Invoice" c="org.jcp.jsr94.tck.model.Invoice" t="obj" s="1"/><con t="str" s="2"><![CDATA[Amount]]></con></atom></let>
<let n="invoice_status" t="str"><atom opt="witmate.opt.GetAttribute" s="1"><var n="Invoice" c="org.jcp.jsr94.tck.model.Invoice" t="obj" s="1"/><con t="str" s="2"><![CDATA[Status]]></con></atom></let>
<lgc>
<if>
<and>
<and><atom opt="witmate.opt.Math$GreaterInt" s="1"><var n="credit_limit" t="int" s="1"/><var n="amount" t="int" s="2"/></atom><atom opt="witmate.opt.Text$Equals" s="2"><var n="invoice_status" t="str" s="1"/><con t="str" s="2"><![CDATA[unpaid]]></con></atom></and>
</and>
</if>
<then>
<do><atom opt="witmate.jsr94tck.opt.SetCustomerCreditLimit" s="1"><var n="Customer" c="org.jcp.jsr94.tck.model.Customer" t="obj" s="1"/><atom opt="witmate.opt.Math$SubInt" s="2"><var n="credit_limit" t="int" s="1"/><var n="amount" t="int" s="2"/></atom></atom></do>
<do><atom opt="witmate.opt.SetAttribute" s="1"><var n="Invoice" c="org.jcp.jsr94.tck.model.Invoice" t="obj" s="1"/><con t="str" s="2"><![CDATA[Status]]></con><con t="str" s="3"><![CDATA[paid]]></con></atom></do>
<rtn v="1"><var c="org.jcp.jsr94.tck.model.Customer" t="obj" n="Customer" s="1"/><var c="org.jcp.jsr94.tck.model.Invoice" t="obj" n="Invoice" s="2"/></rtn>
</then>
</lgc>
</lset>
</slml>

