cz.cuni.mff.ksi.jinfer.base.interfaces.inference
Interface IGGeneratorCallback

public interface IGGeneratorCallback

Interface defining a response to IGGenerator finishing its work.

Method Summary

void	finished(List<Element> grammar) This method is called by a IGGenerator implementation, after it has finished its work.

Method Detail

finished

void finished(List<Element> grammar)

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

Parameters:

grammar - Initial grammar as retrieved from input files.