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

Class InvokeInstruction

java.lang.Object

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

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

All Implemented Interfaces:

Ast, Stmt

public class InvokeInstruction
extends Instruction

This is InvokeInstruction in RangerIR that matches the corresponding InvokeInstruction in Wala and subsequently the corresponding instructions in Java Bytecode.

Field Summary

Fields

Modifier and Type	Field and Description
za.ac.sun.cs.green.expr.Expression[]	params
za.ac.sun.cs.green.expr.Expression[]	result

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

original

Constructor Summary

Constructors

Constructor and Description
InvokeInstruction(com.ibm.wala.ssa.SSAInvokeInstruction ins)
InvokeInstruction(com.ibm.wala.ssa.SSAInvokeInstruction ins, za.ac.sun.cs.green.expr.Expression[] result, za.ac.sun.cs.green.expr.Expression[] params)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(AstVisitor<T> visitor)
boolean	equals(Stmt stmt2)
com.ibm.wala.ssa.SSAInvokeInstruction	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

params

public final za.ac.sun.cs.green.expr.Expression[] params

Constructor Detail

InvokeInstruction

public InvokeInstruction(com.ibm.wala.ssa.SSAInvokeInstruction ins,
                         za.ac.sun.cs.green.expr.Expression[] result,
                         za.ac.sun.cs.green.expr.Expression[] params)

InvokeInstruction

public InvokeInstruction(com.ibm.wala.ssa.SSAInvokeInstruction ins)

Method Detail

getOriginal

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