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

Class PutInstruction

java.lang.Object

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

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

All Implemented Interfaces:

Ast, Stmt

public class PutInstruction
extends Instruction

This is PutInstruction in RangerIR that matches the corresponding PutInstruction in Wala and subsequently the corresponding instructions in Java Bytecode.

Field Summary

Fields

Modifier and Type	Field and Description
za.ac.sun.cs.green.expr.Expression	assignExpr
za.ac.sun.cs.green.expr.Expression	def
com.ibm.wala.types.FieldReference	field

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

original

Constructor Summary

Constructors

Constructor and Description
PutInstruction(com.ibm.wala.ssa.SSAPutInstruction ins)
PutInstruction(com.ibm.wala.ssa.SSAPutInstruction ins, za.ac.sun.cs.green.expr.Expression ref, com.ibm.wala.types.FieldReference field, za.ac.sun.cs.green.expr.Expression assignExpr)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(AstVisitor<T> visitor)
boolean	equals(Stmt stmt2)
com.ibm.wala.ssa.SSAPutInstruction	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

field

public final com.ibm.wala.types.FieldReference field

assignExpr

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

Constructor Detail

PutInstruction

public PutInstruction(com.ibm.wala.ssa.SSAPutInstruction ins,
                      za.ac.sun.cs.green.expr.Expression ref,
                      com.ibm.wala.types.FieldReference field,
                      za.ac.sun.cs.green.expr.Expression assignExpr)

PutInstruction

public PutInstruction(com.ibm.wala.ssa.SSAPutInstruction ins)

Method Detail

getOriginal

public com.ibm.wala.ssa.SSAPutInstruction 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)