de.uka.ilkd.key.proof.join

Interface JoinProcessor.Listener

Enclosing class:

JoinProcessor

public static interface JoinProcessor.Listener

Method Summary

Modifier and Type	Method and Description
void	endOfJoining(ImmutableList<Goal> goals)
void	exceptionWhileJoining(Throwable e)

Method Detail

exceptionWhileJoining

void exceptionWhileJoining(Throwable e)

endOfJoining

void endOfJoining(ImmutableList<Goal> goals)