de.uka.ilkd.key.gui.testgen

Class TGWorker.MainWindowTestGenerator

java.lang.Object

de.uka.ilkd.key.smt.testgen.AbstractTestGenerator

de.uka.ilkd.key.gui.testgen.TGWorker.MainWindowTestGenerator

Enclosing class:

TGWorker

public static class TGWorker.MainWindowTestGenerator
extends AbstractTestGenerator

Registers created Proofs 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.

Field Summary

Fields

Modifier and Type	Field and Description
private KeYMediator	mediator
private boolean	showInMainWindow Defines if created Proofs are visible in the MainWindow or not.

Constructor Summary

Constructors

Constructor and Description
MainWindowTestGenerator(KeYMediator mediator, Proof originalProof, boolean showInMainWindow) Constructor.

Method Summary

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)

Methods inherited from class de.uka.ilkd.key.smt.testgen.AbstractTestGenerator

filterSolverResultsAndShowSolverStatistics, generateFiles, generateTestCases, getOriginalProof, getProofs, getUI, handleLauncherStarted, handleLauncherStopped, informAboutNoTestResults, isSolverAvailable, stopSMTLauncher

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

showInMainWindow

private final boolean showInMainWindow

Defines if created Proofs are visible in the MainWindow or not.

mediator

private final KeYMediator mediator

Constructor Detail

MainWindowTestGenerator

public MainWindowTestGenerator(KeYMediator mediator,
                               Proof originalProof,
                               boolean showInMainWindow)

Constructor.

Parameters:

mediator - The KeYMediator to use.

originalProof - The Proof to generate test cases for.

showInMainWindow - Defines if created Proofs are visible in the MainWindow or not.

Method Detail

dispose

public void dispose()

Removes all generated proofs.

Overrides:

dispose in class AbstractTestGenerator

createProof

protected Proof createProof(UserInterfaceControl ui,
                            Proof oldProof,
                            java.lang.String newName,
                            Sequent newSequent)
                     throws ProofInputException

Overrides:

createProof in class AbstractTestGenerator

Throws:

ProofInputException

handleAllProofsPerformed

protected void handleAllProofsPerformed(UserInterfaceControl ui)

Overrides:

handleAllProofsPerformed in class AbstractTestGenerator

selectProof

protected void selectProof(UserInterfaceControl ui,
                           Proof proof)

Overrides:

selectProof in class AbstractTestGenerator