Package de.uka.ilkd.key.util.removegenerics.monitor

Interface GenericRemoverMonitor

All Known Implementing Classes:
ConsoleGenericRemoverMonitor
public interface GenericRemoverMonitor

  • Method Details

    • taskStarted

      void taskStarted(String message)

    • warningOccurred

      void warningOccurred(String message)