TPTP 4.4.0 Platform Project
Public API Specification

org.eclipse.tptp.martini
Class CGProxy

java.lang.Object
  extended byorg.eclipse.tptp.martini.CGProxy

public class CGProxy
extends java.lang.Object


Constructor Summary
CGProxy()
           
 
Method Summary
static void EarlyMethodEnter(boolean bIsAlreadyInvoked, int id)
           
static void EarlyMethodLeave(int id)
           
static void EarlyMethodLeaveWithException(int id)
           
static int IsBEAJVM()
           
static int IsJVMInit()
           
static void JVMInit()
           
static void MethodEnter(boolean bIsAlreadyInvoked, int id)
           
static void MethodLeave(int id)
           
static void MethodLeaveWithException(int id)
           
static void SetEventsStatus(int status)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CGProxy

public CGProxy()
Method Detail

IsJVMInit

public static int IsJVMInit()

JVMInit

public static void JVMInit()

SetEventsStatus

public static void SetEventsStatus(int status)

MethodEnter

public static void MethodEnter(boolean bIsAlreadyInvoked,
                               int id)

MethodLeave

public static void MethodLeave(int id)

MethodLeaveWithException

public static void MethodLeaveWithException(int id)

EarlyMethodEnter

public static void EarlyMethodEnter(boolean bIsAlreadyInvoked,
                                    int id)

EarlyMethodLeave

public static void EarlyMethodLeave(int id)

EarlyMethodLeaveWithException

public static void EarlyMethodLeaveWithException(int id)

IsBEAJVM

public static int IsBEAJVM()

TPTP 4.4.0 Platform Project
Public API Specification