1 | package geniusweb.events;
|
---|
2 |
|
---|
3 | import java.util.List;
|
---|
4 |
|
---|
5 | import com.fasterxml.jackson.annotation.JsonCreator;
|
---|
6 | import com.fasterxml.jackson.annotation.JsonProperty;
|
---|
7 |
|
---|
8 | import geniusweb.actions.PartyId;
|
---|
9 |
|
---|
10 | public 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 | }
|
---|