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

Class INVOKEMETHOD_EXCEPTION

java.lang.Object

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

de.uzl.its.swat.symbolic.instruction.INVOKEMETHOD_EXCEPTION

All Implemented Interfaces:

Serializable

public class INVOKEMETHOD_EXCEPTION
extends Instruction

INVOKEMETHOD_EXCEPTION - Custom method handled as an instruction to signalize a method end. Used to detect exceptions.

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

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_EXCEPTION

public INVOKEMETHOD_EXCEPTION()

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