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

Class ArrayLengthInstruction

java.lang.Object

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

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

All Implemented Interfaces:

Ast, Stmt

public final class ArrayLengthInstruction
extends Instruction

This is ArrayLengthInstruction in RangerIR that matches the corresponding ArrayLengthInstruction 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	def

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

original

Constructor Summary

Constructors

Constructor and Description
ArrayLengthInstruction(com.ibm.wala.ssa.SSAArrayLengthInstruction ins)
ArrayLengthInstruction(com.ibm.wala.ssa.SSAArrayLengthInstruction ins, za.ac.sun.cs.green.expr.Expression arrayref, za.ac.sun.cs.green.expr.Expression def)

Method Summary

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

def

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

Constructor Detail

ArrayLengthInstruction

public ArrayLengthInstruction(com.ibm.wala.ssa.SSAArrayLengthInstruction ins,
                              za.ac.sun.cs.green.expr.Expression arrayref,
                              za.ac.sun.cs.green.expr.Expression def)

ArrayLengthInstruction

public ArrayLengthInstruction(com.ibm.wala.ssa.SSAArrayLengthInstruction ins)

Method Detail

getOriginal

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