source: events/src/main/java/geniusweb/events/SessionStarted.java@ 52

Last change on this file since 52 was 52, checked in by ruud, 14 months ago

Fixed small issues in domaineditor.

File size: 1.6 KB
Line 
1package geniusweb.events;
2
3import java.util.List;
4
5import com.fasterxml.jackson.annotation.JsonCreator;
6import com.fasterxml.jackson.annotation.JsonProperty;
7
8import geniusweb.actions.PartyId;
9
10public class SessionStarted extends ProtocolEvent {
11 private Long sessionNumber;
12 private List<PartyId> parties;
13
14 @JsonCreator
15 public SessionStarted(@JsonProperty("sessionNumber") Long sessionnr,
16 @JsonProperty("parties") List<PartyId> parties,
17 @JsonProperty("time") Long time) {
18 super(time);
19 this.sessionNumber = sessionnr;
20 this.parties = parties;
21 }
22
23 public List<PartyId> getParties() {
24 return parties;
25 }
26
27 public Long getSessionNumber() {
28 return sessionNumber;
29 }
30
31 @Override
32 public int hashCode() {
33 final int prime = 31;
34 int result = super.hashCode();
35 result = prime * result + ((parties == null) ? 0 : parties.hashCode());
36 result = prime * result
37 + ((sessionNumber == null) ? 0 : sessionNumber.hashCode());
38 return result;
39 }
40
41 @Override
42 public boolean equals(Object obj) {
43 if (this == obj)
44 return true;
45 if (!super.equals(obj))
46 return false;
47 if (getClass() != obj.getClass())
48 return false;
49 SessionStarted other = (SessionStarted) obj;
50 if (parties == null) {
51 if (other.parties != null)
52 return false;
53 } else if (!parties.equals(other.parties))
54 return false;
55 if (sessionNumber == null) {
56 if (other.sessionNumber != null)
57 return false;
58 } else if (!sessionNumber.equals(other.sessionNumber))
59 return false;
60 return true;
61 }
62
63 @Override
64 public String toString() {
65 return "SessionStarted[" + sessionNumber + "," + parties + ","
66 + getTime() + "]";
67 }
68
69}
Note: See TracBrowser for help on using the repository browser.