public class org.apache.zookeeper.test.AtomicFileOutputStreamTest extends org.apache.zookeeper.ZKTestCase
{
private static final java.lang.String TEST_STRING;
private static final java.lang.String TEST_STRING_2;
private java.io.File testDir;
private java.io.File dstFile;
public void <init>()
{
org.apache.zookeeper.test.AtomicFileOutputStreamTest v;
v := @this: org.apache.zookeeper.test.AtomicFileOutputStreamTest;
specialinvoke v.<org.apache.zookeeper.ZKTestCase: void <init>()>();
return;
}
public void setupTestDir() throws java.io.IOException
{
org.apache.zookeeper.test.AtomicFileOutputStreamTest v;
java.io.File v, v, v;
v := @this: org.apache.zookeeper.test.AtomicFileOutputStreamTest;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: java.io.File createEmptyTestDir()>();
v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File testDir> = v;
v = new java.io.File;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File testDir>;
specialinvoke v.<java.io.File: void <init>(java.io.File,java.lang.String)>(v, "test.txt");
v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile> = v;
return;
}
public void cleanupTestDir() throws java.io.IOException
{
java.io.File v;
org.apache.zookeeper.test.AtomicFileOutputStreamTest v;
v := @this: org.apache.zookeeper.test.AtomicFileOutputStreamTest;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File testDir>;
staticinvoke <org.apache.zookeeper.test.ClientBase: boolean recursiveDelete(java.io.File)>(v);
return;
}
public void testWriteNewFile() throws java.io.IOException
{
byte[] v, v;
org.apache.zookeeper.test.AtomicFileOutputStreamTest v;
java.nio.charset.Charset v;
java.lang.String v, v;
java.nio.file.Path v;
boolean v, v, v;
java.io.File v, v, v, v, v;
org.apache.zookeeper.common.AtomicFileOutputStream v;
v := @this: org.apache.zookeeper.test.AtomicFileOutputStreamTest;
v = new org.apache.zookeeper.common.AtomicFileOutputStream;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
specialinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void <init>(java.io.File)>(v);
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: boolean exists()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertFalse(boolean)>(v);
v = "hello world";
v = virtualinvoke v.<java.lang.String: byte[] getBytes()>();
virtualinvoke v.<java.io.OutputStream: void write(byte[])>(v);
virtualinvoke v.<java.io.OutputStream: void flush()>();
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: boolean exists()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertFalse(boolean)>(v);
virtualinvoke v.<java.io.OutputStream: void close()>();
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: boolean exists()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
v = new java.lang.String;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: java.nio.file.Path toPath()>();
v = staticinvoke <java.nio.file.Files: byte[] readAllBytes(java.nio.file.Path)>(v);
v = <java.nio.charset.StandardCharsets: java.nio.charset.Charset UTF_8>;
specialinvoke v.<java.lang.String: void <init>(byte[],java.nio.charset.Charset)>(v, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(java.lang.Object,java.lang.Object)>("hello world", v);
return;
}
public void testOverwriteFile() throws java.io.IOException
{
byte[] v, v, v;
org.apache.zookeeper.test.AtomicFileOutputStreamTest v;
java.nio.charset.Charset v, v;
java.lang.String v, v, v;
java.nio.file.Path v, v;
boolean v, v;
java.io.File v, v, v, v, v;
org.apache.zookeeper.common.AtomicFileOutputStream v;
v := @this: org.apache.zookeeper.test.AtomicFileOutputStreamTest;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: boolean createNewFile()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "Creating empty dst file");
v = new org.apache.zookeeper.common.AtomicFileOutputStream;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
specialinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void <init>(java.io.File)>(v);
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: boolean exists()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "Empty file still exists");
v = "hello world";
v = virtualinvoke v.<java.lang.String: byte[] getBytes()>();
virtualinvoke v.<java.io.OutputStream: void write(byte[])>(v);
virtualinvoke v.<java.io.OutputStream: void flush()>();
v = new java.lang.String;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: java.nio.file.Path toPath()>();
v = staticinvoke <java.nio.file.Files: byte[] readAllBytes(java.nio.file.Path)>(v);
v = <java.nio.charset.StandardCharsets: java.nio.charset.Charset UTF_8>;
specialinvoke v.<java.lang.String: void <init>(byte[],java.nio.charset.Charset)>(v, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(java.lang.Object,java.lang.Object)>("", v);
virtualinvoke v.<java.io.OutputStream: void close()>();
v = new java.lang.String;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: java.nio.file.Path toPath()>();
v = staticinvoke <java.nio.file.Files: byte[] readAllBytes(java.nio.file.Path)>(v);
v = <java.nio.charset.StandardCharsets: java.nio.charset.Charset UTF_8>;
specialinvoke v.<java.lang.String: void <init>(byte[],java.nio.charset.Charset)>(v, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(java.lang.Object,java.lang.Object)>("hello world", v);
return;
}
public void testFailToFlush() throws java.io.IOException
{
byte[] v, v, v;
org.apache.zookeeper.test.AtomicFileOutputStreamTest v;
java.lang.String[] v;
java.nio.charset.Charset v;
java.lang.String v, v, v, v, v;
java.nio.file.Path v;
java.io.OutputStream v;
java.io.FileOutputStream v;
java.io.IOException v;
java.io.File v, v, v, v;
v := @this: org.apache.zookeeper.test.AtomicFileOutputStreamTest;
v = new java.io.FileOutputStream;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
specialinvoke v.<java.io.FileOutputStream: void <init>(java.io.File)>(v);
v = "goodbye world";
v = virtualinvoke v.<java.lang.String: byte[] getBytes()>();
virtualinvoke v.<java.io.FileOutputStream: void write(byte[])>(v);
virtualinvoke v.<java.io.FileOutputStream: void close()>();
v = specialinvoke v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.OutputStream createFailingStream()>();
v = "hello world";
v = virtualinvoke v.<java.lang.String: byte[] getBytes()>();
virtualinvoke v.<java.io.OutputStream: void write(byte[])>(v);
label:
virtualinvoke v.<java.io.OutputStream: void close()>();
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>("Close didn\'t throw exception");
label:
goto label;
label:
v := @caughtexception;
label:
v = new java.lang.String;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: java.nio.file.Path toPath()>();
v = staticinvoke <java.nio.file.Files: byte[] readAllBytes(java.nio.file.Path)>(v);
v = <java.nio.charset.StandardCharsets: java.nio.charset.Charset UTF_8>;
specialinvoke v.<java.lang.String: void <init>(byte[],java.nio.charset.Charset)>(v, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(java.lang.Object,java.lang.Object)>("goodbye world", v);
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: java.lang.String getName()>();
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File testDir>;
v = virtualinvoke v.<java.io.File: java.lang.String[] list()>();
v = staticinvoke <java.lang.String: java.lang.String join(java.lang.CharSequence,java.lang.CharSequence[])>(",", v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(java.lang.Object,java.lang.Object,java.lang.String)>(v, v, "Temporary file should have been cleaned up");
return;
catch java.io.IOException from label to label with label;
}
private java.io.OutputStream createFailingStream() throws java.io.FileNotFoundException
{
org.apache.zookeeper.test.AtomicFileOutputStreamTest$1 v;
java.io.File v;
org.apache.zookeeper.test.AtomicFileOutputStreamTest v;
v := @this: org.apache.zookeeper.test.AtomicFileOutputStreamTest;
v = new org.apache.zookeeper.test.AtomicFileOutputStreamTest$1;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
specialinvoke v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest$1: void <init>(org.apache.zookeeper.test.AtomicFileOutputStreamTest,java.io.File)>(v, v);
return v;
}
public void testAbortNewFile() throws java.io.IOException
{
org.apache.zookeeper.test.AtomicFileOutputStreamTest v;
int v;
java.lang.String[] v;
org.apache.zookeeper.common.AtomicFileOutputStream v;
java.io.File v, v;
v := @this: org.apache.zookeeper.test.AtomicFileOutputStreamTest;
v = new org.apache.zookeeper.common.AtomicFileOutputStream;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
specialinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void <init>(java.io.File)>(v);
virtualinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void abort()>();
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File testDir>;
v = virtualinvoke v.<java.io.File: java.lang.String[] list()>();
v = lengthof v;
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(int,int)>(0, v);
return;
}
public void testAbortNewFileAfterFlush() throws java.io.IOException
{
byte[] v;
org.apache.zookeeper.test.AtomicFileOutputStreamTest v;
java.lang.String[] v;
java.io.File v, v;
int v;
org.apache.zookeeper.common.AtomicFileOutputStream v;
java.lang.String v;
v := @this: org.apache.zookeeper.test.AtomicFileOutputStreamTest;
v = new org.apache.zookeeper.common.AtomicFileOutputStream;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
specialinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void <init>(java.io.File)>(v);
v = "hello world";
v = virtualinvoke v.<java.lang.String: byte[] getBytes()>();
virtualinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void write(byte[])>(v);
virtualinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void flush()>();
virtualinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void abort()>();
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File testDir>;
v = virtualinvoke v.<java.io.File: java.lang.String[] list()>();
v = lengthof v;
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(int,int)>(0, v);
return;
}
public void testAbortExistingFile() throws java.io.IOException
{
byte[] v, v;
org.apache.zookeeper.test.AtomicFileOutputStreamTest v;
java.io.FileOutputStream v;
java.lang.String[] v;
java.io.File v, v, v, v;
java.nio.charset.Charset v;
int v;
org.apache.zookeeper.common.AtomicFileOutputStream v;
java.lang.String v, v;
java.nio.file.Path v;
v := @this: org.apache.zookeeper.test.AtomicFileOutputStreamTest;
v = new java.io.FileOutputStream;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
specialinvoke v.<java.io.FileOutputStream: void <init>(java.io.File)>(v);
v = "hello world";
v = virtualinvoke v.<java.lang.String: byte[] getBytes()>();
virtualinvoke v.<java.io.FileOutputStream: void write(byte[])>(v);
virtualinvoke v.<java.io.FileOutputStream: void close()>();
v = new org.apache.zookeeper.common.AtomicFileOutputStream;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
specialinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void <init>(java.io.File)>(v);
virtualinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void abort()>();
v = new java.lang.String;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: java.nio.file.Path toPath()>();
v = staticinvoke <java.nio.file.Files: byte[] readAllBytes(java.nio.file.Path)>(v);
v = <java.nio.charset.StandardCharsets: java.nio.charset.Charset UTF_8>;
specialinvoke v.<java.lang.String: void <init>(byte[],java.nio.charset.Charset)>(v, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(java.lang.Object,java.lang.Object)>("hello world", v);
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File testDir>;
v = virtualinvoke v.<java.io.File: java.lang.String[] list()>();
v = lengthof v;
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(int,int)>(1, v);
return;
}
public void testAbortExistingFileAfterFlush() throws java.io.IOException
{
byte[] v, v, v;
org.apache.zookeeper.test.AtomicFileOutputStreamTest v;
java.lang.String[] v;
java.nio.charset.Charset v;
int v;
java.lang.String v, v, v;
java.nio.file.Path v;
java.io.FileOutputStream v;
java.io.File v, v, v, v;
org.apache.zookeeper.common.AtomicFileOutputStream v;
v := @this: org.apache.zookeeper.test.AtomicFileOutputStreamTest;
v = new java.io.FileOutputStream;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
specialinvoke v.<java.io.FileOutputStream: void <init>(java.io.File)>(v);
v = "hello world";
v = virtualinvoke v.<java.lang.String: byte[] getBytes()>();
virtualinvoke v.<java.io.FileOutputStream: void write(byte[])>(v);
virtualinvoke v.<java.io.FileOutputStream: void close()>();
v = new org.apache.zookeeper.common.AtomicFileOutputStream;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
specialinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void <init>(java.io.File)>(v);
v = "goodbye world";
v = virtualinvoke v.<java.lang.String: byte[] getBytes()>();
virtualinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void write(byte[])>(v);
virtualinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void flush()>();
virtualinvoke v.<org.apache.zookeeper.common.AtomicFileOutputStream: void abort()>();
v = new java.lang.String;
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File dstFile>;
v = virtualinvoke v.<java.io.File: java.nio.file.Path toPath()>();
v = staticinvoke <java.nio.file.Files: byte[] readAllBytes(java.nio.file.Path)>(v);
v = <java.nio.charset.StandardCharsets: java.nio.charset.Charset UTF_8>;
specialinvoke v.<java.lang.String: void <init>(byte[],java.nio.charset.Charset)>(v, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(java.lang.Object,java.lang.Object)>("hello world", v);
v = v.<org.apache.zookeeper.test.AtomicFileOutputStreamTest: java.io.File testDir>;
v = virtualinvoke v.<java.io.File: java.lang.String[] list()>();
v = lengthof v;
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(int,int)>(1, v);
return;
}
}