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   * Informs about change in game speed.
29   */
30  public class GameSpeedChanged extends DefConEvent {
31      /**
32       * Old speed.
33       */
34      private GameSpeed oldSpeed = null;
35  
36      /**
37       * New speed.
38       */
39      private GameSpeed newSpeed = null;
40  
41  /**
42                            Creates new instance of message GameSpeedChanged.
43                            
44                  Informs about change in game speed.
45          
46                       @param
47                        oldSpeed Old speed.
48                       @param
49                        newSpeed New speed.
50              @param time
51                   */
52      public GameSpeedChanged(GameSpeed oldSpeed, GameSpeed newSpeed, double time) {
53          super(time);
54  
55          this.oldSpeed = oldSpeed;
56  
57          this.newSpeed = newSpeed;
58      }
59  
60      /**
61       * Old speed.
62       *
63       * @return GameSpeed
64       */
65      public GameSpeed getOldSpeed() {
66          return this.oldSpeed;
67      }
68  
69      /**
70       * New speed.
71       *
72       * @return GameSpeed
73       */
74      public GameSpeed getNewSpeed() {
75          return this.newSpeed;
76      }
77  
78      /**
79       * Returns human readable serialization of the message.
80       *
81       * @return human readable string
82       */
83      @Override
84      public String toString() {
85          return "GameSpeedChanged[" + getStringizedFields() + "; OldSpeed = " + this.oldSpeed +
86          "; NewSpeed = " + this.newSpeed + "]";
87      }
88  
89      /**
90       * Returns message in html format.
91       *
92       * @return html message
93       */
94      public String toHtmlString() {
95          return "<p><b>GameSpeedChanged:</b></p>" + "<p><i>OldSpeed:</i> " + this.oldSpeed + "</p>" +
96          "<p><i>NewSpeed:</i> " + this.newSpeed + "</p>";
97      }
98  }