package listener;

import gov.nasa.jpf.ListenerAdapter;
import gov.nasa.jpf.vm.VM;
import gov.nasa.jpf.vm.VMListener;

/**
 * This listener prints a * each time the garbage collector is invoked.
 * 
 * @author Franck van Breugel
 */
public class Garbage extends ListenerAdapter implements VMListener {
	/**
	 * Whenever the garbage collector starts, prints a *.
	 * 
	 * @param vm JPF's VM
	 */
	@Override
	public void gcBegin(VM vm) {
		System.out.println("*");
	}
}