/*
      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.*;
  
  
  /**
   * Informs about change in defcon.
   */
  public class DefConChanged extends DefConEvent {
      /**
       * Old defcon.
       */
      private int oldDefCon = 0;
  
      /**
       * New defcon.
       */
      private int newDefCon = 0;
  
  /**
                            Creates new instance of message DefConChanged.
                            
                  Informs about change in defcon.
          
                       @param
                        oldDefCon Old defcon.
                       @param
                        newDefCon New defcon.
              @param time
                   */
      public DefConChanged(int oldDefCon, int newDefCon, double time) {
          super(time);
  
          this.oldDefCon = oldDefCon;
  
          this.newDefCon = newDefCon;
      }
  
      /**
       * Old defcon.
       *
       * @return int
       */
      public int getOldDefCon() {
          return this.oldDefCon;
      }
  
      /**
       * New defcon.
       *
       * @return int
       */
      public int getNewDefCon() {
          return this.newDefCon;
      }
  
      /**
       * Returns human readable serialization of the message.
       *
       * @return human readable string
       */
      @Override
      public String toString() {
          return "DefConChanged[" + getStringizedFields() + "; OldDefCon = " + this.oldDefCon +
          "; NewDefCon = " + this.newDefCon + "]";
      }
  
      /**
       * Returns message in html format.
       *
       * @return html message
       */
      public String toHtmlString() {
          return "<p><b>DefConChanged:</b></p>" + "<p><i>OldDefCon:</i> " + this.oldDefCon + "</p>" +
          "<p><i>NewDefCon:</i> " + this.newDefCon + "</p>";
      }
  }