org.eclipse.tptp.trace.arm.internal.agent
Class AgentFacade

java.lang.Object
  org.eclipse.tptp.trace.arm.internal.agent.AgentFacade

All Implemented Interfaces:

IAgentFacade

public class AgentFacade

extends java.lang.Object

implements IAgentFacade

The Agent class is the main class that should be initialized for communicating with TPTP.

Field Summary

static java.lang.String	DEBUG_PROPERTY
static boolean	IS_DEBUG_MODE

Method Summary

IAgentMetadata	getAgentMetadata()
static AgentFacade	getInstance()
void	writeARMEvent(TPTPArmEvent armEvent) Writes an ARM event to the agent.

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG_PROPERTY

public static final java.lang.String DEBUG_PROPERTY

See Also:

Constant Field Values

IS_DEBUG_MODE

public static final boolean IS_DEBUG_MODE

Method Detail

getInstance

public static AgentFacade getInstance()
                               throws NativesUnavailableException

Throws:

NativesUnavailableException

getAgentMetadata

public IAgentMetadata getAgentMetadata()

writeARMEvent

public void writeARMEvent(TPTPArmEvent armEvent)

Description copied from interface: IAgentFacade

Writes an ARM event to the agent. The agent will decide whether to filter it or process it and send it to the workbench.

Specified by:

writeARMEvent in interface IAgentFacade

Parameters:

armEvent -