[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [cosmos-dev] TPTP CBE data generator
|
Here is your bone
As I recall, there are several ways
to create CBEs in TPTP. I f you just want to log some info from your code,
you can use the JSR47 logger with a CBE formatter or , simply use the CBE
implementation that creates CBE objects and provides a toXML method.
Cindy can help you with the details
(particularly the ones I got wrong ;-))
Thanks for your time.
--------------------------------------------------------------------------
Harm Sluiman, STSM,
phone:905-413-4032 fax: 4920
cell: 1-647-300-4758
mailto:sluiman@xxxxxxxxxx
Admin : Arlene Treanor atreanor@xxxxxxxxxx Tie: 969-2323 1-905-413-2323
"Hawkins, Joel"
<Joel.Hawkins@xxxxxxxxxxxxx>
Sent by: cosmos-dev-bounces@xxxxxxxxxxx
01/26/2007 02:17 PM
Please respond to
Cosmos Dev <cosmos-dev@xxxxxxxxxxx> |
|
To
| "Cosmos Dev" <cosmos-dev@xxxxxxxxxxx>
|
cc
|
|
Subject
| [cosmos-dev] TPTP CBE data generator |
|
Fellow Cosmos-ers,
Can anyone out there
point me to a TPTP Agent that will generate a CBE data stream? All I’ve
got are things like the time collector, etc. that come with TPTP.
Someone throw me a
frickin’ bone here. ;-)
Thanks,
Joel
=00The contents of this e-mail are intended for the named
addressee only. It contains information that may be confidential. Unless
you are the named addressee or an authorized designee, you may not copy
or use it, or disclose it to anyone else. If you received it in error please
notify us immediately and then destroy it._______________________________________________
cosmos-dev mailing list
cosmos-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/cosmos-dev