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

Class ThrowInstruction

java.lang.Object

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

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

All Implemented Interfaces:

Ast, Stmt

public class ThrowInstruction
extends Instruction

This is ThrowInstruction in Ranger IR that matches the corresponding ThrowInstruction in Wala and subsequently the instruction in Java Bytecode. This is populated during the transformation of the AST from the CFG, it later disappears upon generating the appropriate SPFCase predicate.

Field Summary

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

original

Constructor Summary

Constructors

Constructor and Description
ThrowInstruction(com.ibm.wala.ssa.SSAThrowInstruction ins)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ThrowInstruction

public ThrowInstruction(com.ibm.wala.ssa.SSAThrowInstruction ins)

Method Detail

getOriginal

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