Bug 1316757, part 3 - Delete IPDL unit tests that look like they only test state machine stuff. r=billm draft
authorAndrew McCreight <continuation@gmail.com>
Wed, 23 Nov 2016 09:10:45 -0800
changeset 449298 c598689141d386294f16defee1969dcbc363632d
parent 449297 4193c6864055cb56590d74b17d98831f8bb34ac2
child 449299 6a2103d3e20f3215b464f4bb9d6174af6f9da077
push id38540
push userbmo:continuation@gmail.com
push dateTue, 13 Dec 2016 21:31:40 +0000
reviewersbillm
bugs1316757
milestone53.0a1
Bug 1316757, part 3 - Delete IPDL unit tests that look like they only test state machine stuff. r=billm MozReview-Commit-ID: 7Lek3YzLIft
ipc/ipdl/test/ipdl/ok/multiOutStates.ipdl
ipc/ipdl/test/ipdl/ok/multiStartState.ipdl
ipc/ipdl/test/ipdl/ok/race_DiamondRule1.ipdl
ipc/ipdl/test/ipdl/ok/race_KitchenSink.ipdl
ipc/ipdl/test/ipdl/ok/race_MultiOut.ipdl
ipc/ipdl/test/ipdl/ok/race_Stateless.ipdl
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/ok/multiOutStates.ipdl
+++ /dev/null
@@ -1,12 +0,0 @@
-protocol multiOutStates {
-child: async Msg();
-
-    // sanity check that multi-out-states are being processed correctly
-
-state S1:
-    send Msg goto S2 or S3 or S4;
-
-state S2: send Msg goto S2;
-state S3: send Msg goto S3;
-state S4: send Msg goto S4;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/ok/multiStartState.ipdl
+++ /dev/null
@@ -1,11 +0,0 @@
-protocol multiStartState {
-
-child: async Msg(); async __delete__();
-
-start state S1:
-    send Msg goto S1; send __delete__;
-
-start state S2:
-    send Msg goto S2; send __delete__;
-
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/ok/race_DiamondRule1.ipdl
+++ /dev/null
@@ -1,27 +0,0 @@
-protocol race_DiamondRule1 {
-
-child:
-    async Msg1();
-    async Msg1_();
-parent:
-    async Msg2();
-    async Msg2_();
-
-    // OK: this state machine is one of the simplest that follows the
-    // Diamond Rule
-
-start state S1:
-    send Msg1 goto S2;
-    recv Msg2 goto S3;
-
-state S2:
-    recv Msg2 goto S4;
-    recv Msg2_ goto S2;
-
-state S3:
-    send Msg1 goto S4;
-    send Msg1_ goto S3;
-
-state S4:
-    send Msg1 goto S4;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/ok/race_KitchenSink.ipdl
+++ /dev/null
@@ -1,61 +0,0 @@
-protocol race_KitchenSink {
-child:
-    async Msg1();
-    async Msg1_();
-parent:
-    async Msg2();
-    async Msg2_();
-
-
-    // concatenation of a few other state machines, should be OK
-
-start state S1:
-    send Msg1 goto S2;
-    recv Msg2 goto S3;
-
-state S2:
-    recv Msg2 goto S4;
-    recv Msg2_ goto S2;
-
-state S3:
-    send Msg1 goto S4;
-    send Msg1_ goto S3;
-
-state S4:
-    send Msg1 goto S4;
-
-
-
-start state S5:
-    send Msg1 goto S5;
-    recv Msg2 goto S5;
-
-
-
-start state S15:
-    send Msg1 goto S16 or S17;
-    recv Msg2 goto S18 or S19;
-
-state S16:
-    recv Msg2 goto S20;
-    recv Msg2_ goto S18;
-
-state S17:
-    recv Msg2 goto S20;
-    recv Msg2_ goto S15;
-
-state S18:
-    send Msg1 goto S20;
-    send Msg1_ goto S15;
-
-state S19:
-    send Msg1 goto S20;
-    send Msg1_ goto S16;
-
-state S20:
-    send Msg1 goto S20;
-    send Msg1_ goto S20;
-    recv Msg2 goto S20;
-    recv Msg2_ goto S20;
-
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/ok/race_MultiOut.ipdl
+++ /dev/null
@@ -1,35 +0,0 @@
-protocol race_MultiOut {
-child:
-    async Msg1();
-    async Msg1_();
-parent:
-    async Msg2();
-    async Msg2_();
-
-start state S15:
-    send Msg1 goto S16 or S17;
-    recv Msg2 goto S18 or S19;
-
-state S16:
-    recv Msg2 goto S20;
-    recv Msg2_ goto S18;
-
-state S17:
-    recv Msg2 goto S20;
-    recv Msg2_ goto S15;
-
-state S18:
-    send Msg1 goto S20;
-    send Msg1_ goto S15;
-
-state S19:
-    send Msg1 goto S20;
-    send Msg1_ goto S16;
-
-state S20:
-    send Msg1 goto S20;
-    send Msg1_ goto S20;
-    recv Msg2 goto S20;
-    recv Msg2_ goto S20;
-
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/ok/race_Stateless.ipdl
+++ /dev/null
@@ -1,16 +0,0 @@
-protocol race_Stateless {
-//    manages Child;
-
-child:
-    async Msg1();
-    async Msg1_();
-parent:
-    async Msg2();
-    async Msg2_();
-
-
-    // OK: this is trivial stateless protocol, so race-free "by definition"
-start state S5:
-    send Msg1 goto S5;
-    recv Msg2 goto S5;
-};