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

Class CheckCastInstruction

java.lang.Object

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

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

All Implemented Interfaces:

Ast, Stmt

public class CheckCastInstruction
extends Instruction

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

Field Summary

Fields

Modifier and Type	Field and Description
com.ibm.wala.types.TypeReference[]	declaredResultTypes
za.ac.sun.cs.green.expr.Expression	result
za.ac.sun.cs.green.expr.Expression	val

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

original

Constructor Summary

Constructors

Constructor and Description
CheckCastInstruction(com.ibm.wala.ssa.SSACheckCastInstruction ins)
CheckCastInstruction(com.ibm.wala.ssa.SSACheckCastInstruction ins, za.ac.sun.cs.green.expr.Expression result, za.ac.sun.cs.green.expr.Expression val, com.ibm.wala.types.TypeReference[] declaredResultTypes)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

result

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

val

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

declaredResultTypes

public final com.ibm.wala.types.TypeReference[] declaredResultTypes

Constructor Detail

CheckCastInstruction

public CheckCastInstruction(com.ibm.wala.ssa.SSACheckCastInstruction ins,
                            za.ac.sun.cs.green.expr.Expression result,
                            za.ac.sun.cs.green.expr.Expression val,
                            com.ibm.wala.types.TypeReference[] declaredResultTypes)

CheckCastInstruction

public CheckCastInstruction(com.ibm.wala.ssa.SSACheckCastInstruction ins)

Method Detail

getOriginal

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