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

Class LOOP_BEGIN

java.lang.Object

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

de.uzl.its.swat.symbolic.instruction.LOOP_BEGIN

All Implemented Interfaces:

Serializable

public class LOOP_BEGIN
extends Instruction

LOOP_BEGIN - Custom method call handled as an instruction to detect the beginning of loops.

See Also:

• Serialized Form

Field Summary

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

iid, mid

Constructor Summary

Constructors

Constructor	Description
LOOP_BEGIN(int iid)	Creates a new loop beginning marker 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

Constructor Details

LOOP_BEGIN

public LOOP_BEGIN(int iid)

Creates a new loop beginning marker instruction.

Parameters:

iid - instruction id.

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.