public static class TGWorker.MainWindowTestGenerator extends AbstractTestGenerator
Proof
s in the MainWindow
visible to the user.
This class provides only the user interface and no test generation
logic which is implemented by the
AbstractTestGenerator
.
Modifier and Type | Field and Description |
---|---|
private KeYMediator |
mediator |
private boolean |
showInMainWindow
Defines if created
Proof s are visible in the MainWindow or not. |
Constructor and Description |
---|
MainWindowTestGenerator(KeYMediator mediator,
Proof originalProof,
boolean showInMainWindow)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected Proof |
createProof(UserInterfaceControl ui,
Proof oldProof,
java.lang.String newName,
Sequent newSequent) |
void |
dispose()
Removes all generated proofs.
|
protected void |
handleAllProofsPerformed(UserInterfaceControl ui) |
protected void |
selectProof(UserInterfaceControl ui,
Proof proof) |
filterSolverResultsAndShowSolverStatistics, generateFiles, generateTestCases, getOriginalProof, getProofs, getUI, handleLauncherStarted, handleLauncherStopped, informAboutNoTestResults, isSolverAvailable, stopSMTLauncher
private final boolean showInMainWindow
Proof
s are visible in the MainWindow
or not.private final KeYMediator mediator
public MainWindowTestGenerator(KeYMediator mediator, Proof originalProof, boolean showInMainWindow)
mediator
- The KeYMediator
to use.originalProof
- The Proof
to generate test cases for.showInMainWindow
- Defines if created Proof
s are visible in the MainWindow
or not.public void dispose()
dispose
in class AbstractTestGenerator
protected Proof createProof(UserInterfaceControl ui, Proof oldProof, java.lang.String newName, Sequent newSequent) throws ProofInputException
createProof
in class AbstractTestGenerator
ProofInputException
protected void handleAllProofsPerformed(UserInterfaceControl ui)
handleAllProofsPerformed
in class AbstractTestGenerator
protected void selectProof(UserInterfaceControl ui, Proof proof)
selectProof
in class AbstractTestGenerator