soot.jimple.infoflow.solver.gcSolver.fpc.IGraph Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of soot-infoflow Show documentation

Soot extending data flow tracking components for Java

The newest version!

package soot.jimple.infoflow.solver.gcSolver.fpc;

import java.util.Set;

public interface IGraph {

	public Set getNodes();

	public Set succsOf(N n);

	public Set predsOf(N n);

	public void addNode(N n);

	public void addEdge(N n1, N n2);

	public boolean contains(N n);

	/*
	 * removing the node itself and all edges it associated with.
	 */
	public void remove(N n);

	public void removeEdge(N n1, N n2);
}