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

Class ArrayStoreInstruction

java.lang.Object

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

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

All Implemented Interfaces:

Ast, Stmt

public class ArrayStoreInstruction
extends Instruction

This is ArrayStoreInstruction in RangerIR that matches the corresponding ArrayStoreInstruction 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	arrayref
za.ac.sun.cs.green.expr.Expression	assignExpr
com.ibm.wala.types.TypeReference	elementType
za.ac.sun.cs.green.expr.Expression	index

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

original

Constructor Summary

Constructors

Constructor and Description
ArrayStoreInstruction(com.ibm.wala.ssa.SSAArrayStoreInstruction ins)
ArrayStoreInstruction(com.ibm.wala.ssa.SSAArrayStoreInstruction ins, za.ac.sun.cs.green.expr.Expression arrayref, za.ac.sun.cs.green.expr.Expression index, com.ibm.wala.types.TypeReference elementType, za.ac.sun.cs.green.expr.Expression assigned)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

arrayref

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

index

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

elementType

public final com.ibm.wala.types.TypeReference elementType

assignExpr

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

Constructor Detail

ArrayStoreInstruction

public ArrayStoreInstruction(com.ibm.wala.ssa.SSAArrayStoreInstruction ins,
                             za.ac.sun.cs.green.expr.Expression arrayref,
                             za.ac.sun.cs.green.expr.Expression index,
                             com.ibm.wala.types.TypeReference elementType,
                             za.ac.sun.cs.green.expr.Expression assigned)

ArrayStoreInstruction

public ArrayStoreInstruction(com.ibm.wala.ssa.SSAArrayStoreInstruction ins)

Method Detail

getOriginal

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