1 /*
2  * This file was automatically generated by EvoSuite
3  * Fri Jan 12 15:03:23 GMT 2018
4  */
5 
6 package uk.ac.sanger.artemis.io;
7 
8 import org.junit.Test;
9 import static org.junit.Assert.*;
10 import static org.evosuite.runtime.EvoAssertions.*;
11 import java.awt.datatransfer.Clipboard;
12 import javax.swing.JPasswordField;
13 import org.evosuite.runtime.EvoRunner;
14 import org.evosuite.runtime.EvoRunnerParameters;
15 import org.evosuite.runtime.mock.java.io.MockFile;
16 import org.junit.runner.RunWith;
17 import uk.ac.sanger.artemis.Selection;
18 import uk.ac.sanger.artemis.io.IndexedGFFDocumentEntry;
19 import uk.ac.sanger.artemis.util.ByteBuffer;
20 import uk.ac.sanger.artemis.util.DatabaseDocument;
21 
22 @RunWith(EvoRunner.class) @EvoRunnerParameters(mockJVMNonDeterminism = true, useVFS = true, useVNET = true, resetStaticState = true, separateClassLoader = true, useJEE = true)
23 public class IndexedGFFDocumentEntry_ESTest extends IndexedGFFDocumentEntry_ESTest_scaffolding {
24 
25   @Test(timeout = 4000)
test0()26   public void test0()  throws Throwable  {
27       Clipboard clipboard0 = new Clipboard("org.biojava.bio.dist.AbstractOrderNDistribution$UniformNullModel");
28       Selection selection0 = new Selection(clipboard0);
29       uk.ac.sanger.artemis.FeatureVector featureVector0 = selection0.getSelectedFeatures();
30       // Undeclared exception!
31       try {
32         IndexedGFFDocumentEntry.contains((uk.ac.sanger.artemis.Feature) null, featureVector0);
33         fail("Expecting exception: NullPointerException");
34 
35       } catch(NullPointerException e) {
36          //
37          // no message in exception (getMessage() returned null)
38          //
39          verifyException("uk.ac.sanger.artemis.io.IndexedGFFDocumentEntry", e);
40       }
41   }
42 
43   @Test(timeout = 4000)
test1()44   public void test1()  throws Throwable  {
45       JPasswordField jPasswordField0 = new JPasswordField("z{N!eG", 32);
46       ByteBuffer byteBuffer0 = new ByteBuffer();
47       DatabaseDocument databaseDocument0 = new DatabaseDocument("z{N!eG", jPasswordField0, "pxuT-cTJV%yQ1_", ">QOqRv!\"=*CQ", byteBuffer0, "z{N!eG");
48       IndexedGFFDocumentEntry indexedGFFDocumentEntry0 = new IndexedGFFDocumentEntry(databaseDocument0);
49   }
50 
51   @Test(timeout = 4000)
test2()52   public void test2()  throws Throwable  {
53       MockFile mockFile0 = new MockFile("", "");
54       boolean boolean0 = IndexedGFFDocumentEntry.isIndexed(mockFile0);
55       assertFalse(boolean0);
56   }
57 }
58