org.eclipse.hyades.execution.recorder.http.remote
Class TicketDispatcher

java.lang.Object
  org.eclipse.hyades.execution.recorder.http.remote.TicketDispatcher

Deprecated. This is not public API. It will be moved to internal in TPTP 5

public final class TicketDispatcher

extends java.lang.Object

This class creates a unique ticket number for each packet of information written to the .rec file.

Constructor Summary

TicketDispatcher()
Deprecated.

Methods inherited from class java.lang.Object

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

Constructor Detail

TicketDispatcher

public TicketDispatcher()

Deprecated.