de.uka.ilkd.key.gui.lemmatagenerator

Class LemmataHandler

java.lang.Object

de.uka.ilkd.key.gui.lemmatagenerator.LemmataHandler

All Implemented Interfaces:

TacletSoundnessPOLoader.TacletFilter

public class LemmataHandler
extends Object
implements TacletSoundnessPOLoader.TacletFilter

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	LemmataHandler.Listener

Field Summary

Fields

Modifier and Type	Field and Description
private LemmataAutoModeOptions	options
private Profile	profile

Constructor Summary

Constructors

Constructor and Description
LemmataHandler(LemmataAutoModeOptions options, Profile profile)

Method Summary

Modifier and Type	Method and Description
private Collection<File>	createFilesForAxioms(Collection<String> filenames)
ImmutableSet<Taclet>	filter(List<TacletSoundnessPOLoader.TacletInfo> taclets)
private void	handleException(Throwable exception)
void	print(String s)
void	printException(Throwable t)
void	println(String s)
private void	saveProof(Proof p)
void	start()
private void	startProof(Proof proof)
private void	startProofs(ProofAggregate pa)

Methods inherited from class java.lang.Object

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

Field Detail

options

private final LemmataAutoModeOptions options

profile

private final Profile profile

Constructor Detail

LemmataHandler

public LemmataHandler(LemmataAutoModeOptions options,
                      Profile profile)

Method Detail

println

public void println(String s)

print

public void print(String s)

printException

public void printException(Throwable t)

start

public void start()
           throws IOException,
                  ProofInputException

Throws:

IOException

ProofInputException

createFilesForAxioms

private Collection<File> createFilesForAxioms(Collection<String> filenames)

handleException

private void handleException(Throwable exception)

startProofs

private void startProofs(ProofAggregate pa)

saveProof

private void saveProof(Proof p)
                throws IOException

Throws:

IOException

startProof

private void startProof(Proof proof)

filter

public ImmutableSet<Taclet> filter(List<TacletSoundnessPOLoader.TacletInfo> taclets)

Specified by:

filter in interface TacletSoundnessPOLoader.TacletFilter