Package de.uzl.its.swat.symbolic.instruction

Class LDC_double

java.lang.Object

de.uzl.its.swat.symbolic.instruction.Instruction

de.uzl.its.swat.symbolic.instruction.LDC_double

All Implemented Interfaces:

Serializable

public class LDC_double
extends Instruction

LDC(_double) - Push item from run-time constant pool. LDC instructions are handled based on the datatype to load. For more information see the Java VM specification.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
double	c

Fields inherited from class de.uzl.its.swat.symbolic.instruction.Instruction

iid, mid

Constructor Summary

Constructors

Constructor	Description
LDC_double(int iid, int mid, double c)	Creates a new LDC_double instruction.

Method Summary

Modifier and Type	Method	Description
void	accept(IVisitor visitor)	Accept method for the visitor.
String	toString()	Returns the string representation of the instruction.

Methods inherited from class de.uzl.its.swat.symbolic.instruction.Instruction

genericToString

Methods inherited from class java.lang.Object

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

Field Details

c

public double c

Constructor Details

LDC_double

public LDC_double(int iid,
 int mid,
 double c)

Creates a new LDC_double instruction.

Parameters:

iid - instruction id.

mid - method id.

c - the value to load

Method Details

accept

public void accept(IVisitor visitor)

Accept method for the visitor.

Specified by:

accept in class Instruction

Parameters:

visitor - the visitor

toString

public String toString()

Returns the string representation of the instruction.

Overrides:

toString in class Object

Returns:

the representation.