Community
Participate
Working Groups
WI1 (119688): Create a generic Java API recording agent. Note: This defect covers work item 1 of enhancement #119688 (https://bugs.eclipse.org/bugs/show_bug.cgi?id=119688) for providing a generic Java API recorder. See http://www.eclipse.org/tptp/groups/Architecture/documents/features/hf_119688.html#WorkItem_1 for more details.
*** Bug 140670 has been marked as a duplicate of this bug. ***
Reassign to Paul.
These are work items for a 4.3 proposed enhancement.
New test/org.eclipse.tptp.test.tools.api plugin checked in to CVS (HEAD).
Verified in TPTP-4.3.0-200611070100. Closing.