cz.cuni.amis.pogamut.defcon.communication.messages.infos

Class PingSub

java.lang.Object

cz.cuni.amis.pogamut.defcon.communication.messages.infos.DefConEvent

cz.cuni.amis.pogamut.defcon.communication.messages.infos.DefConWorldEvent

cz.cuni.amis.pogamut.defcon.communication.messages.infos.PingSub

All Implemented Interfaces:

cz.cuni.amis.pogamut.base.communication.translator.event.IWorldChangeEvent, cz.cuni.amis.pogamut.base.communication.worldview.event.IWorldEvent, cz.cuni.amis.utils.listener.Event, IDefConBasicEvent

public class PingSub
extends DefConWorldEvent

Ping of a sub event from the world.

Constructor Summary

Constructors

Constructor and Description
PingSub(Event eventType, int causeObjectId, int targetObjectId, UnitType unitType, DefConLocation location, double time) Creates new instance of message PingSub.

Method Summary

Methods

Modifier and Type	Method and Description
String	toHtmlString() Returns message in html format.
String	toString() Returns human readable serialization of the message.

Methods inherited from class cz.cuni.amis.pogamut.defcon.communication.messages.infos.DefConWorldEvent

getCauseObjectId, getEventType, getLocation, getStringizedFields, getTargetObjectId, getUnitType

Methods inherited from class cz.cuni.amis.pogamut.defcon.communication.messages.infos.DefConEvent

getSimTime, getTime

Methods inherited from class java.lang.Object

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

Constructor Detail

PingSub

public PingSub(Event eventType,
       int causeObjectId,
       int targetObjectId,
       UnitType unitType,
       DefConLocation location,
       double time)

Creates new instance of message PingSub. Ping of a sub event from the world.

Parameters:

eventType -

causeObjectId -

targetObjectId -

unitType -

location -

time -

Method Detail

toString

public String toString()

Returns human readable serialization of the message.

Overrides:

toString in class Object

Returns:

human readable string

toHtmlString

public String toHtmlString()

Returns message in html format.

Returns:

html message