gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst

Class PhiEdge

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.PhiEdge

public class PhiEdge
extends java.lang.Object

This is used to represent an edge from one block to another in the CFG.

Field Summary

Fields

Modifier and Type	Field and Description
com.ibm.wala.ssa.ISSABasicBlock	from
com.ibm.wala.ssa.ISSABasicBlock	to

Constructor Summary

Constructors

Constructor and Description
PhiEdge(com.ibm.wala.ssa.ISSABasicBlock from, com.ibm.wala.ssa.ISSABasicBlock to)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

from

public final com.ibm.wala.ssa.ISSABasicBlock from

to

public final com.ibm.wala.ssa.ISSABasicBlock to

Constructor Detail

PhiEdge

public PhiEdge(com.ibm.wala.ssa.ISSABasicBlock from,
               com.ibm.wala.ssa.ISSABasicBlock to)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object