W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2006

check.py

From: Daniel Krech <eikeon@eikeon.com>
Date: Mon, 19 Jun 2006 18:05:34 -0400
Message-Id: <05F1F6E3-7F5D-4394-9357-107C7D04BA42@eikeon.com>
To: public-cwm-talk@w3.org

While working on the PAW demo, I needed to make the following fix to  
the result method of Checker in order for it to work as advertised  
when passing r=None.

RCS file: /sources/public/2000/10/swap/check.py,v
retrieving revision 1.41
diff -r1.41 check.py
182c182,187
<         fyi("Starting valid on %s" % r, level=level, thresh=1000)
---
 >         fyi("Starting check on %s" % r, level=level, thresh=1000)
 >
 >         proof = self._pf
 >
 >         if r is None and level is 0:
 >             r = proof.the(pred=rdf.type, obj=reason.Proof)
191,192d195
<
<         proof = self._pf

Could someone review the change and commit it for me?

Thank you,
Daniel Krech, http://eikeon.com/
Received on Monday, 19 June 2006 22:05:42 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT