/*
      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.*;
  
  
  /**
   * Fleet object from the world.
   */
  public class Fleet extends DefConViewableObject {
      /**
       * An array of fleet members.
       */
      @Updatable
      private int[] fleetMembers = null;
  
  /**
                                    Creates new instance of object Fleet with specific id.
                                    
                  Fleet object from the world.
          
                                    @param id        Game id of this object.
            @param teamId Id of this object's team.
            @param location Location of this object.
            @param visible Visibility of this object.
                            
                               @param
                                fleetMembers 
                          An array of fleet members.
                            
            @param time Time of last update of this object (time of first spotting in this case). 
                           */
      public Fleet(int id, int teamId, DefConLocation location, boolean visible, int[] fleetMembers,
          double time) {
          super(id, UnitType.FLEET, teamId, location, visible, time);
  
          this.fleetMembers = fleetMembers;
      }
  
  /**
                                   * Cloning constructor...
                                   * @param original
                                   */
      public Fleet(Fleet original) {
          super(original);
  
          this.fleetMembers = original.fleetMembers;
      }
  
      /**
       * An array of fleet members.
       *
       * @return int[]
       */
      public int[] getFleetMembers() {
          return this.fleetMembers;
      }
  
      /**
       * Returns human readable serialization of the message.
       *
       * @return human readable string
       */
      @Override
      public String toString() {
          return "Fleet[" + getStringizedFields() + "; FleetMembers = " + this.fleetMembers + "]";
      }
  
      /**
       * Returns message in html format.
       *
       * @return html message
       */
      public String toHtmlString() {
          return "<p><b>Fleet:</b></p>" + "<p><i>FleetMembers:</i> " + this.fleetMembers + "</p>";
      }
  }