cz.cuni.mff.ksi.jinfer.functionalDependencies.interfaces
Interface RepairerCallback

public interface RepairerCallback

Repair defining a response to Repairer finishing its work.

Method Summary

void	finished(List<RXMLTree> repairedTrees) This method is called by a Repairer implementation, after it has finished its work.

Method Detail

finished

void finished(List<RXMLTree> repairedTrees)

This method is called by a Repairer implementation, after it has finished its work.

Parameters:

repairedTrees - Repaired XML tree.