Test case 1
1: MockFile mockFile0 = new MockFile("Method not implemented for: ");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: FileDocument fileDocument1 = (FileDocument)fileDocument0.getParent();
4: assertTrue(fileDocument1.writable());
Test case 2
1: MockFile mockFile0 = new MockFile("K.gz", "K.gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: FileDocument fileDocument1 = (FileDocument)fileDocument0.append("K.gz");
4: assertFalse(fileDocument1.equals((Object)fileDocument0));
Test case 3
1: MockFile mockFile0 = new MockFile("Method not implemented for: ");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: String string0 = fileDocument0.getName();
4: assertEquals("Method not implemented for: ", string0);
Test case 4
1: MockFile mockFile0 = new MockFile(".gz", ".gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: boolean boolean0 = fileDocument0.readable();
4: assertFalse(boolean0);
Test case 5
1: MockFile mockFile0 = new MockFile(".gz", ".gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getWriter();
4: boolean boolean0 = fileDocument0.readable();
5: assertEquals(10L, mockFile0.length());
6: assertTrue(boolean0);
Test case 6
1: MockFile mockFile0 = new MockFile("05[m)36;c|d");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getWriter();
4: assertTrue(fileDocument0.readable());
5:
6: mockFile0.setReadable(false);
7: boolean boolean0 = fileDocument0.readable();
8: assertFalse(boolean0);
Test case 7
1: MockFile mockFile0 = new MockFile("K", "K");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: boolean boolean0 = fileDocument0.writable();
4: assertFalse(boolean0);
Test case 8
1: MockFile mockFile0 = new MockFile(".gz", ".gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getWriter();
4: boolean boolean0 = fileDocument0.writable();
5: assertEquals(10L, mockFile0.length());
6: assertTrue(boolean0);
Test case 9
1: MockFile mockFile0 = new MockFile("K", "K");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getWriter();
4: assertTrue(fileDocument0.writable());
5:
6: mockFile0.setWritable(false, false);
7: boolean boolean0 = fileDocument0.writable();
8: assertFalse(boolean0);
Test case 10
1: MockFile mockFile0 = new MockFile("Method not implemented for: ");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: mockFile0.createNewFile();
4: ProgressInputStream progressInputStream0 = (ProgressInputStream)fileDocument0.getInputStream();
5: assertNotNull(progressInputStream0);
Test case 11
1: MockFile mockFile0 = new MockFile(".gz", ".gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getWriter();
4: WorkingGZIPInputStream workingGZIPInputStream0 = (WorkingGZIPInputStream)fileDocument0.getInputStream();
5: assertNotNull(workingGZIPInputStream0);
Test case 12
1: MockFile mockFile0 = new MockFile(".gz", ".gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: MockFile mockFile1 = (MockFile)fileDocument0.getFile();
4: assertEquals("/Users/kp11/workspace/applications/Artemis/test/.gz/.gz", mockFile1.toString());
Test case 13
1: MockFile mockFile0 = new MockFile("1lb@a[iYp{g0gm");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getOutputStream();
4: assertEquals(0L, mockFile0.length());
Test case 14
1: FileDocument fileDocument0 = new FileDocument((File) null);
Test case 15
1: MockFile mockFile0 = new MockFile("", "");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: Object object0 = new Object();
4: fileDocument0.setLocation(object0);
5: fileDocument0.append("");
Test case 16
1: MockFile mockFile0 = new MockFile(".gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.append((String) null);
Test case 17
1: MockFile mockFile0 = new MockFile("MZT$~\":U", "MZT$~\":U");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: Path path0 = mockFile0.toPath();
4: fileDocument0.setLocation(path0);
5: fileDocument0.getFile();
Test case 18
1: MockFile mockFile0 = (MockFile)MockFile.createTempFile("SB5..gz", "SB5..gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getInputStream();
Test case 19
1: MockFile mockFile0 = new MockFile("");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getInputStream();
Test case 20
1: MockFile mockFile0 = new MockFile(".gz", ".gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getWriter();
4: FileSystemHandling.shouldAllThrowIOExceptions();
5: fileDocument0.getInputStream();
Test case 21
1: MockFile mockFile0 = (MockFile)MockFile.createTempFile("j)Ry4uZJEUJi5@s;.5", "j)Ry4uZJEUJi5@s;.5");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.setLocation("j)Ry4uZJEUJi5@s;.5");
4: fileDocument0.getInputStream();
Test case 22
1: MockFile mockFile0 = new MockFile(".gz", ".gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getWriter();
4: fileDocument0.addInputStreamProgressListener((InputStreamProgressListener) null);
5: fileDocument0.getInputStream();
Test case 23
1: MockFile mockFile0 = new MockFile("E&r`NOLY4Gm/i3-<", "E&r`NOLY4Gm/i3-<");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.setLocation(fileDocument0);
4: fileDocument0.getName();
Test case 24
1: MockFile mockFile0 = new MockFile("S2n~/2h`52XU8=>2mo");
2: MockFile.createTempFile("S2n~/2h`52XU8=>2mo", "^#1'a4T/4Q`o5[<", (File) mockFile0);
3: FileDocument fileDocument0 = new FileDocument(mockFile0);
4: fileDocument0.getOutputStream();
Test case 25
1: MockFile mockFile0 = new MockFile(".gz");
2: FileSystemHandling.shouldAllThrowIOExceptions();
3: FileDocument fileDocument0 = new FileDocument(mockFile0);
4: fileDocument0.getOutputStream();
Test case 26
1: MockFile mockFile0 = new MockFile("l-% d3xAskEo94t['", ":'\"[twU,j6t~IO");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.setLocation(":'\"[twU,j6t~IO");
4: fileDocument0.getOutputStream();
Test case 27
1: MockFile mockFile0 = new MockFile("The size must be non-negative", "3@B`|Z");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.setLocation((Object) null);
4: fileDocument0.getOutputStream();
Test case 28
1: MockFile mockFile0 = new MockFile("alt name cannot be null", "alt name cannot be null");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: MockJapaneseDate mockJapaneseDate0 = new MockJapaneseDate();
4: fileDocument0.setLocation(mockJapaneseDate0);
5: fileDocument0.getParent();
Test case 29
1: MockFile mockFile0 = new MockFile("", "");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getParent();
Test case 30
1: MockFile mockFile0 = new MockFile(",", "");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: Object object0 = new Object();
4: fileDocument0.setLocation(object0);
5: fileDocument0.readable();
Test case 31
1: MockFile mockFile0 = new MockFile("05[m)36;c|d");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: MockMinguoDate mockMinguoDate0 = new MockMinguoDate();
4: fileDocument0.setLocation(mockMinguoDate0);
5: fileDocument0.writable();
Test case 32
1: MockFile mockFile0 = new MockFile(".gz", ".gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: fileDocument0.getWriter();
4: MockFile mockFile1 = (MockFile)fileDocument0.getFile();
5: assertFalse(mockFile1.isDirectory());
Test case 33
1: MockFile mockFile0 = new MockFile("");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: MockFile mockFile1 = (MockFile)fileDocument0.getFile();
4: assertEquals("", mockFile1.toString());
Test case 34
1: MockFile mockFile0 = new MockFile("K.gz", "K.gz");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: System.setCurrentTimeMillis((-247L));
4: fileDocument0.getOutputStream();
5: MockFile mockFile1 = (MockFile)fileDocument0.getFile();
6: assertSame(mockFile1, mockFile0);
Test case 35
1: MockFile mockFile0 = new MockFile("", "");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: String string0 = fileDocument0.getName();
4: assertEquals("", string0);
Test case 36
1: MockFile mockFile0 = new MockFile("Method not implemented for: ");
2: FileDocument fileDocument0 = new FileDocument(mockFile0);
3: FileSystemHandling.shouldAllThrowIOExceptions();
4: FileDocument fileDocument1 = (FileDocument)fileDocument0.getParent();
5: assertNull(fileDocument1);