public class org.apache.zookeeper.test.LoadFromLogNoServerTest extends org.apache.zookeeper.ZKTestCase
{
protected static final org.slf4j.Logger LOG;
public void <init>()
{
org.apache.zookeeper.test.LoadFromLogNoServerTest v;
v := @this: org.apache.zookeeper.test.LoadFromLogNoServerTest;
specialinvoke v.<org.apache.zookeeper.ZKTestCase: void <init>()>();
return;
}
public void testTxnFailure() throws java.lang.Exception
{
byte[] v, v;
byte v;
java.lang.Long v, v, v, v;
org.apache.zookeeper.server.DataNode v;
java.lang.Throwable v;
long v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
org.apache.zookeeper.server.persistence.FileTxnSnapLog v;
int v, v, v, v, v, v, v, v;
org.apache.zookeeper.data.StatPersisted v, v;
java.lang.String v, v, v, v, v;
org.slf4j.Logger v, v, v, v;
java.io.File v;
org.apache.zookeeper.test.LoadFromLogNoServerTest v;
org.apache.zookeeper.server.DataTree v;
v := @this: org.apache.zookeeper.test.LoadFromLogNoServerTest;
label:
staticinvoke <org.apache.zookeeper.server.ZooKeeperServer: void setDigestEnabled(boolean)>(1);
v = staticinvoke <org.apache.zookeeper.test.ClientBase: java.io.File createTmpDir()>();
v = new org.apache.zookeeper.server.persistence.FileTxnSnapLog;
specialinvoke v.<org.apache.zookeeper.server.persistence.FileTxnSnapLog: void <init>(java.io.File,java.io.File)>(v, v);
v = new org.apache.zookeeper.server.DataTree;
specialinvoke v.<org.apache.zookeeper.server.DataTree: void <init>()>();
v = newarray (byte)[0];
v = (int) -1;
virtualinvoke v.<org.apache.zookeeper.server.DataTree: void createNode(java.lang.String,byte[],java.util.List,long,int,long,long)>("/test", v, null, 0L, v, 1L, 1L);
v = 1L;
label:
v = v cmp 3L;
if v > 0 goto label;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (long)>(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[])>("/test/\u0001");
v = newarray (byte)[0];
v = staticinvoke <org.apache.zookeeper.common.Time: long currentElapsedTime()>();
v = (int) -1;
virtualinvoke v.<org.apache.zookeeper.server.DataTree: void createNode(java.lang.String,byte[],java.util.List,long,int,long,long)>(v, v, null, 0L, v, v, v);
v = v + 1L;
goto label;
label:
v = virtualinvoke v.<org.apache.zookeeper.server.DataTree: long getTreeDigest()>();
v = virtualinvoke v.<org.apache.zookeeper.server.DataTree: org.apache.zookeeper.server.DataNode getNode(java.lang.String)>("/test");
v = <org.apache.zookeeper.test.LoadFromLogNoServerTest: org.slf4j.Logger LOG>;
v = v - 1L;
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("Attempting to create /test/{}", v);
v = v - 1L;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (long)>(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[])>("/test/\u0001");
v = (int) -1;
specialinvoke v.<org.apache.zookeeper.test.LoadFromLogNoServerTest: void doOp(org.apache.zookeeper.server.persistence.FileTxnSnapLog,int,java.lang.String,org.apache.zookeeper.server.DataTree,org.apache.zookeeper.server.DataNode,int)>(v, 1, v, v, v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.DataTree: long getTreeDigest()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertNotEquals(long,long)>(v, v);
v = <org.apache.zookeeper.test.LoadFromLogNoServerTest: org.slf4j.Logger LOG>;
v = v - 1L;
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("Attempting to create /test/{}", v);
v = virtualinvoke v.<org.apache.zookeeper.server.DataTree: long getTreeDigest()>();
v = v - 1L;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (long)>(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[])>("/test/\u0001");
v = v.<org.apache.zookeeper.server.DataNode: org.apache.zookeeper.data.StatPersisted stat>;
v = virtualinvoke v.<org.apache.zookeeper.data.StatPersisted: int getCversion()>();
v = v + 1;
specialinvoke v.<org.apache.zookeeper.test.LoadFromLogNoServerTest: void doOp(org.apache.zookeeper.server.persistence.FileTxnSnapLog,int,java.lang.String,org.apache.zookeeper.server.DataTree,org.apache.zookeeper.server.DataNode,int)>(v, 1, v, v, v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.DataTree: long getTreeDigest()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertNotEquals(long,long)>(v, v);
v = <org.apache.zookeeper.test.LoadFromLogNoServerTest: org.slf4j.Logger LOG>;
v = v - 1L;
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("Attempting to create /test/{}", v);
v = virtualinvoke v.<org.apache.zookeeper.server.DataTree: long getTreeDigest()>();
v = v - 1L;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (long)>(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[])>("/test/\u0001");
v = v.<org.apache.zookeeper.server.DataNode: org.apache.zookeeper.data.StatPersisted stat>;
v = virtualinvoke v.<org.apache.zookeeper.data.StatPersisted: int getCversion()>();
v = v + 1;
specialinvoke v.<org.apache.zookeeper.test.LoadFromLogNoServerTest: void doOp(org.apache.zookeeper.server.persistence.FileTxnSnapLog,int,java.lang.String,org.apache.zookeeper.server.DataTree,org.apache.zookeeper.server.DataNode,int)>(v, 14, v, v, v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.DataTree: long getTreeDigest()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertNotEquals(long,long)>(v, v);
v = <org.apache.zookeeper.test.LoadFromLogNoServerTest: org.slf4j.Logger LOG>;
v = v - 1L;
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("Attempting to create /test/{}", v);
v = virtualinvoke v.<org.apache.zookeeper.server.DataTree: long getTreeDigest()>();
v = v - 1L;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (long)>(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[])>("/test/\u0001");
v = (int) -1;
specialinvoke v.<org.apache.zookeeper.test.LoadFromLogNoServerTest: void doOp(org.apache.zookeeper.server.persistence.FileTxnSnapLog,int,java.lang.String,org.apache.zookeeper.server.DataTree,org.apache.zookeeper.server.DataNode,int)>(v, 14, v, v, v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.DataTree: long getTreeDigest()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertNotEquals(long,long)>(v, v);
label:
staticinvoke <org.apache.zookeeper.server.ZooKeeperServer: void setDigestEnabled(boolean)>(0);
goto label;
label:
v := @caughtexception;
staticinvoke <org.apache.zookeeper.server.ZooKeeperServer: void setDigestEnabled(boolean)>(0);
throw v;
label:
return;
catch java.lang.Throwable from label to label with label;
}
private void doOp(org.apache.zookeeper.server.persistence.FileTxnSnapLog, int, java.lang.String, org.apache.zookeeper.server.DataTree, org.apache.zookeeper.server.DataNode, int) throws java.lang.Exception
{
byte[] v, v, v, v;
java.lang.Integer v, v;
byte v;
java.lang.Long v, v;
org.apache.zookeeper.txn.CreateTxn v, v;
java.lang.StringBuilder v, v, v, v;
org.apache.zookeeper.txn.DeleteTxn v;
java.io.ByteArrayOutputStream v;
long v, v, v, v, v, v, v, v, v, v, v, v;
java.util.ArrayList v;
org.apache.zookeeper.server.persistence.FileTxnSnapLog v;
org.apache.zookeeper.data.StatPersisted v, v, v, v;
java.lang.String v, v, v;
org.apache.zookeeper.txn.Txn v;
org.apache.zookeeper.txn.MultiTxn v;
org.apache.zookeeper.txn.TxnHeader v, v, v, v, v;
org.apache.zookeeper.test.LoadFromLogNoServerTest v;
org.apache.zookeeper.server.DataTree v;
org.apache.jute.BinaryOutputArchive v;
java.nio.ByteBuffer v;
boolean v, v, v;
org.apache.zookeeper.server.DataNode v;
java.util.List v, v;
int v, v, v, v, v, v, v;
org.slf4j.Logger v, v, v, v;
java.util.Iterator v, v;
java.lang.Object v, v, v;
v := @this: org.apache.zookeeper.test.LoadFromLogNoServerTest;
v := @parameter: org.apache.zookeeper.server.persistence.FileTxnSnapLog;
v := @parameter: int;
v := @parameter: java.lang.String;
v := @parameter: org.apache.zookeeper.server.DataTree;
v := @parameter: org.apache.zookeeper.server.DataNode;
v := @parameter: int;
v = virtualinvoke v.<java.lang.String: int lastIndexOf(int)>(47);
v = virtualinvoke v.<java.lang.String: java.lang.String substring(int,int)>(0, v);
v = v.<org.apache.zookeeper.server.DataNode: org.apache.zookeeper.data.StatPersisted stat>;
v = virtualinvoke v.<org.apache.zookeeper.data.StatPersisted: int getCversion()>();
v = v.<org.apache.zookeeper.server.DataNode: org.apache.zookeeper.data.StatPersisted stat>;
v = virtualinvoke v.<org.apache.zookeeper.data.StatPersisted: long getPzxid()>();
v = virtualinvoke v.<org.apache.zookeeper.server.DataTree: java.util.List getChildren(java.lang.String,org.apache.zookeeper.data.Stat,org.apache.zookeeper.Watcher)>(v, null, null);
v = new java.lang.StringBuilder;
specialinvoke v.<java.lang.StringBuilder: void <init>()>();
v = interfaceinvoke v.<java.util.List: java.util.Iterator iterator()>();
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 = virtualinvoke v.<java.lang.StringBuilder: java.lang.StringBuilder append(java.lang.String)>(v);
virtualinvoke v.<java.lang.StringBuilder: java.lang.StringBuilder append(java.lang.String)>(" ");
goto label;
label:
v = <org.apache.zookeeper.test.LoadFromLogNoServerTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object,java.lang.Object)>("Children: {} for {}", v, v);
v = <org.apache.zookeeper.test.LoadFromLogNoServerTest: org.slf4j.Logger LOG>;
v = staticinvoke <java.lang.Integer: java.lang.Integer valueOf(int)>(v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object,java.lang.Object)>("(cverions, pzxid): {}, {}", v, v);
v = null;
v = null;
if v != 2 goto label;
v = new org.apache.zookeeper.txn.DeleteTxn;
specialinvoke v.<org.apache.zookeeper.txn.DeleteTxn: void <init>(java.lang.String)>(v);
v = v;
v = new org.apache.zookeeper.txn.TxnHeader;
v = v + 1L;
v = staticinvoke <org.apache.zookeeper.common.Time: long currentElapsedTime()>();
specialinvoke v.<org.apache.zookeeper.txn.TxnHeader: void <init>(long,int,long,long,int)>(43981L, 291, v, v, 2);
v = v;
goto label;
label:
if v != 1 goto label;
v = new org.apache.zookeeper.txn.TxnHeader;
v = v + 1L;
v = staticinvoke <org.apache.zookeeper.common.Time: long currentElapsedTime()>();
specialinvoke v.<org.apache.zookeeper.txn.TxnHeader: void <init>(long,int,long,long,int)>(43981L, 291, v, v, 1);
v = v;
v = new org.apache.zookeeper.txn.CreateTxn;
v = newarray (byte)[0];
specialinvoke v.<org.apache.zookeeper.txn.CreateTxn: void <init>(java.lang.String,byte[],java.util.List,boolean,int)>(v, v, null, 0, v);
v = v;
goto label;
label:
if v != 14 goto label;
v = new org.apache.zookeeper.txn.TxnHeader;
v = v + 1L;
v = staticinvoke <org.apache.zookeeper.common.Time: long currentElapsedTime()>();
specialinvoke v.<org.apache.zookeeper.txn.TxnHeader: void <init>(long,int,long,long,int)>(43981L, 291, v, v, 1);
v = new org.apache.zookeeper.txn.CreateTxn;
v = newarray (byte)[0];
specialinvoke v.<org.apache.zookeeper.txn.CreateTxn: void <init>(java.lang.String,byte[],java.util.List,boolean,int)>(v, v, null, 0, v);
v = new java.util.ArrayList;
specialinvoke v.<java.util.ArrayList: void <init>()>();
v = new java.io.ByteArrayOutputStream;
specialinvoke v.<java.io.ByteArrayOutputStream: void <init>()>();
v = staticinvoke <org.apache.jute.BinaryOutputArchive: org.apache.jute.BinaryOutputArchive getArchive(java.io.OutputStream)>(v);
interfaceinvoke v.<org.apache.jute.Record: void serialize(org.apache.jute.OutputArchive,java.lang.String)>(v, "request");
v = virtualinvoke v.<java.io.ByteArrayOutputStream: byte[] toByteArray()>();
v = staticinvoke <java.nio.ByteBuffer: java.nio.ByteBuffer wrap(byte[])>(v);
v = new org.apache.zookeeper.txn.Txn;
v = virtualinvoke v.<java.nio.ByteBuffer: byte[] array()>();
specialinvoke v.<org.apache.zookeeper.txn.Txn: void <init>(int,byte[])>(1, v);
interfaceinvoke v.<java.util.List: boolean add(java.lang.Object)>(v);
v = new org.apache.zookeeper.txn.MultiTxn;
specialinvoke v.<org.apache.zookeeper.txn.MultiTxn: void <init>(java.util.List)>(v);
v = v;
v = new org.apache.zookeeper.txn.TxnHeader;
v = v + 1L;
v = staticinvoke <org.apache.zookeeper.common.Time: long currentElapsedTime()>();
specialinvoke v.<org.apache.zookeeper.txn.TxnHeader: void <init>(long,int,long,long,int)>(43981L, 291, v, v, 14);
v = v;
label:
virtualinvoke v.<org.apache.zookeeper.server.persistence.FileTxnSnapLog: void processTransaction(org.apache.zookeeper.txn.TxnHeader,org.apache.zookeeper.server.DataTree,java.util.Map,org.apache.jute.Record)>(v, v, null, v);
v = v.<org.apache.zookeeper.server.DataNode: org.apache.zookeeper.data.StatPersisted stat>;
v = virtualinvoke v.<org.apache.zookeeper.data.StatPersisted: int getCversion()>();
v = v.<org.apache.zookeeper.server.DataNode: org.apache.zookeeper.data.StatPersisted stat>;
v = virtualinvoke v.<org.apache.zookeeper.data.StatPersisted: long getPzxid()>();
v = virtualinvoke v.<org.apache.zookeeper.server.DataTree: java.util.List getChildren(java.lang.String,org.apache.zookeeper.data.Stat,org.apache.zookeeper.Watcher)>(v, null, null);
v = new java.lang.StringBuilder;
specialinvoke v.<java.lang.StringBuilder: void <init>()>();
v = interfaceinvoke v.<java.util.List: java.util.Iterator iterator()>();
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 = virtualinvoke v.<java.lang.StringBuilder: java.lang.StringBuilder append(java.lang.String)>(v);
virtualinvoke v.<java.lang.StringBuilder: java.lang.StringBuilder append(java.lang.String)>(" ");
goto label;
label:
v = <org.apache.zookeeper.test.LoadFromLogNoServerTest: org.slf4j.Logger LOG>;
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object,java.lang.Object)>("Children: {} for {}", v, v);
v = <org.apache.zookeeper.test.LoadFromLogNoServerTest: org.slf4j.Logger LOG>;
v = staticinvoke <java.lang.Integer: java.lang.Integer valueOf(int)>(v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object,java.lang.Object)>("(cverions, pzxid): {}, {}", v, v);
v = v + 1;
if v != v goto label;
v = v + 1L;
v = v cmp v;
if v != 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
v = v + 1;
v = v + 1L;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (int,int,long,int,long)>(v, v, v, v, 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[])>("\u <cversion, pzxid> verification failed. Expected: <\u, \u0001>, found: <\u, \u0001>");
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, v);
return;
}
public void testPad() throws java.lang.Exception
{
org.apache.zookeeper.server.persistence.FileTxnLog v;
byte[] v;
long v, v;
java.lang.Integer v, v;
org.apache.zookeeper.txn.CreateTxn v;
int v, v, v, v;
java.lang.String v, v, v;
boolean v;
org.slf4j.Logger v;
org.apache.zookeeper.server.persistence.FileHeader v;
org.apache.zookeeper.txn.TxnHeader v;
java.io.FileInputStream v;
java.io.File v;
org.apache.jute.BinaryInputArchive v;
org.apache.zookeeper.server.Request v;
org.apache.zookeeper.test.LoadFromLogNoServerTest v;
v := @this: org.apache.zookeeper.test.LoadFromLogNoServerTest;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: java.io.File createTmpDir()>();
v = new org.apache.zookeeper.server.persistence.FileTxnLog;
specialinvoke v.<org.apache.zookeeper.server.persistence.FileTxnLog: void <init>(java.io.File)>(v);
v = new org.apache.zookeeper.txn.TxnHeader;
v = staticinvoke <org.apache.zookeeper.common.Time: long currentElapsedTime()>();
specialinvoke v.<org.apache.zookeeper.txn.TxnHeader: void <init>(long,int,long,long,int)>(43981L, 291, 291L, v, 1);
v = new org.apache.zookeeper.txn.CreateTxn;
v = newarray (byte)[0];
specialinvoke v.<org.apache.zookeeper.txn.CreateTxn: void <init>(java.lang.String,byte[],java.util.List,boolean,int)>("/Test", v, null, 0, 1);
v = new org.apache.zookeeper.server.Request;
specialinvoke v.<org.apache.zookeeper.server.Request: void <init>(long,int,int,org.apache.zookeeper.txn.TxnHeader,org.apache.jute.Record,long)>(0L, 0, 0, v, v, 0L);
virtualinvoke v.<org.apache.zookeeper.server.persistence.FileTxnLog: boolean append(org.apache.zookeeper.server.Request)>(v);
v = new java.io.FileInputStream;
v = virtualinvoke v.<java.io.File: java.lang.String getPath()>();
v = virtualinvoke v.<org.apache.zookeeper.txn.TxnHeader: long getZxid()>();
v = staticinvoke <java.lang.Long: java.lang.String toHexString(long)>(v);
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (java.lang.String,java.lang.String)>(v, 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[])>("\u0001/log.\u0001");
specialinvoke v.<java.io.FileInputStream: void <init>(java.lang.String)>(v);
v = staticinvoke <org.apache.jute.BinaryInputArchive: org.apache.jute.BinaryInputArchive getArchive(java.io.InputStream)>(v);
v = new org.apache.zookeeper.server.persistence.FileHeader;
specialinvoke v.<org.apache.zookeeper.server.persistence.FileHeader: void <init>()>();
virtualinvoke v.<org.apache.zookeeper.server.persistence.FileHeader: void deserialize(org.apache.jute.InputArchive,java.lang.String)>(v, "fileheader");
v = <org.apache.zookeeper.test.LoadFromLogNoServerTest: org.slf4j.Logger LOG>;
v = virtualinvoke v.<org.apache.zookeeper.server.persistence.FileHeader: int getMagic()>();
v = staticinvoke <java.lang.Integer: java.lang.Integer valueOf(int)>(v);
v = <org.apache.zookeeper.server.persistence.FileTxnLog: int TXNLOG_MAGIC>;
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)>("Received magic : {} Expected : {}", v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.persistence.FileHeader: int getMagic()>();
v = <org.apache.zookeeper.server.persistence.FileTxnLog: int TXNLOG_MAGIC>;
if v != v goto label;
v = 1;
goto label;
label:
v = 0;
label:
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "Missing magic number ");
return;
}
static void <clinit>()
{
org.slf4j.Logger v;
v = staticinvoke <org.slf4j.LoggerFactory: org.slf4j.Logger getLogger(java.lang.Class)>(class "Lorg/apache/zookeeper/test/LoadFromLogNoServerTest;");
<org.apache.zookeeper.test.LoadFromLogNoServerTest: org.slf4j.Logger LOG> = v;
return;
}
}