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

Class Instruction

java.lang.Object

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

All Implemented Interfaces:

Ast, Stmt

Direct Known Subclasses:

ArrayLengthInstruction, ArrayLoadInstruction, ArrayStoreInstruction, CheckCastInstruction, GetInstruction, InstanceOfInstruction, InvokeInstruction, NewInstruction, PhiInstruction, PutInstruction, ReturnInstruction, SwitchInstruction, ThrowInstruction

public abstract class Instruction
extends java.lang.Object
implements Stmt

Abstract class that represents all instructions.

Field Summary

Fields

Modifier and Type	Field and Description
com.ibm.wala.ssa.SSAInstruction	original

Constructor Summary

Constructors

Constructor and Description
Instruction(com.ibm.wala.ssa.SSAInstruction original)

Method Summary

Methods inherited from class java.lang.Object

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

Methods inherited from interface gov.nasa.jpf.symbc.veritesting.ast.def.Stmt

accept, equals, toString

Field Detail

original

public final com.ibm.wala.ssa.SSAInstruction original

Constructor Detail

Instruction

public Instruction(com.ibm.wala.ssa.SSAInstruction original)