/*
      IMPORTANT !!!
   
      DO NOT EDIT THIS FILE. IT IS GENERATED FROM APPROPRIATE XML FILE
      BY THE MessagesGenerator.xslt.
      MODIFY THAT FILE INSTEAD OF THIS ONE.
   
    */
   package cz.cuni.amis.pogamut.defcon.communication.messages.infos;
  
  import cz.cuni.amis.pogamut.base.communication.messages.*;
  import cz.cuni.amis.pogamut.base.communication.worldview.*;
  import cz.cuni.amis.pogamut.base.communication.worldview.object.*;
  import cz.cuni.amis.pogamut.defcon.base3d.worldview.object.DefConLocation;
  import cz.cuni.amis.pogamut.defcon.communication.messages.*;
  import cz.cuni.amis.pogamut.defcon.communication.messages.commands.*;
  import cz.cuni.amis.pogamut.defcon.communication.messages.infos.*;
  import cz.cuni.amis.pogamut.defcon.consts.*;
  import cz.cuni.amis.pogamut.defcon.consts.state.*;
  import cz.cuni.amis.utils.exception.*;
  
  import java.util.*;
  
  import javabot.*;
  
  
  /**
   * Ping of a carrier event from the world.
   */
  public class PingCarrier extends DefConWorldEvent {
  /**
                            Creates new instance of message PingCarrier.
                            
                  Ping of a carrier event from the world.
          
              @param eventType
              @param causeObjectId
              @param targetObjectId
              @param unitType
              @param location
              
              @param time
                   */
      public PingCarrier(Event eventType, int causeObjectId, int targetObjectId, UnitType unitType,
          DefConLocation location, double time) {
          super(eventType, causeObjectId, targetObjectId, unitType, location, time);
      }
  
      /**
       * Returns human readable serialization of the message.
       *
       * @return human readable string
       */
      @Override
      public String toString() {
          return "PingCarrier[" + getStringizedFields() + "]";
      }
  
      /**
       * Returns message in html format.
       *
       * @return html message
       */
      public String toHtmlString() {
          return "<p><b>PingCarrier:</b></p>";
      }
  }