gov.nasa.jpf.symbc.veritesting.ast.def

Class PhiInstruction

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.def.Instruction

gov.nasa.jpf.symbc.veritesting.ast.def.PhiInstruction

All Implemented Interfaces:

Ast, Stmt

public class PhiInstruction
extends Instruction

This is PhiInstruction in Ranger IR that matches the corresponding PhiInstruction in Wala.

Field Summary

Fields

Modifier and Type	Field and Description
za.ac.sun.cs.green.expr.Expression	def
za.ac.sun.cs.green.expr.Expression[]	rhs

Fields inherited from class gov.nasa.jpf.symbc.veritesting.ast.def.Instruction

original

Constructor Summary

Constructors

Constructor and Description
PhiInstruction(com.ibm.wala.ssa.SSAPhiInstruction ins)
PhiInstruction(com.ibm.wala.ssa.SSAPhiInstruction ins, za.ac.sun.cs.green.expr.Expression def, za.ac.sun.cs.green.expr.Expression[] rhs)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(AstVisitor<T> visitor)
boolean	equals(Stmt stmt2)
com.ibm.wala.ssa.SSAPhiInstruction	getOriginal()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

def

public final za.ac.sun.cs.green.expr.Expression def

rhs

public final za.ac.sun.cs.green.expr.Expression[] rhs

Constructor Detail

PhiInstruction

public PhiInstruction(com.ibm.wala.ssa.SSAPhiInstruction ins,
                      za.ac.sun.cs.green.expr.Expression def,
                      za.ac.sun.cs.green.expr.Expression[] rhs)

PhiInstruction

public PhiInstruction(com.ibm.wala.ssa.SSAPhiInstruction ins)

Method Detail

getOriginal

public com.ibm.wala.ssa.SSAPhiInstruction getOriginal()

accept

public <T> T accept(AstVisitor<T> visitor)

toString

public java.lang.String toString()

Specified by:

toString in interface Stmt

Overrides:

toString in class java.lang.Object

equals

public boolean equals(Stmt stmt2)