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

Go to download

package soot.jimple.infoflow.solver.gcSolver;

import soot.jimple.infoflow.solver.SolverPeerGroup;

/**
 * Specialized solver peer group for garbage-collecting solvers
 * 
 * @author Steven Arzt
 *
 */
public class GCSolverPeerGroup extends SolverPeerGroup {

	private GarbageCollectorPeerGroup gcPeerGroup = null;

	public GCSolverPeerGroup() {
	}

	/**
	 * Creates the peer group for the garbage collectors
	 * 
	 * @return The garbage collector peer group
	 */
	public GarbageCollectorPeerGroup getGCPeerGroup() {
		if (gcPeerGroup == null)
			gcPeerGroup = new GarbageCollectorPeerGroup();
		return gcPeerGroup;
	}

}