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

Class GetInstruction

java.lang.Object

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

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

All Implemented Interfaces:

Ast, Stmt

public class GetInstruction
extends Instruction

This is GetInstruction in Ranger IR that matches the corresponding GetInstruction in Wala and subsequently the instruction in Java Bytecode.

Field Summary

Fields

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

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

original

Constructor Summary

Constructors

Constructor and Description
GetInstruction(com.ibm.wala.ssa.SSAGetInstruction ins)
GetInstruction(com.ibm.wala.ssa.SSAGetInstruction ins, za.ac.sun.cs.green.expr.Expression def, za.ac.sun.cs.green.expr.Expression ref, com.ibm.wala.types.FieldReference field)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

ref

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

field

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

def

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

psm

public FieldSubscriptMap psm

Constructor Detail

GetInstruction

public GetInstruction(com.ibm.wala.ssa.SSAGetInstruction ins,
                      za.ac.sun.cs.green.expr.Expression def,
                      za.ac.sun.cs.green.expr.Expression ref,
                      com.ibm.wala.types.FieldReference field)

GetInstruction

public GetInstruction(com.ibm.wala.ssa.SSAGetInstruction ins)

Method Detail

getOriginal

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