Changeset 4 for protocol/src/main

Timestamp:

09/18/19 10:00:22 (5 years ago)

Author:

bart

Message:

Faster example parties

Location:

protocol/src/main/java/geniusweb/protocol

Files:

• ProtocolException.java (modified) (3 diffs)
• session/saop/SAOP.java (modified) (5 diffs)
• session/saop/SAOPState.java (modified) (2 diffs)

protocol/src/main/java/geniusweb/protocol/ProtocolException.java

@@ -13 +13 @@
 
         /**
-         * 
          * @param message the error message
          * @param party   offending party, either the {@link PartyId} or a
@@ -19 +18 @@
          */
         public ProtocolException(String message, String party) {
-                super(party + ":" + message);
-                this.party = party;
+                this(message, party, null);
         }
 
         /**
+         * ProtocolException is special, in that it does not auto-fill the
+         * stacktrace. This is needed because usually a ProtocolException is caused
+         * by a party doing a bad action. Creating a stacktrace pointing to the
+         * class reporting the protocol exception (usually, the protocol handler)
+         * makes no sense as the protocol handler is doing the correct job there.
+         * 
          * 
          * @param message the error message
@@ -31 +35 @@
          */
         public ProtocolException(String message, String party, Throwable e) {
-                super(party + ":" + message, e);
+                super(party + ":" + message, e, true, false);
                 this.party = party;
         }

protocol/src/main/java/geniusweb/protocol/session/saop/SAOP.java

@@ -2 +2 @@
 
 import java.io.IOException;
+import java.sql.Date;
+import java.text.SimpleDateFormat;
 import java.util.List;
 import java.util.Timer;
@@ -190 +192 @@
                                                         "BUG. Deadline timer has triggered but state is not final");
                                 }
+                                log.log(Level.WARNING,
+                                                "SAOP deadline reached. Terminating session.");
                                 finish();
                         }
@@ -196 +200 @@
                 // early
                 deadlinetimer.schedule(task, deadline.getDuration() + TIME_MARGIN);
+                log.log(Level.INFO, "SAOP deadline set to "
+                                + new SimpleDateFormat("yyyy/MM/dd HH:mm:ss")
+                                                .format(new Date(System.currentTimeMillis()
+                                                                + deadline.getDuration() + TIME_MARGIN)));
         }
 
@@ -251 +259 @@
                         final ConnectionWithParty partyconn, final Action action) {
                 if (action == null) {
-                        handleError("Received null from " + partyconn + ". Closing session",
+                        handleError(partyconn
+                                        + " did null action, breaching the protocol. Closing session",
                                         partyconn.getParty().getName(), null);
                         return;
@@ -259 +268 @@
                         if (!partyconn.getParty().equals(state.getNextActor())) {
                                 // party does not have the turn.
-                                throw new ProtocolException(" act without having the turn",
+                                throw new ProtocolException(
+                                                "Party acts without having the turn",
                                                 partyconn.getParty().getName());
                         }

protocol/src/main/java/geniusweb/protocol/session/saop/SAOPState.java

@@ -189 +189 @@
                 }
                 if (!actor.equals(getNextActor())) {
-                        throw new ProtocolException("actor does not have the turn ",
+                        throw new ProtocolException("Party does not have the turn ",
                                         actor.getName());
 
@@ -211 +211 @@
                         if (!bid.equals(((Accept) action).getBid())) {
                                 throw new ProtocolException(
-                                                "Accepts a bid that was not offered (last offer =" + bid
-                                                                + ", action=" + action + ")",
+                                                "Party accepts a bid differing from the last offer ="
+                                                                + bid + ", action=" + action + ")",
                                                 actor.getName());
                         }