heros.solver

Class PathEdge<N,D>

java.lang.Object

heros.solver.PathEdge<N,D>

Type Parameters:

N - The type of nodes in the interprocedural control-flow graph. Typically Unit.

D - The type of data-flow facts to be computed by the tabulation problem.

public class PathEdge<N,D>
extends java.lang.Object

A path edge as described in the IFDS/IDE algorithms. The source node is implicit: it can be computed from the target by using the InterproceduralCFG. Hence, we don't store it.

Field Summary

Fields

Modifier and Type	Field and Description
protected D	dSource
protected D	dTarget
protected int	hashCode
protected N	target

Constructor Summary

Constructors

Constructor and Description
PathEdge(D dSource, N target, D dTarget)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
D	factAtSource()
D	factAtTarget()
N	getTarget()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

target

protected final N target

dSource

protected final D dSource

dTarget

protected final D dTarget

hashCode

protected final int hashCode

Constructor Detail

PathEdge

public PathEdge(D dSource,
                N target,
                D dTarget)

Parameters:

dSource - The fact at the source.

target - The target statement.

dTarget - The fact at the target.

Method Detail

getTarget

public N getTarget()

factAtSource

public D factAtSource()

factAtTarget

public D factAtTarget()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object