public class org.apache.zookeeper.test.ReconfigTest extends org.apache.zookeeper.ZKTestCase implements org.apache.zookeeper.AsyncCallback$DataCallback { private static final org.slf4j.Logger LOG; private org.apache.zookeeper.test.QuorumUtil qu; private org.apache.zookeeper.ZooKeeper[] zkArr; private org.apache.zookeeper.admin.ZooKeeperAdmin[] zkAdminArr; public void () { org.apache.zookeeper.test.ReconfigTest v; v := @this: org.apache.zookeeper.test.ReconfigTest; specialinvoke v.()>(); return; } public void setup() { org.apache.zookeeper.test.ReconfigTest v; v := @this: org.apache.zookeeper.test.ReconfigTest; staticinvoke ("zookeeper.DigestAuthenticationProvider.superDigest", "super:D/InIHSb7yEEbrWz8b9l71RjZJU="); staticinvoke (1); return; } public void tearDown() throws java.lang.Exception { org.apache.zookeeper.test.ReconfigTest v; org.apache.zookeeper.ZooKeeper[] v; org.apache.zookeeper.test.QuorumUtil v, v; org.apache.zookeeper.admin.ZooKeeperAdmin[] v; v := @this: org.apache.zookeeper.test.ReconfigTest; v = v.; v = v.; staticinvoke (v, v); v = v.; if v == null goto label; v = v.; virtualinvoke v.(); label: return; } public static java.lang.String reconfig(org.apache.zookeeper.admin.ZooKeeperAdmin, java.util.List, java.util.List, java.util.List, long) throws org.apache.zookeeper.KeeperException, java.lang.InterruptedException { byte[] v; org.apache.zookeeper.test.ReconfigTest$ServerConfigLine v; org.apache.zookeeper.data.Stat v; java.util.stream.Collector v; boolean v, v, v, v; java.util.function.Predicate v, v; java.util.List v, v, v; java.util.stream.Stream v, v, v, v, v; org.apache.zookeeper.admin.ZooKeeperAdmin v; java.lang.Throwable v, v; java.lang.Object[] v, v, v; java.lang.String[] v; long v; java.util.function.Function v, v; int v; java.lang.String v, v, v, v, v; org.slf4j.Logger v; java.util.Iterator v, v; java.lang.Object v, v, v; v := @parameter: org.apache.zookeeper.admin.ZooKeeperAdmin; v := @parameter: java.util.List; v := @parameter: java.util.List; v := @parameter: java.util.List; v := @parameter: long; v = null; v = null; v = ; interfaceinvoke v.("reconfig initiated by the test"); v = 0; label: if v >= 30 goto label; label: v = new org.apache.zookeeper.data.Stat; specialinvoke v.()>(); v = virtualinvoke v.(v, v, v, v, v); v = null; label: goto label; label: v := @caughtexception; v = "client could not connect to reestablished quorum: giving up after 30+ seconds."; goto label; label: v := @caughtexception; v = "reconfig still in progress: giving up after 30+ seconds."; label: staticinvoke (1000L); v = v + 1; goto label; label: if v == null goto label; staticinvoke (v); label: v = new java.lang.String; specialinvoke v.(byte[])>(v); v = virtualinvoke v.("\n"); v = staticinvoke (v); v = staticinvoke (); v = interfaceinvoke v.(v); v = staticinvoke (); v = interfaceinvoke v.(v); v = staticinvoke (); v = interfaceinvoke v.(v); v = staticinvoke (); v = interfaceinvoke v.(v); if v == null goto label; v = interfaceinvoke v.(); label: v = interfaceinvoke v.(); if v == 0 goto label; v = interfaceinvoke v.(); v = new org.apache.zookeeper.test.ReconfigTest$ServerConfigLine; specialinvoke v.(java.lang.String)>(v); v = newarray (java.lang.Object)[2]; v[0] = v; v[1] = v; v = staticinvoke ("expected joiner config \"%s\" not found in current config:\n%s", v); v = interfaceinvoke v.(); v = staticinvoke (v); v = interfaceinvoke v.(v); staticinvoke (v, v); goto label; label: if v == null goto label; v = interfaceinvoke v.(); label: v = interfaceinvoke v.(); if v == 0 goto label; v = interfaceinvoke v.(); v = newarray (java.lang.Object)[2]; v[0] = v; v[1] = v; v = staticinvoke ("leaving server \"%s\" not removed from config: \n%s", v); v = newarray (java.lang.Object)[1]; v[0] = v; v = staticinvoke ("server.%s=", v); v = virtualinvoke v.(v); staticinvoke (v, v); goto label; label: return v; catch org.apache.zookeeper.KeeperException$ConnectionLossException from label to label with label; catch org.apache.zookeeper.KeeperException$ReconfigInProgress from label to label with label; } public static java.lang.String testServerHasConfig(org.apache.zookeeper.ZooKeeper, java.util.List, java.util.List) throws org.apache.zookeeper.KeeperException, java.lang.InterruptedException { java.lang.Throwable v; byte[] v, v; org.apache.zookeeper.data.Stat v; int v, v; java.lang.String v, v, v, v, v, v; boolean v, v, v, v, v; org.apache.zookeeper.ZooKeeper v; java.util.Iterator v, v; java.util.List v, v; java.lang.Object v, v; v := @parameter: org.apache.zookeeper.ZooKeeper; v := @parameter: java.util.List; v := @parameter: java.util.List; v = 0; v = null; v = 0; label: if v >= 30 goto label; label: if v != 0 goto label; staticinvoke (v, "/dummy", "dummy"); v = 1; label: v = "dummy"; v = virtualinvoke v.(); v = (int) -1; virtualinvoke v.("/dummy", v, v); v = new org.apache.zookeeper.data.Stat; specialinvoke v.()>(); v = virtualinvoke v.(0, v); label: goto label; label: v := @caughtexception; if v >= 29 goto label; staticinvoke (1000L); goto label; label: staticinvoke ("client could not connect to reestablished quorum: giving up after 30+ seconds."); label: v = v + 1; goto label; label: v = new java.lang.String; specialinvoke v.(byte[])>(v); if v == null goto label; v = interfaceinvoke v.(); label: v = interfaceinvoke v.(); if v == 0 goto label; v = interfaceinvoke v.(); v = virtualinvoke v.(v); v = dynamicinvoke "makeConcatWithConstants" (v, v) ("Config:<\u0001>\n\u0001"); staticinvoke (v, v); goto label; label: if v == null goto label; v = interfaceinvoke v.(); label: v = interfaceinvoke v.(); if v == 0 goto label; v = interfaceinvoke v.(); v = "server."; v = virtualinvoke v.(v); v = virtualinvoke v.(v); v = dynamicinvoke "makeConcatWithConstants" (v, v) ("Config:<\u0001>\n\u0001"); staticinvoke (v, v); goto label; label: return v; catch org.apache.zookeeper.KeeperException$ConnectionLossException from label to label with label; } public static void testNormalOperation(org.apache.zookeeper.ZooKeeper, org.apache.zookeeper.ZooKeeper) throws org.apache.zookeeper.KeeperException, java.lang.InterruptedException { org.apache.zookeeper.ZooKeeper v, v; v := @parameter: org.apache.zookeeper.ZooKeeper; v := @parameter: org.apache.zookeeper.ZooKeeper; staticinvoke (v, v, 1); return; } public static void testNormalOperation(org.apache.zookeeper.ZooKeeper, org.apache.zookeeper.ZooKeeper, boolean) throws org.apache.zookeeper.KeeperException, java.lang.InterruptedException { java.lang.Throwable v; org.apache.zookeeper.ZooKeeper v, v; byte[] v, v, v; org.apache.zookeeper.data.Stat v; int v, v, v; java.lang.String v, v, v; boolean v, v; v := @parameter: org.apache.zookeeper.ZooKeeper; v := @parameter: org.apache.zookeeper.ZooKeeper; v := @parameter: boolean; v = v; v = 0; label: if v >= 30 goto label; label: if v == 0 goto label; staticinvoke (v, "/test", "test"); staticinvoke (v, "/dummy", "dummy"); v = 0; label: v = dynamicinvoke "makeConcatWithConstants" (v) ("test\u0001"); v = virtualinvoke v.(); v = (int) -1; virtualinvoke v.("/test", v, v); v = "dummy"; v = virtualinvoke v.(); v = (int) -1; virtualinvoke v.("/dummy", v, v); v = new org.apache.zookeeper.data.Stat; specialinvoke v.()>(); v = virtualinvoke v.("/test", null, v); v = new java.lang.String; specialinvoke v.(byte[])>(v); staticinvoke (v, v); label: goto label; label: v := @caughtexception; if v >= 29 goto label; staticinvoke (1000L); goto label; label: staticinvoke ("client could not connect to reestablished quorum: giving up after 30+ seconds."); label: v = v + 1; goto label; label: return; catch org.apache.zookeeper.KeeperException$ConnectionLossException from label to label with label; } private static void createZNode(org.apache.zookeeper.ZooKeeper, java.lang.String, java.lang.String) throws org.apache.zookeeper.KeeperException, java.lang.InterruptedException { java.lang.Throwable v; org.apache.zookeeper.CreateMode v; org.apache.zookeeper.ZooKeeper v; byte[] v; java.lang.String v, v; java.util.ArrayList v; v := @parameter: org.apache.zookeeper.ZooKeeper; v := @parameter: java.lang.String; v := @parameter: java.lang.String; label: v = virtualinvoke v.(); v = ; v = ; virtualinvoke v.(v, v, v, v); label: goto label; label: v := @caughtexception; label: return; catch org.apache.zookeeper.KeeperException$NodeExistsException from label to label with label; } private int getLeaderId(org.apache.zookeeper.test.QuorumUtil) { org.apache.zookeeper.server.quorum.QuorumPeer v; org.apache.zookeeper.test.QuorumUtil$PeerStruct v; org.apache.zookeeper.server.quorum.Leader v; org.apache.zookeeper.test.ReconfigTest v; int v; org.apache.zookeeper.test.QuorumUtil v; v := @this: org.apache.zookeeper.test.ReconfigTest; v := @parameter: org.apache.zookeeper.test.QuorumUtil; v = 1; label: v = virtualinvoke v.(v); v = v.; v = v.; if v != null goto label; v = v + 1; goto label; label: return v; } public static org.apache.zookeeper.ZooKeeper[] createHandles(org.apache.zookeeper.test.QuorumUtil) throws java.io.IOException { org.apache.zookeeper.ZooKeeper v; org.apache.zookeeper.server.quorum.QuorumPeer v; org.apache.zookeeper.DummyWatcher v; org.apache.zookeeper.test.QuorumUtil$PeerStruct v; org.apache.zookeeper.ZooKeeper[] v; int v, v, v, v, v, v; java.lang.String v; org.apache.zookeeper.test.QuorumUtil v; v := @parameter: org.apache.zookeeper.test.QuorumUtil; v = v.; v = v + 1; v = newarray (org.apache.zookeeper.ZooKeeper)[v]; v[0] = null; v = 1; label: v = v.; if v > v goto label; v = new org.apache.zookeeper.ZooKeeper; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = dynamicinvoke "makeConcatWithConstants" (v) ("127.0.0.1:\u0001"); v = ; v = ; specialinvoke v.(java.lang.String,int,org.apache.zookeeper.Watcher)>(v, v, v); v[v] = v; v = v + 1; goto label; label: return v; } public static org.apache.zookeeper.admin.ZooKeeperAdmin[] createAdminHandles(org.apache.zookeeper.test.QuorumUtil) throws java.io.IOException { org.apache.zookeeper.server.quorum.QuorumPeer v; byte[] v; org.apache.zookeeper.admin.ZooKeeperAdmin[] v; org.apache.zookeeper.test.QuorumUtil$PeerStruct v; int v, v, v, v, v, v; java.lang.String v, v; org.apache.zookeeper.DummyWatcher v; org.apache.zookeeper.test.QuorumUtil v; org.apache.zookeeper.admin.ZooKeeperAdmin v, v; v := @parameter: org.apache.zookeeper.test.QuorumUtil; v = v.; v = v + 1; v = newarray (org.apache.zookeeper.admin.ZooKeeperAdmin)[v]; v[0] = null; v = 1; label: v = v.; if v > v goto label; v = new org.apache.zookeeper.admin.ZooKeeperAdmin; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = dynamicinvoke "makeConcatWithConstants" (v) ("127.0.0.1:\u0001"); v = ; v = ; specialinvoke v.(java.lang.String,int,org.apache.zookeeper.Watcher)>(v, v, v); v[v] = v; v = v[v]; v = "super:test"; v = virtualinvoke v.(); virtualinvoke v.("digest", v); v = v + 1; goto label; label: return v; } public static void closeAllHandles(org.apache.zookeeper.ZooKeeper[], org.apache.zookeeper.admin.ZooKeeperAdmin[]) throws java.lang.InterruptedException { org.apache.zookeeper.ZooKeeper v; org.apache.zookeeper.admin.ZooKeeperAdmin[] v; org.apache.zookeeper.ZooKeeper[] v; int v, v, v, v; org.apache.zookeeper.admin.ZooKeeperAdmin v; v := @parameter: org.apache.zookeeper.ZooKeeper[]; v := @parameter: org.apache.zookeeper.admin.ZooKeeperAdmin[]; if v == null goto label; v = lengthof v; v = 0; label: if v >= v goto label; v = v[v]; if v == null goto label; virtualinvoke v.(); label: v = v + 1; goto label; label: if v == null goto label; v = lengthof v; v = 0; label: if v >= v goto label; v = v[v]; if v == null goto label; virtualinvoke v.(); label: v = v + 1; goto label; label: return; } public void testRemoveAddOne() throws java.lang.Exception { org.apache.zookeeper.server.quorum.QuorumPeer v, v, v, v; org.apache.zookeeper.test.QuorumUtil$PeerStruct v, v, v, v; byte v; org.apache.zookeeper.ZooKeeper v, v, v, v; org.apache.zookeeper.ZooKeeper[] v, v, v, v, v; java.lang.Throwable v; org.apache.zookeeper.server.quorum.flexible.QuorumVerifier v; long v, v; java.util.ArrayList v, v; java.lang.String v, v, v; org.apache.zookeeper.server.quorum.MultipleAddresses v, v; org.apache.zookeeper.admin.ZooKeeperAdmin[] v, v, v, v, v; java.util.List v, v; org.apache.zookeeper.test.ReconfigTest v; org.apache.zookeeper.admin.ZooKeeperAdmin v, v, v, v; int v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v; java.lang.Object v, v; org.apache.zookeeper.test.QuorumUtil v, v, v, v, v, v, v, v, v, v, v, v, v, v, v; v := @this: org.apache.zookeeper.test.ReconfigTest; v = new org.apache.zookeeper.test.QuorumUtil; specialinvoke v.(int)>(1); v. = v; v = v.; v. = 1; v = v.; virtualinvoke v.(); v = v.; v = staticinvoke (v); v. = v; v = v.; v = staticinvoke (v); v. = v; v = new java.util.ArrayList; specialinvoke v.()>(); v = new java.util.ArrayList; specialinvoke v.()>(); v = v.; v = specialinvoke v.(v); if v != 1 goto label; v = 2; goto label; label: v = 1; label: v = v; v = 0; label: if v >= 2 goto label; if v != v goto label; v = v.; v = v[v]; goto label; label: v = v.; v = v.; v = v.; v = v % v; v = v + 1; v = v[v]; label: v = v; if v != v goto label; v = v.; v = v.; v = v.; v = v % v; v = v + 1; v = v[v]; goto label; label: v = v.; v = v[v]; label: v = v; if v != v goto label; v = v.; v = v[v]; goto label; label: v = v.; v = v.; v = v.; v = v % v; v = v + 1; v = v[v]; label: v = v; if v != v goto label; v = v.; v = v.; v = v.; v = v % v; v = v + 1; v = v[v]; goto label; label: v = v.; v = v[v]; label: v = v; v = staticinvoke (v); interfaceinvoke v.(v); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = virtualinvoke v.(); v = interfaceinvoke v.(0); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = virtualinvoke v.(); v = interfaceinvoke v.(0); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = dynamicinvoke "makeConcatWithConstants" (v, v, v, v) ("server.\u0001=localhost:\u0001:\u0001:participant;localhost:\u0001"); interfaceinvoke v.(v); v = staticinvoke (v, null, v, null, -1L); staticinvoke (v, null, v); staticinvoke (v, v); v = v.; v = virtualinvoke v.(1); v = v.; v = virtualinvoke v.(v); v = interfaceinvoke v.(); label: v = v + 1L; staticinvoke (v, v, null, null, v); staticinvoke ("reconfig succeeded even though version condition was incorrect!"); label: goto label; label: v := @caughtexception; label: staticinvoke (v, v, null, null, v); staticinvoke (v, v); staticinvoke (v, v, null); v = v.; v = specialinvoke v.(v); v = v; v = v; interfaceinvoke v.(); interfaceinvoke v.(); v = v + 1; goto label; label: return; catch org.apache.zookeeper.KeeperException$BadVersionException from label to label with label; } public void testRemoveAddTwo() throws java.lang.Exception { org.apache.zookeeper.server.quorum.QuorumPeer v, v, v, v, v, v, v; org.apache.zookeeper.test.QuorumUtil$PeerStruct v, v, v, v, v, v, v; byte v, v; org.apache.zookeeper.server.quorum.QuorumPeer$ServerState v, v; org.apache.zookeeper.ZooKeeper v, v, v, v, v, v, v, v, v, v; org.apache.zookeeper.ZooKeeper[] v, v, v, v, v, v, v, v, v, v, v; java.lang.Throwable v; java.util.ArrayList v, v; java.lang.String v, v, v, v; org.apache.zookeeper.server.quorum.MultipleAddresses v, v, v, v; org.apache.zookeeper.admin.ZooKeeperAdmin[] v, v, v, v; boolean v; java.util.List v, v, v, v; org.apache.zookeeper.test.ReconfigTest v; org.apache.zookeeper.admin.ZooKeeperAdmin v, v, v; int v, v, v, v, v, v; java.lang.Object v, v, v, v; org.apache.zookeeper.test.QuorumUtil v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v; v := @this: org.apache.zookeeper.test.ReconfigTest; v = new org.apache.zookeeper.test.QuorumUtil; specialinvoke v.(int)>(2); v. = v; v = v.; v. = 1; v = v.; virtualinvoke v.(); v = v.; v = staticinvoke (v); v. = v; v = v.; v = staticinvoke (v); v. = v; v = new java.util.ArrayList; specialinvoke v.()>(); v = new java.util.ArrayList; specialinvoke v.()>(); v = v.; v = specialinvoke v.(v); if v != 1 goto label; v = 2; goto label; label: v = 1; label: v = v; v = 1; v = 1; v = 1; label: if v == v goto label; if v != v goto label; label: v = v + 1; goto label; label: if v == v goto label; if v == v goto label; if v != v goto label; label: v = v + 1; goto label; label: if v == v goto label; if v == v goto label; if v == v goto label; if v != v goto label; label: v = v + 1; goto label; label: v = staticinvoke (v); interfaceinvoke v.(v); v = staticinvoke (v); interfaceinvoke v.(v); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = virtualinvoke v.(); v = interfaceinvoke v.(0); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = virtualinvoke v.(); v = interfaceinvoke v.(0); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = dynamicinvoke "makeConcatWithConstants" (v, v, v, v) ("server.\u0001=localhost:\u0001:\u0001:participant;localhost:\u0001"); interfaceinvoke v.(v); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = virtualinvoke v.(); v = interfaceinvoke v.(0); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = virtualinvoke v.(); v = interfaceinvoke v.(0); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = dynamicinvoke "makeConcatWithConstants" (v, v, v, v) ("server.\u0001=localhost:\u0001:\u0001:observer;localhost:\u0001"); interfaceinvoke v.(v); v = v.; virtualinvoke v.(v); v = v.; virtualinvoke v.(v); v = v.; v = v[v]; staticinvoke (v, null, v, null, -1L); v = v.; virtualinvoke v.(v); v = v.; v = v[v]; staticinvoke (v, null, v); v = v.; v = v[v]; staticinvoke (v, null, v); v = v.; v = v[v]; v = v.; v = v[v]; staticinvoke (v, v); staticinvoke (10000L); label: v = v.; v = v[v]; staticinvoke (v, v, null, null, -1L); staticinvoke ("reconfig completed successfully even though there is no quorum up in new config!"); label: goto label; label: v := @caughtexception; label: v = v.; virtualinvoke v.(v); v = v.; v = v[v]; staticinvoke (v, v, null, null, -1L); v = v.; v = v[v]; v = v.; v = v[v]; staticinvoke (v, v); v = v.; v = v[v]; staticinvoke (v, v, null); v = v.; virtualinvoke v.(v); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = ; if v != v goto label; v = 1; goto label; label: v = 0; label: staticinvoke (v); v = v.; v = v[v]; v = v.; v = v[v]; staticinvoke (v, v); v = v.; v = v[v]; staticinvoke (v, v, null); return; catch org.apache.zookeeper.KeeperException$NewConfigNoQuorum from label to label with label; } public void testBulkReconfig() throws java.lang.Exception { org.apache.zookeeper.server.quorum.QuorumPeer v; org.apache.zookeeper.admin.ZooKeeperAdmin[] v, v; org.apache.zookeeper.test.QuorumUtil$PeerStruct v; org.apache.zookeeper.ZooKeeper v, v, v, v, v, v, v, v; org.apache.zookeeper.test.ReconfigTest v; org.apache.zookeeper.ZooKeeper[] v, v, v, v, v, v, v, v, v; org.apache.zookeeper.admin.ZooKeeperAdmin v; java.util.ArrayList v; int v, v, v, v; java.lang.String v, v; org.apache.zookeeper.test.QuorumUtil v, v, v, v, v, v, v, v, v, v, v; v := @this: org.apache.zookeeper.test.ReconfigTest; v = new org.apache.zookeeper.test.QuorumUtil; specialinvoke v.(int)>(3); v. = v; v = v.; v. = 1; v = v.; virtualinvoke v.(); v = v.; v = staticinvoke (v); v. = v; v = v.; v = staticinvoke (v); v. = v; v = new java.util.ArrayList; specialinvoke v.()>(); v = 1; label: if v > 5 goto label; v = staticinvoke (); v = staticinvoke (); if v == 4 goto label; if v != 5 goto label; label: v = "observer"; goto label; label: v = "participant"; label: v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = dynamicinvoke "makeConcatWithConstants" (v, v, v, v, v) ("server.\u0001=localhost:\u0001:\u0001:\u;localhost:\u0001"); virtualinvoke v.(v); v = v + 1; goto label; label: v = v.; virtualinvoke v.(3); v = v.; virtualinvoke v.(6); v = v.; virtualinvoke v.(7); v = v.; v = v[1]; staticinvoke (v, null, null, v, -1L); v = v.; v = v[1]; v = v.; v = v[2]; staticinvoke (v, v); v = v.; v = v[1]; staticinvoke (v, v, null); v = v.; v = v[2]; staticinvoke (v, v, null); v = v.; v = v[4]; staticinvoke (v, v, null); v = v.; v = v[5]; staticinvoke (v, v, null); v = v.; virtualinvoke v.(5); v = v.; virtualinvoke v.(4); v = v.; v = v[1]; v = v.; v = v[2]; staticinvoke (v, v); return; } public void testRemoveOneAsynchronous() throws java.lang.Exception { java.lang.Throwable v; org.apache.zookeeper.admin.ZooKeeperAdmin[] v, v; java.util.ArrayList v; int v, v, v, v; java.lang.String v; java.util.LinkedList v; org.apache.zookeeper.ZooKeeper v, v, v; org.apache.zookeeper.test.ReconfigTest v; org.apache.zookeeper.ZooKeeper[] v, v, v, v; java.lang.Object v; org.apache.zookeeper.test.QuorumUtil v, v, v, v, v, v; org.apache.zookeeper.admin.ZooKeeperAdmin v; v := @this: org.apache.zookeeper.test.ReconfigTest; v = new org.apache.zookeeper.test.QuorumUtil; specialinvoke v.(int)>(2); v. = v; v = v.; v. = 1; v = v.; virtualinvoke v.(); v = v.; v = staticinvoke (v); v. = v; v = v.; v = staticinvoke (v); v. = v; v = new java.util.ArrayList; specialinvoke v.()>(); v = v.; v = specialinvoke v.(v); if v != 5 goto label; v = "4"; goto label; label: v = "5"; label: interfaceinvoke v.(v); v = new java.util.LinkedList; specialinvoke v.()>(); v = v.; v = v[1]; virtualinvoke v.(null, v, null, -1L, v, v); entermonitor v; label: v = interfaceinvoke v.(); if v >= 1 goto label; virtualinvoke v.(); goto label; label: exitmonitor v; label: goto label; label: v := @caughtexception; exitmonitor v; throw v; label: v = interfaceinvoke v.(0); v = virtualinvoke v.(); staticinvoke (0, v); v = v.; v = v[1]; v = v.; v = v[2]; staticinvoke (v, v); v = 1; label: if v > 5 goto label; v = v.; v = v[v]; staticinvoke (v, null, v); v = v + 1; goto label; label: return; catch java.lang.Throwable from label to label with label; } public void processResult(int, java.lang.String, java.lang.Object, byte[], org.apache.zookeeper.data.Stat) { java.lang.Throwable v; byte[] v; org.apache.zookeeper.data.Stat v; java.lang.Integer v; org.apache.zookeeper.test.ReconfigTest v; int v; java.lang.Object v; java.lang.String v; v := @this: org.apache.zookeeper.test.ReconfigTest; v := @parameter: int; v := @parameter: java.lang.String; v := @parameter: java.lang.Object; v := @parameter: byte[]; v := @parameter: org.apache.zookeeper.data.Stat; entermonitor v; label: v = staticinvoke (v); virtualinvoke v.(v); virtualinvoke v.(); exitmonitor v; label: goto label; label: v := @caughtexception; exitmonitor v; throw v; label: return; catch java.lang.Throwable from label to label with label; } public void testRoleChange() throws java.lang.Exception { org.apache.zookeeper.server.quorum.QuorumPeer v, v, v, v, v, v, v, v, v, v, v, v; org.apache.zookeeper.test.QuorumUtil$PeerStruct v, v, v, v, v, v, v, v, v, v, v, v; byte v; org.apache.zookeeper.server.quorum.QuorumPeer$ServerState v, v, v, v, v, v; org.apache.zookeeper.ZooKeeper v, v, v; org.apache.zookeeper.server.quorum.Observer v, v; org.apache.zookeeper.server.quorum.Follower v, v; org.apache.zookeeper.ZooKeeper[] v, v, v, v; java.util.ArrayList v; java.lang.String v, v; org.apache.zookeeper.server.quorum.MultipleAddresses v, v; org.apache.zookeeper.admin.ZooKeeperAdmin[] v, v, v; boolean v, v, v, v, v, v; java.util.List v, v; org.apache.zookeeper.test.ReconfigTest v; org.apache.zookeeper.admin.ZooKeeperAdmin v; int v, v, v, v, v, v, v, v, v, v; org.apache.zookeeper.server.quorum.Leader v, v; java.lang.Object v, v; org.apache.zookeeper.test.QuorumUtil v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v; v := @this: org.apache.zookeeper.test.ReconfigTest; v = new org.apache.zookeeper.test.QuorumUtil; specialinvoke v.(int)>(1); v. = v; v = v.; v. = 1; v = v.; virtualinvoke v.(); v = v.; v = staticinvoke (v); v. = v; v = v.; v = staticinvoke (v); v. = v; v = new java.util.ArrayList; specialinvoke v.()>(); v = v.; v = specialinvoke v.(v); if v != 1 goto label; v = 2; goto label; label: v = 1; label: v = v; v = "observer"; v = 0; label: if v >= 4 goto label; if v != v goto label; v = v.; v = v[v]; goto label; label: v = v.; v = v.; v = v.; v = v % v; v = v + 1; v = v[v]; label: v = v; if v != v goto label; v = v.; v = v[v]; goto label; label: v = v.; v = v.; v = v.; v = v % v; v = v + 1; v = v[v]; label: v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = virtualinvoke v.(); v = interfaceinvoke v.(0); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = virtualinvoke v.(); v = interfaceinvoke v.(0); v = v.; v = virtualinvoke v.(v); v = v.; v = virtualinvoke v.(); v = dynamicinvoke "makeConcatWithConstants"