Bug 1319595, part 1 - Remove IPDL error tests involving state machine or bridge/open. r=billm draft
authorAndrew McCreight <continuation@gmail.com>
Tue, 22 Nov 2016 14:01:34 -0800
changeset 443022 a20e172b3ae815c22c62083b67cc202e6034f18f
parent 442648 9250d76da5f9c14b7d4a3e6913a3ed9b34e58b9c
child 443023 72937cb06afea4859758a716d6f95a61556679ec
push id36884
push userbmo:continuation@gmail.com
push dateWed, 23 Nov 2016 17:11:18 +0000
reviewersbillm
bugs1319595
milestone53.0a1
Bug 1319595, part 1 - Remove IPDL error tests involving state machine or bridge/open. r=billm MozReview-Commit-ID: 4TUWBGzh3eJ
ipc/ipdl/test/ipdl/error/DeleteRace.ipdl
ipc/ipdl/test/ipdl/error/actorparam_badState.ipdl
ipc/ipdl/test/ipdl/error/bridgesNonexistent.ipdl
ipc/ipdl/test/ipdl/error/bridgesSubprotocol.ipdl
ipc/ipdl/test/ipdl/error/opensNonexistent.ipdl
ipc/ipdl/test/ipdl/error/opensSubprotocol.ipdl
ipc/ipdl/test/ipdl/error/race_MultiOut.ipdl
ipc/ipdl/test/ipdl/error/race_OverlappingMultiOut.ipdl
ipc/ipdl/test/ipdl/error/race_ToDiffStates.ipdl
ipc/ipdl/test/ipdl/error/race_ToError.ipdl
ipc/ipdl/test/ipdl/error/race_ViolateSameDirection.ipdl
ipc/ipdl/test/ipdl/error/redefState.ipdl
ipc/ipdl/test/ipdl/error/repeatedOutState.ipdl
ipc/ipdl/test/ipdl/error/spawnsNonexistent.ipdl
ipc/ipdl/test/ipdl/error/spawnsSubprotocol.ipdl
ipc/ipdl/test/ipdl/error/subprotocolBridges.ipdl
ipc/ipdl/test/ipdl/error/subprotocolOpens.ipdl
ipc/ipdl/test/ipdl/error/subprotocolSpawns.ipdl
ipc/ipdl/test/ipdl/error/trans_WrongDirection.ipdl
ipc/ipdl/test/ipdl/error/trans_WrongDirection2.ipdl
ipc/ipdl/test/ipdl/error/trans_WrongDirection3.ipdl
ipc/ipdl/test/ipdl/error/trans_WrongDirection4.ipdl
ipc/ipdl/test/ipdl/error/trans_WrongDirection5.ipdl
ipc/ipdl/test/ipdl/error/trans_WrongName.ipdl
ipc/ipdl/test/ipdl/error/trans_WrongName2.ipdl
ipc/ipdl/test/ipdl/error/trans_WrongName3.ipdl
ipc/ipdl/test/ipdl/error/trans_WrongName4.ipdl
ipc/ipdl/test/ipdl/error/trans_WrongName5.ipdl
ipc/ipdl/test/ipdl/error/unreachedDelete.ipdl
ipc/ipdl/test/ipdl/error/unreachedDeleteMultiStart.ipdl
ipc/ipdl/test/ipdl/ok/actorparam_state.ipdl
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/DeleteRace.ipdl
+++ /dev/null
@@ -1,14 +0,0 @@
-// XXX kind of a gray area whether |__delete__| should be a part of the
-// top-level protocol.  but if it's ever not, this test will break and
-// we'll notice, right?
-protocol DeleteRace {
-parent:
-    async M1();
-
-child:
-    async __delete__();
-
-state START:
-    send __delete__;
-    recv M1 goto START;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/actorparam_badState.ipdl
+++ /dev/null
@@ -1,10 +0,0 @@
-protocol actorparam_badState {
-
-child:
-    async Msg(actorparam_badState:FARGEL p);
-    async __delete__();
-
-state S1:
-    send Msg goto S1;
-    send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/bridgesNonexistent.ipdl
+++ /dev/null
@@ -1,6 +0,0 @@
-protocol bridgesNonexistent {
-    bridges Leftie, Rightie;
-
-child: __delete__();
-state DEAD: send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/bridgesSubprotocol.ipdl
+++ /dev/null
@@ -1,13 +0,0 @@
-include protocol subprotocolBridges;
-
-protocol bridgesSubprotocol {
-    bridges subprotocolBridges, subprotocolBridges;
-
-    manages subprotocolBridges;
-
-child:
-    subprotocolBridges();
-    async __delete__();
-
-state DEAD: send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/opensNonexistent.ipdl
+++ /dev/null
@@ -1,6 +0,0 @@
-protocol opensNonexistent {
-    parent opens Unicorn;
-
-child: __delete__();
-state DEAD: send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/opensSubprotocol.ipdl
+++ /dev/null
@@ -1,13 +0,0 @@
-include protocol subprotocolOpens;
-
-protocol opensSubprotocol {
-    child opens subprotocolOpens;
-
-    manages subprotocolOpens;
-
-child:
-    subprotocolOpens();
-    async __delete__();
-
-state DEAD: send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/race_MultiOut.ipdl
+++ /dev/null
@@ -1,20 +0,0 @@
-protocol race_MultiOut {
-child:  M1();
-parent: M2();
-
-state S1:
-    send M1 goto S2;
-    recv M2 goto S3;
-
-state S2:
-    recv M2 goto S4 or S5;
-
-state S3:
-    send M1 goto S4 or S5;
-
-state S4:
-    send M1 goto S4;
-
-state S5:
-    recv M2 goto S5;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/race_OverlappingMultiOut.ipdl
+++ /dev/null
@@ -1,35 +0,0 @@
-protocol race_OverlappingMultiOut {
-child:
-    async Msg1();
-    async Msg1_();
-    async __delete__(); suppressUndeleteableError();
-
-parent:
-    async Msg2();
-    async Msg2_();
-
-
-start state _:
-    send __delete__;
-    send suppressUndeleteableError goto S10;
-
-    // *** ERROR: send/recv of Msg1/Msg2 in state S10 goes to overlapping
-    // sets { S11, S12 }, { S12, S13 } and thus can't be unidirectional
-state S10:
-    send Msg1 goto S11 or S12;
-    recv Msg2 goto S12 or S13;
-
-state S11:
-    recv Msg2 goto S14;
-
-state S12:
-    send Msg1 goto S14;
-    recv Msg2 goto S14;
-
-state S13:
-    send Msg1 goto S14;
-
-state S14:
-    send Msg1 goto S14;
-    recv Msg2 goto S14;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/race_ToDiffStates.ipdl
+++ /dev/null
@@ -1,20 +0,0 @@
-protocol race_ToDiffStates {
-child:  M1();
-parent: M2();
-
-state S1:
-    send M1 goto S2;
-    recv M2 goto S3;
-
-state S2:
-    recv M2 goto S4;
-
-state S3:
-    send M1 goto S5;
-
-state S4:
-    send M1 goto S4;
-
-state S5:
-    recv M2 goto S5;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/race_ToError.ipdl
+++ /dev/null
@@ -1,14 +0,0 @@
-protocol race_ToError {
-child:  M1();
-parent: M2();
-
-state S1:
-    send M1 goto S2;
-    recv M2 goto S3;
-
-state S2:
-    send M1 goto S2;
-
-state S3:
-    recv M2 goto S3;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/race_ViolateSameDirection.ipdl
+++ /dev/null
@@ -1,30 +0,0 @@
-protocol race_ViolateSameDirection {
-child:
-    async Msg1();
-    async Msg1_();
-    async __delete__();
-    async suppressUndeleteableError();
-parent:
-    async Msg2();
-    async Msg2_();
-
-    // *** ERROR: state S7 doesn't have all-same-direction
-start state _:
-    send __delete__;
-    send suppressUndeleteableError goto S6;
-
-state S6:
-    send Msg1 goto S7;
-    recv Msg2 goto S8;
-
-state S7:
-    recv Msg2 goto S9;
-    send Msg1 goto S9;
-
-state S8:
-    send Msg1 goto S9;
-
-state S9:
-    send Msg1 goto S9;
-    recv Msg2 goto S9;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/redefState.ipdl
+++ /dev/null
@@ -1,14 +0,0 @@
-protocol redefState {
-
-    // error: redefining state in state machine
-child:
-    async Msg();
-    async __delete__();
-
-state S1: send Msg goto S1;
-
-state S1: send Msg goto S1;
-
-start state _:
-    send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/repeatedOutState.ipdl
+++ /dev/null
@@ -1,12 +0,0 @@
-protocol repeatedOutState {
-child: Msg(); __delete__();
-
-    // error: S2 repeated in multi-out set
-
-state S1:
-    send Msg goto S2 or S2 or S4;
-
-state S2: send Msg goto S2;
-state S3: send Msg goto S3;
-state S4: send Mesg goto S4;  send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/spawnsNonexistent.ipdl
+++ /dev/null
@@ -1,6 +0,0 @@
-protocol spawnsNonexistent {
-    parent spawns Nonexistent;
-
-child: __delete__();
-state DEAD: send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/spawnsSubprotocol.ipdl
+++ /dev/null
@@ -1,13 +0,0 @@
-include protocol subprotocolSpawns;
-
-protocol spawnsSubprotocol {
-    parent spawns subprotocolSpawns;
-
-    manages subprotocolSpawns;
-
-child:
-    subprotocolSpawns();
-    async __delete__();
-
-state DEAD: send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/subprotocolBridges.ipdl
+++ /dev/null
@@ -1,10 +0,0 @@
-include protocol bridgesSubprotocol;
-
-protocol subprotocolBridges {
-    bridges bridgesSubprotocol, bridgesSubprotocol;
-
-    manager bridgesSubprotocol;
-
-child: __delete__();
-state DEAD: send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/subprotocolOpens.ipdl
+++ /dev/null
@@ -1,10 +0,0 @@
-include protocol opensSubprotocol;
-
-protocol subprotocolOpens {
-    parent opens opensSubprotocol;
-
-    manager opensSubprotocol;
-
-child: __delete__();
-state DEAD: send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/subprotocolSpawns.ipdl
+++ /dev/null
@@ -1,10 +0,0 @@
-include protocol spawnsSubprotocol;
-
-protocol subprotocolSpawns {
-    parent spawns spawnsSubprotocol;
-
-    manager spawnsSubprotocol;
-
-child: __delete__();
-state DEAD: send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/trans_WrongDirection.ipdl
+++ /dev/null
@@ -1,12 +0,0 @@
-protocol trans_WrongDirection {
-
-child:
-    async Msg();
-    async __delete__();
-
-state S1:
-    recv Msg goto S1;
-
-start state _:
-    send __delete__();
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/trans_WrongDirection2.ipdl
+++ /dev/null
@@ -1,12 +0,0 @@
-protocol trans_WrongDirection2 {
-
-parent:
-    async Msg();
-    async __delete__();
-
-state S1:
-    send Msg goto S1;
-
-start state _:
-    recv __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/trans_WrongDirection3.ipdl
+++ /dev/null
@@ -1,12 +0,0 @@
-sync protocol trans_WrongDirection3 {
-
-parent:
-    sync Msg();
-    async __delete__();
-
-state S1:
-    send Msg goto S1;
-
-start state _:
-    recv __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/trans_WrongDirection4.ipdl
+++ /dev/null
@@ -1,12 +0,0 @@
-intr protocol trans_WrongDirection4 {
-
-child:
-    intr Msg();
-    async __delete__();
-
-state S1:
-    answer Msg goto S1;
-
-start state _:
-    send __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/trans_WrongDirection5.ipdl
+++ /dev/null
@@ -1,12 +0,0 @@
-intr protocol trans_WrongDirection5 {
-
-parent:
-    intr Msg();
-    async __delete__()
-
-state S1:
-    call Msg goto S1;
-
-start state_:
-    recv __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/trans_WrongName.ipdl
+++ /dev/null
@@ -1,10 +0,0 @@
-protocol trans_WrongName {
-
-child:
-    async Msg();
-    async __delete__();
-
-state S1:
-    call Msg goto S1;
-    send __delete__();
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/trans_WrongName2.ipdl
+++ /dev/null
@@ -1,10 +0,0 @@
-protocol trans_WrongName2 {
-
-parent:
-    async Msg();
-    async __delete__();
-
-state S1:
-    answer Msg goto S1;
-    recv __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/trans_WrongName3.ipdl
+++ /dev/null
@@ -1,10 +0,0 @@
-sync protocol trans_WrongName3 {
-
-parent:
-    sync Msg();
-    async __delete__();
-
-state S1:
-    answer Msg goto S1;
-    recv __delete__();
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/trans_WrongName4.ipdl
+++ /dev/null
@@ -1,10 +0,0 @@
-intr protocol trans_WrongName4 {
-
-child:
-    intr Msg();
-    async __delete__();
-
-state S1:
-    send Msg goto S1;
-    send __delete__
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/trans_WrongName5.ipdl
+++ /dev/null
@@ -1,10 +0,0 @@
-intr protocol trans_WrongName5 {
-
-parent:
-    intr Msg();
-    async __delete__();
-
-state S1:
-    recv Msg goto S1;
-    recv __delete__;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/unreachedDelete.ipdl
+++ /dev/null
@@ -1,5 +0,0 @@
-protocol unreachedDelete {
-child:  M1(); __delete__();
-
-state S1:  send M1 goto S1;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/error/unreachedDeleteMultiStart.ipdl
+++ /dev/null
@@ -1,10 +0,0 @@
-protocol unreachedDeleteMultiStart {
-child:
-    async M1(); async M2(); async __delete__();
-
-start state S1:  send M1 goto S2;
-state S2:        send __delete__;
-
-start state S3:  send M2 goto S4;
-state S4:        send M1 goto S3;
-};
deleted file mode 100644
--- a/ipc/ipdl/test/ipdl/ok/actorparam_state.ipdl
+++ /dev/null
@@ -1,10 +0,0 @@
-protocol actorparam_state {
-
-child:
-    async Msg(actorparam_state:S1 p);
-    async __delete__();
-
-state S1:
-    send Msg goto S1;
-    send __delete__;
-};