All Downloads are FREE. Search and download functionalities are using the official Maven repository.

soot.jimple.infoflow.solver.gcSolver.NullGarbageCollector Maven / Gradle / Ivy

The newest version!
package soot.jimple.infoflow.solver.gcSolver;

import heros.solver.PathEdge;
import soot.SootMethod;

/**
 * Mock implementation for a garbage collector that does nothing
 * 
 * @author Steven Arzt
 *
 */
public class NullGarbageCollector implements IGarbageCollector {

	@Override
	public void notifyEdgeSchedule(PathEdge edge) {
		// do nothing
	}

	@Override
	public void notifyTaskProcessed(PathEdge edge) {
		// do nothing
	}

	@Override
	public void gc() {
		// do nothing
	}

	@Override
	public int getGcedAbstractions() {
		return 0;
	}

	@Override
	public int getGcedEdges() {
		return 0;
	}

	@Override
	public void notifySolverTerminated() {
	}

	public void setPeerGroup(GarbageCollectorPeerGroup peerGroup) {
		// do nothing.
	}

}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy