From 39646e76b5857ab82a37ea585869986b8ce43284 Mon Sep 17 00:00:00 2001
From: Alex <alexandravigneron1@gmail.com>
Date: Tue, 30 Jun 2020 09:23:49 +0200
Subject: [PATCH] updates to fsm
---
doc/fsm/offerer.gv | 6 +++++-
doc/fsm/uncommited.gv | 10 ++++++++++
2 files changed, 15 insertions(+), 1 deletion(-)
diff --git a/doc/fsm/offerer.gv b/doc/fsm/offerer.gv
index 7905560..7b68001 100644
--- a/doc/fsm/offerer.gv
+++ b/doc/fsm/offerer.gv
@@ -45,7 +45,7 @@ digraph finite_state_machine {
stash
"];
- OffererMakingOffer -> Committed [label = "newPartner : Accept(someOffer) =>
+ OffererMakingOffer -> Committed [label = "potentialPartner : Accept(someOffer) =>
unstashall
self.fullyCommit(self.var, newPartner, )
self.partner = newPartner
@@ -63,6 +63,10 @@ digraph finite_state_machine {
broadcast ! InformDelta(self.myDelta)
"];
+ OffererMakingOffer -> OffererMakingOffer [label = "someNeighbour : RejectOffer(offer) =>
+ Nothing
+ "];
+
/*THE END?*/
diff --git a/doc/fsm/uncommited.gv b/doc/fsm/uncommited.gv
index a3e033d..32d7e44 100644
--- a/doc/fsm/uncommited.gv
+++ b/doc/fsm/uncommited.gv
@@ -70,6 +70,16 @@ digraph finite_state_machine {
self.neighbourDeltas.put(neighbour, delta)
"];
+ /*reject*/
+ Uncommitted -> Uncommitted [label = "neighbour : Reject(someOffer) =>
+ Nothing
+ "];
+
+ /*reject*/
+ Uncommitted -> Uncommitted [label = "neighbour : MakeOffer(someOffer) =>
+ Nothing
+ "];
+
/*uncommitted*/
Uncommitted -> ActSolo [label = "neighbour : InformDelta(delta) && (#self.neighbourDeltas == #self.neighbours-1) =>
self.neighbourDeltas.put(neighbour, delta)
--
GitLab