Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 114730

Summary:	[README] Undocumented "JUnit plugin tests to TPTP" import wizard
Product:	z_Archived	Reporter:	Julien Canches <julien.canches>
Component:	TPTP	Assignee:	Abdullah Alarakhia <alarakhi>
Status:	CLOSED FIXED	QA Contact:
Severity:	normal
Priority:	P1
Version:	unspecified
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:

Description Julien Canches

2005-11-02 04:54:35 EST

In reaction to bug 113480, a new import wizard was lately created and the
following details should be added to the readme file:

Importing existing JUnit plug-in tests to TPTP
The documentation does not describe how to import an existing JUnit test as a
TPTP JUnit plug-in test. Any JUnit test can be imported as a TPTP JUnit plug-in
test, provided that it belongs to a plug-in project. To do so, go to File >
Import..., and select "JUnit plugin tests to TPTP". The next page shows the
plug-in projects found in the workspace, and the JUnit tests in these projects.
Simply select the tests that you wish to import into TPTP and click on Finish.
The imported tests are now available for editing and running in the Test
Navigator view.

Comment 1 Abdullah Alarakhia

2005-11-02 13:32:26 EST

Please confirm...

The "JUnit plugin tests to TPTP" wizard should be used to:
- import a JUnit plug-in project as a standard TPTP JUnit test.

The "JUnit tests to TPTP" wizard should be used to:
- import a JUnit plug-in project as a TPTP JUnit plug-in test. (Note: this is a
little counter-intuitive)
- import a standard JUnit project as a standar TPTP JUnit test.

Comment 2 Abdullah Alarakhia

2005-11-02 13:35:37 EST

Note: I opened related defects to update screen shots
(https://bugs.eclipse.org/bugs/show_bug.cgi?id=114792) and change "plugin" to
"plug-in" in the UI (https://bugs.eclipse.org/bugs/show_bug.cgi?id=114807).

The UI change (114807) is not expected to make it in i3. However if 114807 does
make it into i3 the screen shots (114792) need to be recaptured.

Comment 3 Abdullah Alarakhia

2005-11-02 14:29:24 EST

Assuming that comment #1 is accurate, I compiled this 4_1 README item and sent 
it to Ruth Lee for submittal.

Comment 4 Julien Canches

2005-11-03 04:57:27 EST

(In reply to comment #1)

I'm sorry I didn't reply sooner, but no, it is the opposite:

The "JUnit plugin tests to TPTP" wizard should be used to:
- import JUnit tests of a plug-in project as TPTP JUnit plug-in tests

The "JUnit tests to TPTP" wizard should be used to:
- import JUnit tests of a plug-in project as TPTP JUnit plug-in tests
- import JUnit tests of a Java project as standard TPTP JUnit tests.

Comment 5 Julien Canches

2005-11-03 07:19:56 EST

(In reply to comment #4)
Sorry, please disregard my last comment, it should read:

The "JUnit plugin tests to TPTP" wizard should be used to:
- import JUnit tests of a plug-in project as TPTP JUnit plug-in tests

The "JUnit tests to TPTP" wizard should be used to:
- import JUnit tests of a plug-in project as standard TPTP JUnit tests
- import JUnit tests of a Java project as standard TPTP JUnit tests.

Comment 6 Ruth Lee

2005-11-03 16:24:46 EST

Approved by Harm, reviewed and checked in by Ruth.

Comment 7 Paul Slauenwhite

2006-11-16 08:59:11 EST

ACTION: Please verify/close this defect.

Comment 8 Julien Canches

2006-11-16 09:31:27 EST

Verified on TPTP-4.1.