Importing an existing JUnit Plug-in test
If you have JUnit Plug-in tests outside of TPTP, these can be
imported into a TPTP JUnit Plug-in test.
Step 1
If the tests are already within an existing Eclipse plug-in
project, then go to Step 2.
-
Otherwise, first import the Java source and class files from
the file system into a plug-in project by clicking File >
Import > File system.
-
Click Next. The File system import dialog launches.
-
Browse to the required directory, then
navigate to, and select, the relevant files. Click Finish.
Step 2
-
Once the files are in your Eclipse workbench, then import the relevant
Java class files from the plug-in project
by clicking File > Import > JUnit tests as TPTP JUnit Tests > Next to display
the JUnit Tests selection dialog. Alternatively, right-click
one or more JUnit tests in the
Test Navigator
and select Import as TPTP JUnit Tests... or Alt+Shift+T, I.
-
Click Next to display the JUnit Tests selection
dialog.
-
Select TPTP JUnit Plug-in Test as the Destination type.
-
Navigate to the required files and then click on Finish.
- The Confirm Open Editor dialog may appear (see the Window > Preferences... > Test > Open Editor preference), confirming if the new JUnit Plug-in test suite is to be opened in the JUnit Plug-in Test editor.
Note that the import wizard shows all existing JUnit Plug-in test cases in the workspace that have not already been imported to TPTP. If this list is empty, then it means that either no JUnit Plug-in tests were found in the workspace, or that all existing JUnit Plug-in test classes have already been imported to TPTP.