Re: [Javabdd-devel] Verbose output
Brought to you by:
joewhaley
|
From: Ricardo O. <n3...@ho...> - 2008-07-23 18:24:39
|
Hi, Thanks for your quick reply. :) I tried using that, but am getting an error: Base object for callback method is the wrong type What type should the object be? I actually also tried assigning it to null, but it didn't work ;) Thanks, Ricardo. Date: Tue, 22 Jul 2008 19:48:12 -0700From: joe...@gm...: n3...@ho...: Re: [Javabdd-devel] Verbose outputCC: jav...@li... Hi,I think you can register a GC callback using "registerGCCallback". That will override the default callback which just prints a message to stderr.-John On Tue, Jul 22, 2008 at 11:10 AM, Ricardo Oliveira <n3...@ho...> wrote: Hi, I'd like to know if there's a way do disable the GC verbose output that keeps coming out to stderr. BTW, great job on JavaBDD :)Thank you,Ricardo. Discover the new Windows Vista Learn more!-------------------------------------------------------------------------This SF.Net email is sponsored by the Moblin Your Move Developer's challengeBuild the coolest Linux based applications with Moblin SDK & win great prizesGrand prize is a trip for two to an Open Source event anywhere in the worldhttp://moblin-contest.org/redirect.php?banner_id=100&url=/_______________________________________________Javabdd-devel mailing lis...@li...://lists.sourceforge.net/lists/listinfo/javabdd-devel _________________________________________________________________ Connect to the next generation of MSN Messenger http://imagine-msn.com/messenger/launch80/default.aspx?locale=en-us&source=wlmailtagline |