org.evosuite.symbolic.vm

Class Bv32Operand

java.lang.Object

org.evosuite.symbolic.vm.Bv32Operand

All Implemented Interfaces:

IntegerOperand, Operand, SingleWordOperand

public final class Bv32Operand
extends Object
implements SingleWordOperand, IntegerOperand

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
Bv32Operand(IntegerValue integerExpr)

Method Summary

Modifier and Type	Method and Description
IntegerValue	getIntegerExpression()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Bv32Operand

public Bv32Operand(IntegerValue integerExpr)

Method Detail

getIntegerExpression

public IntegerValue getIntegerExpression()

Specified by:

getIntegerExpression in interface IntegerOperand

toString

public String toString()

Overrides:

toString in class Object