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

Class GETVALUE_boolean

java.lang.Object

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

de.uzl.its.swat.symbolic.instruction.GETVALUE_primitive

de.uzl.its.swat.symbolic.instruction.GETVALUE_boolean

All Implemented Interfaces:

Serializable

public class GETVALUE_boolean
extends GETVALUE_primitive

GETVALUE_boolean - Custom method call handled as an instruction to fetch the concrete value that was produced/ loaded by another instruction.

See Also:

• Serialized Form

Field Summary

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

i, v

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

iid, mid

Constructor Summary

Constructors

Constructor	Description
GETVALUE_boolean(boolean v, int i)	Creates a new value fetch instruction for booleans.

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.GETVALUE_primitive

genericToString

Methods inherited from class java.lang.Object

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

Constructor Details

GETVALUE_boolean

public GETVALUE_boolean(boolean v,
 int i)

Creates a new value fetch instruction for booleans.

Parameters:

v - the concrete value

i - an identifier

Method Details

accept

public void accept(IVisitor visitor)

Accept method for the visitor.

Specified by:

accept in class GETVALUE_primitive

Parameters:

visitor - the visitor

toString

public String toString()

Returns the string representation of the instruction.

Overrides:

toString in class Object

Returns:

the representation.