public class org.apache.zookeeper.test.GetProposalFromTxnTest extends org.apache.zookeeper.ZKTestCase
{
private static java.lang.String HOSTPORT;
private static final int CONNECTION_TIMEOUT;
private static final int MSG_COUNT;
public void <init>()
{
org.apache.zookeeper.test.GetProposalFromTxnTest v;
v := @this: org.apache.zookeeper.test.GetProposalFromTxnTest;
specialinvoke v.<org.apache.zookeeper.ZKTestCase: void <init>()>();
return;
}
public void testGetProposalFromTxn() throws java.lang.Exception
{
org.apache.zookeeper.CreateMode v;
byte[] v, v;
org.apache.zookeeper.data.Stat v;
org.apache.zookeeper.server.quorum.QuorumPacket v;
java.lang.Long v, v, v, v;
boolean v, v, v, v, v, v;
org.apache.zookeeper.ZooKeeper v;
java.lang.Throwable v;
java.lang.Object[] v;
org.apache.zookeeper.server.ZKDatabase v;
java.lang.String[] v;
long v, v, v, v, v;
org.apache.zookeeper.server.ServerCnxnFactory v;
java.util.ArrayList v, v;
int v, v, v, v, v;
java.lang.String v, v, v, v, v, v, v, v;
org.apache.zookeeper.test.GetProposalFromTxnTest v;
java.lang.Long[] v, v;
java.util.Iterator v, v;
org.apache.zookeeper.txn.TxnHeader v;
java.io.File v;
org.apache.zookeeper.server.ZooKeeperServer v, v;
org.apache.zookeeper.server.TxnLogEntry v;
java.lang.Object v;
v := @this: org.apache.zookeeper.test.GetProposalFromTxnTest;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: java.io.File createTmpDir()>();
staticinvoke <org.apache.zookeeper.test.ClientBase: void setupTestEnv()>();
v = new org.apache.zookeeper.server.ZooKeeperServer;
specialinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void <init>(java.io.File,java.io.File,int)>(v, v, 3000);
staticinvoke <org.apache.zookeeper.server.SyncRequestProcessor: void setSnapCount(int)>(100);
v = <org.apache.zookeeper.test.GetProposalFromTxnTest: java.lang.String HOSTPORT>;
v = virtualinvoke v.<java.lang.String: java.lang.String[] split(java.lang.String)>(":");
v = v[1];
v = staticinvoke <java.lang.Integer: int parseInt(java.lang.String)>(v);
v = (int) -1;
v = staticinvoke <org.apache.zookeeper.server.ServerCnxnFactory: org.apache.zookeeper.server.ServerCnxnFactory createFactory(int,int)>(v, v);
virtualinvoke v.<org.apache.zookeeper.server.ServerCnxnFactory: void startup(org.apache.zookeeper.server.ZooKeeperServer)>(v);
v = <org.apache.zookeeper.test.GetProposalFromTxnTest: java.lang.String HOSTPORT>;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: boolean waitForServerUp(java.lang.String,long)>(v, 3000L);
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "waiting for server being up ");
v = <org.apache.zookeeper.test.GetProposalFromTxnTest: java.lang.String HOSTPORT>;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: org.apache.zookeeper.ZooKeeper createZKClient(java.lang.String)>(v);
v = newarray (java.lang.Long)[2000];
label:
v = "data";
v = virtualinvoke v.<java.lang.String: byte[] getBytes()>();
v = 0;
label:
if v >= 2000 goto label;
v = new org.apache.zookeeper.data.Stat;
specialinvoke v.<org.apache.zookeeper.data.Stat: void <init>()>();
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[])>("/invalidsnap-\u0001");
v = <org.apache.zookeeper.ZooDefs$Ids: java.util.ArrayList OPEN_ACL_UNSAFE>;
v = <org.apache.zookeeper.CreateMode: org.apache.zookeeper.CreateMode PERSISTENT>;
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 = 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[])>("/invalidsnap-\u0001");
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: byte[] getData(java.lang.String,org.apache.zookeeper.Watcher,org.apache.zookeeper.data.Stat)>(v, null, v);
v = virtualinvoke v.<org.apache.zookeeper.data.Stat: long getCzxid()>();
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
v[v] = v;
v = v + 1;
goto label;
label:
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: void close()>();
goto label;
label:
v := @caughtexception;
virtualinvoke v.<org.apache.zookeeper.ZooKeeper: void close()>();
throw v;
label:
virtualinvoke v.<org.apache.zookeeper.server.ServerCnxnFactory: void shutdown()>();
virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void shutdown()>();
v = <org.apache.zookeeper.test.GetProposalFromTxnTest: java.lang.String HOSTPORT>;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: boolean waitForServerDown(java.lang.String,long)>(v, 3000L);
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "waiting for server to shutdown");
v = new org.apache.zookeeper.server.ZooKeeperServer;
specialinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void <init>(java.io.File,java.io.File,int)>(v, v, 3000);
virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void startdata()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: org.apache.zookeeper.server.ZKDatabase getZKDatabase()>();
v = v[0];
v = virtualinvoke v.<java.lang.Long: long longValue()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZKDatabase: java.util.Iterator getProposalsFromTxnLog(long,long)>(v, 10000000L);
v = 0;
v = new java.util.ArrayList;
specialinvoke v.<java.util.ArrayList: void <init>(int)>(2000);
label:
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
if v == 0 goto label;
v = interfaceinvoke v.<java.util.Iterator: java.lang.Object next()>();
v = v.<org.apache.zookeeper.server.quorum.Leader$Proposal: org.apache.zookeeper.server.quorum.QuorumPacket packet>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPacket: byte[] getData()>();
v = staticinvoke <org.apache.zookeeper.server.util.SerializeUtils: org.apache.zookeeper.server.TxnLogEntry deserializeTxn(byte[])>(v);
v = virtualinvoke v.<org.apache.zookeeper.server.TxnLogEntry: org.apache.zookeeper.txn.TxnHeader getHeader()>();
virtualinvoke v.<org.apache.zookeeper.server.TxnLogEntry: org.apache.jute.Record getTxn()>();
v = virtualinvoke v.<org.apache.zookeeper.txn.TxnHeader: int getType()>();
if v != 1 goto label;
v = virtualinvoke v.<org.apache.zookeeper.txn.TxnHeader: long getZxid()>();
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
virtualinvoke v.<java.util.ArrayList: boolean add(java.lang.Object)>(v);
v = v + 1;
goto label;
label:
v = newarray (java.lang.Long)[0];
v = virtualinvoke v.<java.util.ArrayList: java.lang.Object[] toArray(java.lang.Object[])>(v);
v = staticinvoke <java.util.Arrays: boolean equals(java.lang.Object[],java.lang.Object[])>(v, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "Zxids missmatches");
if v != 2000 goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "create proposal count == 2000");
virtualinvoke v.<org.apache.zookeeper.server.ZKDatabase: void setSnapshotSizeFactor(double)>(0.33);
v = virtualinvoke v.<org.apache.zookeeper.server.ZKDatabase: long calculateTxnLogSizeLimit()>();
v = v[1000];
v = virtualinvoke v.<java.lang.Long: long longValue()>();
v = virtualinvoke v.<org.apache.zookeeper.server.ZKDatabase: java.util.Iterator getProposalsFromTxnLog(long,long)>(v, v);
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertFalse(boolean,java.lang.String)>(v, "Expect empty proposal");
virtualinvoke v.<org.apache.zookeeper.server.ServerCnxnFactory: void shutdown()>();
virtualinvoke v.<org.apache.zookeeper.server.ZooKeeperServer: void shutdown()>();
return;
catch java.lang.Throwable from label to label with label;
}
static void <clinit>()
{
int v;
java.lang.String v;
v = staticinvoke <org.apache.zookeeper.PortAssignment: int unique()>();
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");
<org.apache.zookeeper.test.GetProposalFromTxnTest: java.lang.String HOSTPORT> = v;
return;
}
}