sofya.ed.semantic
Class EventSpecification.CallType

java.lang.Object
  sofya.ed.semantic.EventSpecification.CallType

Enclosing interface:

EventSpecification

public static final class EventSpecification.CallType
extends java.lang.Object

Type-safe enumeration for the invoke instructions.

Field Summary

static EventSpecification.CallType	CONSTRUCTOR
static EventSpecification.CallType	INTERFACE
static EventSpecification.CallType	STATIC
static EventSpecification.CallType	VIRTUAL

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

CONSTRUCTOR

public static final EventSpecification.CallType CONSTRUCTOR

STATIC

public static final EventSpecification.CallType STATIC

VIRTUAL

public static final EventSpecification.CallType VIRTUAL

INTERFACE

public static final EventSpecification.CallType INTERFACE

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object