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

Class INVOKEMETHOD_END

java.lang.Object

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

de.uzl.its.swat.symbolic.instruction.INVOKEMETHOD_END

All Implemented Interfaces:

Serializable

public class INVOKEMETHOD_END
extends Instruction

INVOKEMETHOD_END - Custom method handled as an instruction to signalize a method end. Signalizes a method end.

See Also:

• Serialized Form

Field Summary

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

iid, mid

Constructor Summary

Constructors

Constructor	Description
INVOKEMETHOD_END()	Creates a new INVOKEMETHOD_END instruction.

Method Summary

Modifier and Type	Method	Description
void	accept(IVisitor visitor)	Accept method for the visitor.
String	toString()

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

INVOKEMETHOD_END

public INVOKEMETHOD_END()

Creates a new INVOKEMETHOD_END instruction.

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()

Overrides:

toString in class Object