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

Class ConsoleGenericRemoverMonitor

java.lang.Object

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

All Implemented Interfaces:

GenericRemoverMonitor

public class ConsoleGenericRemoverMonitor
extends Object
implements GenericRemoverMonitor

Constructor Summary

Constructors

Constructor	Description
ConsoleGenericRemoverMonitor()

Method Summary

Modifier and Type	Method	Description
void	taskStarted(String message)
void	warningOccurred(String message)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ConsoleGenericRemoverMonitor

public ConsoleGenericRemoverMonitor()

Method Details

taskStarted

public void taskStarted(String message)

Specified by:

taskStarted in interface GenericRemoverMonitor

warningOccurred

public void warningOccurred(String message)

Specified by:

warningOccurred in interface GenericRemoverMonitor