/*******************************************************************************
* Copyright (c) 2009-2013 CWI
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* * Jurgen J. Vinju - Jurgen.Vinju@cwi.nl - CWI
* * Anya Helene Bagge - anya@ii.uib.no (Univ. Bergen)
* * Arnold Lankamp - Arnold.Lankamp@cwi.nl
*******************************************************************************/
package org.rascalmpl.interpreter;
import java.io.PrintStream;
import java.io.PrintWriter;
import org.rascalmpl.debug.IRascalMonitor;
import org.rascalmpl.value.ISourceLocation;
public class ConsoleRascalMonitor implements IRascalMonitor {
PrintWriter out;
public ConsoleRascalMonitor() {
this.out = new PrintWriter(System.err);
}
public ConsoleRascalMonitor(PrintStream out) {
this.out = new PrintWriter(out);
}
@Override
public int endJob(boolean succeeded) {
return 0;
}
@Override
public void event(String name) {
//out.println(name);
//out.flush();
}
@Override
public void event(String name, int inc) {
//out.println(name);
//out.flush();
}
@Override
public void event(int inc) {
}
@Override
public void startJob(String name, int totalWork) {
// System.err.println("Starting: " + name);
out.println(name);
out.flush();
}
@Override
public void startJob(String name) {
out.println(name);
out.flush();
}
@Override
public void startJob(String name, int workShare, int totalWork) {
out.println(name);
out.flush();
}
@Override
public void todo(int work) {
}
@Override
public boolean isCanceled() {
return false;
}
@Override
public void warning(String message, ISourceLocation src) {
out.println("Warning: " + message);
out.flush();
}
}