Importing an existing JUnit test
If you have JUnit tests outside of TPTP, these can be
imported into a TPTP JUnit test.
If the tests are already within an existing Eclipse Java
project, then go to Step 2.
Otherwise, first import the Java source and class files from
the file system into a Java 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 Java 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.
Select TPTP JUnit 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 test suite is to be opened in the JUnit Test editor.
Note that the import wizard shows all existing JUnit 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 tests were found in the workspace, or that all existing JUnit test classes have already been imported to TPTP.