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

Class SwitchInstruction

java.lang.Object

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

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

All Implemented Interfaces:

Ast, Stmt

public class SwitchInstruction
extends Instruction

This is SwitchInstruction in RangerIR that matches the corresponding SwitchInstruction in Wala and subsequently the corresponding instruction in Java Bytecode.

Field Summary

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

original

Constructor Summary

Constructors

Constructor and Description
SwitchInstruction(com.ibm.wala.ssa.SSASwitchInstruction ins)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(AstVisitor<T> visitor)
boolean	equals(Stmt stmt2)
com.ibm.wala.ssa.SSASwitchInstruction	getOriginal()

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

toString

Constructor Detail

SwitchInstruction

public SwitchInstruction(com.ibm.wala.ssa.SSASwitchInstruction ins)

Method Detail

getOriginal

public com.ibm.wala.ssa.SSASwitchInstruction getOriginal()

accept

public <T> T accept(AstVisitor<T> visitor)

equals

public boolean equals(Stmt stmt2)