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

Class NewInstruction

java.lang.Object

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

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

All Implemented Interfaces:

Ast, Stmt

public class NewInstruction
extends Instruction

This is NewInstruction in Ranger IR that matches the corresponding CheckCastInstruction in Wala and subsequently in Java Bytecode. This is populated through the translation from the CFG to AST and later it will disappear by creating SPFCases.

Field Summary

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

original

Constructor Summary

Constructors

Constructor and Description
NewInstruction(com.ibm.wala.ssa.SSANewInstruction ins)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NewInstruction

public NewInstruction(com.ibm.wala.ssa.SSANewInstruction ins)

Method Detail

getOriginal

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