public class LemmataHandler extends Object implements TacletSoundnessPOLoader.TacletFilter
Modifier and Type | Class and Description |
---|---|
private class |
LemmataHandler.Listener |
Modifier and Type | Field and Description |
---|---|
private LemmataAutoModeOptions |
options |
private Profile |
profile |
Constructor and Description |
---|
LemmataHandler(LemmataAutoModeOptions options,
Profile profile) |
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) |
private final LemmataAutoModeOptions options
private final Profile profile
public LemmataHandler(LemmataAutoModeOptions options, Profile profile)
public void println(String s)
public void print(String s)
public void printException(Throwable t)
public void start() throws IOException, ProofInputException
IOException
ProofInputException
private Collection<File> createFilesForAxioms(Collection<String> filenames)
private void handleException(Throwable exception)
private void startProofs(ProofAggregate pa)
private void saveProof(Proof p) throws IOException
IOException
private void startProof(Proof proof)
public ImmutableSet<Taclet> filter(List<TacletSoundnessPOLoader.TacletInfo> taclets)
filter
in interface TacletSoundnessPOLoader.TacletFilter