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.
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.
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
and select Import as TPTP JUnit Tests... or Alt+Shift+T, I.
Click Next to display the JUnit Tests selection
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.