View Javadoc

1   /*
2      IMPORTANT !!!
3   
4      DO NOT EDIT THIS FILE. IT IS GENERATED FROM APPROPRIATE XML FILE
5      BY THE MessagesGenerator.xslt.
6      MODIFY THAT FILE INSTEAD OF THIS ONE.
7   
8    */
9   package cz.cuni.amis.pogamut.defcon.communication.messages.infos;
10  
11  import cz.cuni.amis.pogamut.base.communication.messages.*;
12  import cz.cuni.amis.pogamut.base.communication.worldview.*;
13  import cz.cuni.amis.pogamut.base.communication.worldview.object.*;
14  import cz.cuni.amis.pogamut.defcon.base3d.worldview.object.DefConLocation;
15  import cz.cuni.amis.pogamut.defcon.communication.messages.*;
16  import cz.cuni.amis.pogamut.defcon.communication.messages.commands.*;
17  import cz.cuni.amis.pogamut.defcon.communication.messages.infos.*;
18  import cz.cuni.amis.pogamut.defcon.consts.*;
19  import cz.cuni.amis.pogamut.defcon.consts.state.*;
20  import cz.cuni.amis.utils.exception.*;
21  
22  import java.util.*;
23  
24  import javabot.*;
25  
26  
27  /**
28   * Ping of a carrier event from the world.
29   */
30  public class PingCarrier extends DefConWorldEvent {
31  /**
32                            Creates new instance of message PingCarrier.
33                            
34                  Ping of a carrier event from the world.
35          
36              @param eventType
37              @param causeObjectId
38              @param targetObjectId
39              @param unitType
40              @param location
41              
42              @param time
43                   */
44      public PingCarrier(Event eventType, int causeObjectId, int targetObjectId, UnitType unitType,
45          DefConLocation location, double time) {
46          super(eventType, causeObjectId, targetObjectId, unitType, location, time);
47      }
48  
49      /**
50       * Returns human readable serialization of the message.
51       *
52       * @return human readable string
53       */
54      @Override
55      public String toString() {
56          return "PingCarrier[" + getStringizedFields() + "]";
57      }
58  
59      /**
60       * Returns message in html format.
61       *
62       * @return html message
63       */
64      public String toHtmlString() {
65          return "<p><b>PingCarrier:</b></p>";
66      }
67  }