org.evosuite.symbolic.vm

Class Bv64Operand

java.lang.Object

org.evosuite.symbolic.vm.Bv64Operand

All Implemented Interfaces:

DoubleWordOperand, IntegerOperand, Operand

public final class Bv64Operand
extends Object
implements DoubleWordOperand, IntegerOperand

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
Bv64Operand(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

Bv64Operand

public Bv64Operand(IntegerValue integerExpr)

Method Detail

getIntegerExpression

public IntegerValue getIntegerExpression()

Specified by:

getIntegerExpression in interface IntegerOperand

toString

public String toString()

Overrides:

toString in class Object