heros.solver

Class BiDiIDESolver.AbstractionWithSourceStmt

java.lang.Object

heros.solver.BiDiIDESolver.AbstractionWithSourceStmt

Enclosing class:

BiDiIDESolver<N,D,M,V,I extends InterproceduralCFG<N,M>>

public class BiDiIDESolver.AbstractionWithSourceStmt
extends java.lang.Object

This is an augmented abstraction propagated by the BiDiIDESolver.SingleDirectionSolver. It associates with the abstraction the source statement from which this fact originated.

Field Summary

Fields

Modifier and Type	Field and Description
protected D	abstraction
protected N	source

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

abstraction

protected final D abstraction

source

protected final N source

Method Detail

getAbstraction

public D getAbstraction()

getSourceStmt

public N getSourceStmt()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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