public class org.apache.zookeeper.server.ZxidRolloverTest extends org.apache.zookeeper.ZKTestCase
{
private static final org.slf4j.Logger LOG;
private org.apache.zookeeper.test.QuorumUtil qu;
private org.apache.zookeeper.server.ZooKeeperServer zksLeader;
private org.apache.zookeeper.ZooKeeper[] zkClients;
private org.apache.zookeeper.test.ClientBase$CountdownWatcher[] zkClientWatchers;
private int idxLeader;
private int idxFollower;
public void <init>()
{
org.apache.zookeeper.test.ClientBase$CountdownWatcher[] v;
org.apache.zookeeper.server.ZxidRolloverTest v;
org.apache.zookeeper.ZooKeeper[] v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
specialinvoke v.<org.apache.zookeeper.ZKTestCase: void <init>()>();
v = newarray (org.apache.zookeeper.ZooKeeper)[3];
v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper[] zkClients> = v;
v = newarray (org.apache.zookeeper.test.ClientBase$CountdownWatcher)[3];
v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.ClientBase$CountdownWatcher[] zkClientWatchers> = v;
return;
}
private org.apache.zookeeper.ZooKeeper getClient(int)
{
org.apache.zookeeper.ZooKeeper v;
org.apache.zookeeper.server.ZxidRolloverTest v;
org.apache.zookeeper.ZooKeeper[] v;
int v, v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v := @parameter: int;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper[] zkClients>;
v = v - 1;
v = v[v];
return v;
}
public void setUp() throws java.lang.Exception
{
org.apache.zookeeper.test.ClientBase$CountdownWatcher v, v;
org.apache.zookeeper.test.QuorumUtil$PeerStruct v;
int v, v, v, v, v;
java.lang.String v;
org.apache.zookeeper.ZooKeeper v;
org.apache.zookeeper.test.ClientBase$CountdownWatcher[] v, v;
org.apache.zookeeper.server.ZxidRolloverTest v;
org.apache.zookeeper.ZooKeeper[] v, v;
org.apache.zookeeper.test.QuorumUtil v, v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
staticinvoke <java.lang.System: java.lang.String setProperty(java.lang.String,java.lang.String)>("zookeeper.admin.enableServer", "false");
staticinvoke <org.apache.zookeeper.server.SyncRequestProcessor: void setSnapCount(int)>(7);
v = new org.apache.zookeeper.test.QuorumUtil;
specialinvoke v.<org.apache.zookeeper.test.QuorumUtil: void <init>(int)>(1);
v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu> = v;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void startAll()>();
v = 0;
label:
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper[] zkClients>;
v = lengthof v;
if v >= v goto label;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.ClientBase$CountdownWatcher[] zkClientWatchers>;
v = new org.apache.zookeeper.test.ClientBase$CountdownWatcher;
specialinvoke v.<org.apache.zookeeper.test.ClientBase$CountdownWatcher: void <init>()>();
v[v] = v;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu>;
v = v + 1;
v = virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: org.apache.zookeeper.test.QuorumUtil$PeerStruct getPeer(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper[] zkClients>;
v = new org.apache.zookeeper.ZooKeeper;
v = v.<org.apache.zookeeper.test.QuorumUtil$PeerStruct: int clientPort>;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("127.0.0.1:\u0001");
v = <org.apache.zookeeper.test.ClientTest: int CONNECTION_TIMEOUT>;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.ClientBase$CountdownWatcher[] zkClientWatchers>;
v = v[v];
specialinvoke v.<org.apache.zookeeper.ZooKeeper: void <init>(java.lang.String,int,org.apache.zookeeper.Watcher)>(v, v, v);
v[v] = v;
v = v + 1;
goto label;
label:
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void waitForClientsConnected()>();
return;
}
private void waitForClientsConnected() throws java.lang.Exception
{
org.apache.zookeeper.test.ClientBase$CountdownWatcher[] v, v;
org.apache.zookeeper.server.ZxidRolloverTest v;
org.apache.zookeeper.test.ClientBase$CountdownWatcher v, v;
org.apache.zookeeper.ZooKeeper[] v;
int v, v, v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v = 0;
label:
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper[] zkClients>;
v = lengthof v;
if v >= v goto label;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.ClientBase$CountdownWatcher[] zkClientWatchers>;
v = v[v];
v = <org.apache.zookeeper.test.ClientTest: int CONNECTION_TIMEOUT>;
virtualinvoke v.<org.apache.zookeeper.test.ClientBase$CountdownWatcher: void waitForConnected(long)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.ClientBase$CountdownWatcher[] zkClientWatchers>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.test.ClientBase$CountdownWatcher: void reset()>();
v = v + 1;
goto label;
label:
return;
}
private void checkClientsConnected() throws java.lang.Exception
{
org.apache.zookeeper.server.ZxidRolloverTest v;
org.apache.zookeeper.ZooKeeper[] v;
int v, v, v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v = 0;
label:
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper[] zkClients>;
v = lengthof v;
if v >= v goto label;
v = v + 1;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkClientConnected(int)>(v);
v = v + 1;
goto label;
label:
return;
}
private void checkClientConnected(int) throws java.lang.Exception
{
java.lang.Throwable v;
org.apache.zookeeper.ZooKeeper v;
org.apache.zookeeper.server.ZxidRolloverTest v;
org.apache.zookeeper.data.Stat v, v;
org.apache.zookeeper.test.QuorumUtil$PeerStruct v;
int v, v, v;
java.lang.String v;
org.apache.zookeeper.test.QuorumUtil v;
boolean v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v := @parameter: int;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
if v != null goto label;
return;
label:
v = virtualinvoke v.<org.apache.zookeeper.ZooKeeper: org.apache.zookeeper.data.Stat exists(java.lang.String,boolean)>("/foofoofoo-connected", 0);
staticinvoke <org.junit.jupiter.api.Assertions: void assertNull(java.lang.Object)>(v);
label:
goto label;
label:
v := @caughtexception;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu>;
v = virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: org.apache.zookeeper.test.QuorumUtil$PeerStruct getPeer(int)>(v);
v = v.<org.apache.zookeeper.test.QuorumUtil$PeerStruct: int clientPort>;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("127.0.0.1:\u0001");
v = <org.apache.zookeeper.test.ClientBase: int CONNECTION_TIMEOUT>;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: boolean waitForServerUp(java.lang.String,long)>(v, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "Waiting for server down");
v = virtualinvoke v.<org.apache.zookeeper.ZooKeeper: org.apache.zookeeper.data.Stat exists(java.lang.String,boolean)>("/foofoofoo-connected", 0);
staticinvoke <org.junit.jupiter.api.Assertions: void assertNull(java.lang.Object)>(v);
label:
return;
catch org.apache.zookeeper.KeeperException$ConnectionLossException from label to label with label;
}
private void checkClientsDisconnected() throws java.lang.Exception
{
org.apache.zookeeper.server.ZxidRolloverTest v;
org.apache.zookeeper.ZooKeeper[] v;
int v, v, v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v = 0;
label:
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper[] zkClients>;
v = lengthof v;
if v >= v goto label;
v = v + 1;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkClientDisconnected(int)>(v);
v = v + 1;
goto label;
label:
return;
}
private void checkClientDisconnected(int) throws java.lang.Exception
{
java.lang.Throwable v;
org.apache.zookeeper.ZooKeeper v;
org.apache.zookeeper.server.ZxidRolloverTest v;
int v;
org.apache.zookeeper.data.Stat v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v := @parameter: int;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
if v != null goto label;
return;
label:
v = virtualinvoke v.<org.apache.zookeeper.ZooKeeper: org.apache.zookeeper.data.Stat exists(java.lang.String,boolean)>("/foofoofoo-disconnected", 0);
staticinvoke <org.junit.jupiter.api.Assertions: void assertNull(java.lang.Object)>(v);
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>("expected client to be disconnected");
label:
goto label;
label:
v := @caughtexception;
label:
return;
catch org.apache.zookeeper.KeeperException from label to label with label;
}
private void startAll() throws java.lang.Exception
{
org.apache.zookeeper.test.QuorumUtil v;
org.apache.zookeeper.server.ZxidRolloverTest v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu>;
virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: void startAll()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkLeader()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkClientsConnected()>();
return;
}
private void start(int) throws java.lang.Exception
{
org.apache.zookeeper.server.ZxidRolloverTest v;
java.lang.String[] v;
int v, v, v, v;
java.lang.String v, v;
org.apache.zookeeper.test.QuorumUtil v, v;
boolean v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v := @parameter: int;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu>;
virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: void start(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu>;
v = virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: java.lang.String getConnString()>();
v = virtualinvoke v.<java.lang.String: java.lang.String[] split(java.lang.String)>(",");
v = lengthof v;
v = 0;
label:
if v >= v goto label;
v = v[v];
v = <org.apache.zookeeper.test.ClientTest: int CONNECTION_TIMEOUT>;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: boolean waitForServerUp(java.lang.String,long)>(v, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "waiting for server up");
v = v + 1;
goto label;
label:
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkLeader()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkClientsConnected()>();
return;
}
private void checkLeader()
{
org.apache.zookeeper.server.quorum.QuorumPeer v, v;
org.apache.zookeeper.server.ZxidRolloverTest v;
org.apache.zookeeper.server.ZooKeeperServer v;
org.apache.zookeeper.test.QuorumUtil$PeerStruct v, v;
org.apache.zookeeper.server.quorum.Leader v;
byte v;
int v, v, v, v, v;
org.apache.zookeeper.test.QuorumUtil v, v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader> = 1;
label:
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu>;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
v = virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: org.apache.zookeeper.test.QuorumUtil$PeerStruct getPeer(int)>(v);
v = v.<org.apache.zookeeper.test.QuorumUtil$PeerStruct: org.apache.zookeeper.server.quorum.QuorumPeer peer>;
v = v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.quorum.Leader leader>;
if v != null goto label;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
v = v + 1;
v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader> = v;
goto label;
label:
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
if v != 1 goto label;
v = 2;
goto label;
label:
v = 1;
label:
v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower> = v;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu>;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
v = virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: org.apache.zookeeper.test.QuorumUtil$PeerStruct getPeer(int)>(v);
v = v.<org.apache.zookeeper.test.QuorumUtil$PeerStruct: org.apache.zookeeper.server.quorum.QuorumPeer peer>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.ZooKeeperServer getActiveServer()>();
v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.server.ZooKeeperServer zksLeader> = v;
return;
}
private void shutdownAll() throws java.lang.Exception
{
org.apache.zookeeper.test.QuorumUtil v;
org.apache.zookeeper.server.ZxidRolloverTest v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu>;
virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: void shutdownAll()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkClientsDisconnected()>();
return;
}
private void shutdown(int) throws java.lang.Exception
{
org.apache.zookeeper.server.ZxidRolloverTest v;
java.lang.AssertionError v;
org.apache.zookeeper.test.QuorumUtil$PeerStruct v;
int v, v, v, v;
java.lang.String v;
org.apache.zookeeper.test.QuorumUtil v, v;
boolean v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v := @parameter: int;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu>;
virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: void shutdown(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu>;
v = virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: org.apache.zookeeper.test.QuorumUtil$PeerStruct getPeer(int)>(v);
v = v.<org.apache.zookeeper.test.QuorumUtil$PeerStruct: int clientPort>;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("127.0.0.1:\u0001");
v = <org.apache.zookeeper.test.ClientBase: int CONNECTION_TIMEOUT>;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: boolean waitForServerDown(java.lang.String,long)>(v, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "Waiting for server down");
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
if v != v goto label;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkClientDisconnected(int)>(v);
label:
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkClientsDisconnected()>();
label:
goto label;
label:
v := @caughtexception;
goto label;
label:
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkClientDisconnected(int)>(v);
label:
return;
catch java.lang.AssertionError from label to label with label;
}
private void adjustEpochNearEnd()
{
org.apache.zookeeper.server.ZooKeeperServer v, v;
org.apache.zookeeper.server.ZxidRolloverTest v;
long v, v, v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.server.ZooKeeperServer zksLeader>;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.server.ZooKeeperServer zksLeader>;
v = virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: long getZxid()>();
v = v & -4294967296L;
v = v | 4294967292L;
virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void setZxid(long)>(v);
return;
}
public void tearDown() throws java.lang.Exception
{
org.apache.zookeeper.ZooKeeper v;
org.slf4j.Logger v;
org.apache.zookeeper.server.ZxidRolloverTest v;
org.apache.zookeeper.ZooKeeper[] v, v;
int v, v;
org.apache.zookeeper.test.QuorumUtil v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v = <org.apache.zookeeper.server.ZxidRolloverTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String)>("tearDown starting");
v = 0;
label:
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper[] zkClients>;
v = lengthof v;
if v >= v goto label;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper[] zkClients>;
v = v[v];
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: void close()>();
v = v + 1;
goto label;
label:
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.test.QuorumUtil qu>;
virtualinvoke v.<org.apache.zookeeper.test.QuorumUtil: void shutdownAll()>();
return;
}
private int createNodes(org.apache.zookeeper.ZooKeeper, int, int) throws java.lang.Exception
{
java.lang.Throwable v;
org.apache.zookeeper.CreateMode v;
byte[] v;
java.lang.Integer v, v;
java.util.ArrayList v;
int v, v, v, v, v, v;
java.lang.String v;
org.apache.zookeeper.ZooKeeper v;
org.slf4j.Logger v;
org.apache.zookeeper.server.ZxidRolloverTest v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v := @parameter: org.apache.zookeeper.ZooKeeper;
v := @parameter: int;
v := @parameter: int;
v = <org.apache.zookeeper.server.ZxidRolloverTest: org.slf4j.Logger LOG>;
v = staticinvoke <java.lang.Integer: java.lang.Integer valueOf(int)>(v);
v = v + v;
v = staticinvoke <java.lang.Integer: java.lang.Integer valueOf(int)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object,java.lang.Object)>("Creating nodes {} thru {}", v, v);
v = 0;
label:
v = v;
label:
v = v + v;
if v >= v goto label;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("/foo\u0001");
v = newarray (byte)[0];
v = <org.apache.zookeeper.ZooDefs$Ids: java.util.ArrayList READ_ACL_UNSAFE>;
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode EPHEMERAL>;
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: java.lang.String create(java.lang.String,byte[],java.util.List,org.apache.zookeeper.CreateMode)>(v, v, v, v);
v = v + 1;
v = v + 1;
goto label;
label:
v := @caughtexception;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void waitForClientsConnected()>();
label:
return v;
catch org.apache.zookeeper.KeeperException$ConnectionLossException from label to label with label;
}
private void checkNodes(org.apache.zookeeper.ZooKeeper, int, int) throws java.lang.Exception
{
long v;
org.apache.zookeeper.data.Stat v, v, v;
java.lang.Integer v, v;
int v, v, v, v, v, v;
java.lang.String v, v, v, v;
org.apache.zookeeper.ZooKeeper v;
org.slf4j.Logger v, v;
org.apache.zookeeper.server.ZxidRolloverTest v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v := @parameter: org.apache.zookeeper.ZooKeeper;
v := @parameter: int;
v := @parameter: int;
v = <org.apache.zookeeper.server.ZxidRolloverTest: org.slf4j.Logger LOG>;
v = staticinvoke <java.lang.Integer: java.lang.Integer valueOf(int)>(v);
v = v + v;
v = staticinvoke <java.lang.Integer: java.lang.Integer valueOf(int)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object,java.lang.Object)>("Validating nodes {} thru {}", v, v);
v = v;
label:
v = v + v;
if v >= v goto label;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("/foo\u0001");
v = virtualinvoke v.<org.apache.zookeeper.ZooKeeper: org.apache.zookeeper.data.Stat exists(java.lang.String,boolean)>(v, 0);
staticinvoke <org.junit.jupiter.api.Assertions: void assertNotNull(java.lang.Object)>(v);
v = <org.apache.zookeeper.server.ZxidRolloverTest: org.slf4j.Logger LOG>;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("/foo\u0001");
v = virtualinvoke v.<org.apache.zookeeper.ZooKeeper: org.apache.zookeeper.data.Stat exists(java.lang.String,boolean)>(v, 0);
v = virtualinvoke v.<org.apache.zookeeper.data.Stat: long getCzxid()>();
v = staticinvoke <java.lang.Long: java.lang.String toHexString(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void error(java.lang.String,java.lang.Object)>("Exists zxid:{}", v);
v = v + 1;
goto label;
label:
v = v + v;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("/foo\u0001");
v = virtualinvoke v.<org.apache.zookeeper.ZooKeeper: org.apache.zookeeper.data.Stat exists(java.lang.String,boolean)>(v, 0);
staticinvoke <org.junit.jupiter.api.Assertions: void assertNull(java.lang.Object)>(v);
return;
}
public void testSimpleRolloverFollower() throws java.lang.Exception
{
org.apache.zookeeper.ZooKeeper v;
byte v;
org.apache.zookeeper.server.ZxidRolloverTest v;
int v, v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
if v != 1 goto label;
v = 2;
goto label;
label:
v = 1;
label:
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, 10);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
return;
}
public void testRolloverThenRestart() throws java.lang.Exception
{
int v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
boolean v, v;
org.apache.zookeeper.ZooKeeper v, v, v, v;
org.apache.zookeeper.server.ZxidRolloverTest v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, 10);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void shutdownAll()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void startAll()>();
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void shutdownAll()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void startAll()>();
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void shutdownAll()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void startAll()>();
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
if v <= 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
if v >= 60 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
return;
}
public void testRolloverThenFollowerRestart() throws java.lang.Exception
{
int v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
boolean v, v;
org.apache.zookeeper.ZooKeeper v;
org.apache.zookeeper.server.ZxidRolloverTest v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, 10);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void shutdown(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void start(int)>(v);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void shutdown(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void start(int)>(v);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void shutdown(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void start(int)>(v);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
if v <= 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
if v >= 60 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
return;
}
public void testRolloverThenLeaderRestart() throws java.lang.Exception
{
int v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
boolean v, v;
org.apache.zookeeper.ZooKeeper v, v, v, v;
org.apache.zookeeper.server.ZxidRolloverTest v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, 10);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void shutdown(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void start(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void shutdown(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void start(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void shutdown(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void start(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
if v <= 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
if v >= 50 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
return;
}
public void testMultipleRollover() throws java.lang.Exception
{
int v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
boolean v, v;
org.apache.zookeeper.ZooKeeper v, v, v;
org.apache.zookeeper.server.ZxidRolloverTest v;
v := @this: org.apache.zookeeper.server.ZxidRolloverTest;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, 10);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void shutdownAll()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void startAll()>();
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void adjustEpochNearEnd()>();
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void shutdown(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxLeader>;
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void start(int)>(v);
v = v.<org.apache.zookeeper.server.ZxidRolloverTest: int idxFollower>;
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: org.apache.zookeeper.ZooKeeper getClient(int)>(v);
specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: void checkNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, 0, v);
v = specialinvoke v.<org.apache.zookeeper.server.ZxidRolloverTest: int createNodes(org.apache.zookeeper.ZooKeeper,int,int)>(v, v, 10);
v = v + v;
if v <= 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
if v >= 70 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
return;
}
static void <clinit>()
{
org.slf4j.Logger v;
v = staticinvoke <org.slf4j.LoggerFactory: org.slf4j.Logger getLogger(java.lang.Class)>(class "Lorg/apache/zookeeper/server/ZxidRolloverTest;");
<org.apache.zookeeper.server.ZxidRolloverTest: org.slf4j.Logger LOG> = v;
return;
}
}