IRTLogger.java

package org.overture.interpreter.messages.rtlog;

import java.io.File;
import java.io.FileNotFoundException;

public interface IRTLogger
{

	public abstract void enable(boolean on);

	public abstract void log(RTMessage message);

	public abstract void setLogfile(File file) throws FileNotFoundException;

	public abstract int getLogSize();

	public abstract void dump(boolean close);

}