content: /*
   * This file was automatically generated by UTestGen and EvoSuite
   * Mon Mar 18 02:42:36 GMT 2024
   */
  
  package com.pmdesigns.jvc.tools;
  
  import org.junit.jupiter.api.Test;
  import static org.junit.jupiter.api.Assertions.*;
  import org.junit.jupiter.api.Timeout;
  import java.util.concurrent.TimeUnit;
  import static org.evosuite.runtime.EvoAssertions.*;
  import com.pmdesigns.jvc.tools.JVCParser;
  import com.pmdesigns.jvc.tools.JVCParserTokenManager;
  import com.pmdesigns.jvc.tools.Token;
  import java.io.InputStream;
  import java.io.PipedInputStream;
  import java.io.Reader;
  import java.io.StringReader;
  import java.util.LinkedHashSet;
  import org.evosuite.runtime.EvoRunner;
  import org.evosuite.runtime.EvoRunnerParameters;
  import org.evosuite.runtime.testdata.EvoSuiteFile;
  import org.evosuite.runtime.testdata.FileSystemHandling;
  import org.junit.runner.RunWith;
  
  @RunWith(EvoRunner.class) @EvoRunnerParameters(mockJVMNonDeterminism = true, useVFS = true, useVNET = true, resetStaticState = true, separateClassLoader = true) 
  public class JVCParser_Original_ESTest extends JVCParser_Original_ESTest_scaffolding {
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testGenerateParseException() throws Throwable  {
        StringReader arg0 = new StringReader("|_KbL");
        JVCParser jVCParser = new JVCParser(arg0);
        Token token = jVCParser.getToken(2246);
        assertEquals(5, token.endColumn);
        assertEquals(1, token.beginLine);
        
        jVCParser.generateParseException();
        assertEquals(100, jVCParser.debugColumn);
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testReInitTaking2Arguments() throws Throwable  {
        PipedInputStream arg0 = new PipedInputStream(92);
        JVCParser jVCParser = new JVCParser(arg0);
        jVCParser.ReInit((InputStream) arg0, (String) null);
        assertEquals(100, jVCParser.debugColumn);
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testParse() throws Throwable  {
        PipedInputStream arg0 = new PipedInputStream();
        JVCParser jVCParser = new JVCParser(arg0);
        jVCParser.getToken(9);
        String parse = jVCParser.parse();
        assertEquals("", parse);
        assertEquals(100, jVCParser.debugColumn);
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testGetNextToken() throws Throwable  {
        StringReader arg0 = new StringReader("tDKSCPbM.Gt_");
        JVCParser jVCParser = new JVCParser(arg0);
        Token token = jVCParser.getToken(1);
        assertNotNull(token);
        assertEquals(1, token.endColumn);
        
        Token nextToken = jVCParser.getNextToken();
        assertEquals(100, jVCParser.debugColumn);
        assertEquals(1, nextToken.endLine);
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testReInitTakingJVCParserTokenManager() throws Throwable  {
        JVCParser jVCParser = new JVCParser((JVCParserTokenManager) null);
        jVCParser.ReInit((JVCParserTokenManager) null);
        assertEquals(100, jVCParser.debugColumn);
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testReInitTakingReader() throws Throwable  {
        StringReader arg0 = new StringReader("[[!");
        JVCParser jVCParser = new JVCParser(arg0);
        jVCParser.ReInit((Reader) arg0);
        assertEquals(100, jVCParser.debugColumn);
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testParseThrowsException0() throws Throwable  {
        StringReader arg0 = new StringReader("\"[[=J=\"");
        JVCParser jVCParser = new JVCParser(arg0);
        try { 
          jVCParser.parse();
          fail("Expecting exception: Exception");
        
        } catch(Exception e) {
           //
           // Unbalanced tag at end of null
           //
           verifyException("com.pmdesigns.jvc.tools.JVCParser", e);
        }
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testParseThrowsException1() throws Throwable  {
        StringReader arg0 = new StringReader("\"[[\"");
        JVCParser jVCParser = new JVCParser(arg0);
        try { 
          jVCParser.parse();
          fail("Expecting exception: Exception");
        
        } catch(Exception e) {
           //
           // Unbalanced tag at end of null
           //
           verifyException("com.pmdesigns.jvc.tools.JVCParser", e);
        }
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testParseThrowsException2() throws Throwable  {
        StringReader arg0 = new StringReader("[[!");
        JVCParser jVCParser = new JVCParser(arg0);
        try { 
          jVCParser.parse();
          fail("Expecting exception: Exception");
        
        } catch(Exception e) {
           //
           // Unbalanced tag at end of null
           //
           verifyException("com.pmdesigns.jvc.tools.JVCParser", e);
        }
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testCreatesJVCParserTaking3Arguments() throws Throwable  {
        EvoSuiteFile arg0 = new EvoSuiteFile(".ayf UB9JdjD&0DF'e:");
        FileSystemHandling.appendStringToFile(arg0, "com.pmdesigns.jvc.tools.JVCParserTokenManager");
        LinkedHashSet<String> arg1 = new LinkedHashSet<String>();
        JVCParser jVCParser = new JVCParser(".ayf UB9JdjD&0DF'e:", arg1, true);
        assertEquals(100, jVCParser.debugColumn);
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testCreatesJVCParserTaking2Arguments() throws Throwable  {
        EvoSuiteFile arg0 = new EvoSuiteFile(".ayf UB9JdjD&0DF'e:");
        FileSystemHandling.appendStringToFile(arg0, "com.pmdesigns.jvc.tools.JVCParserTokenManager");
        LinkedHashSet<String> arg1 = new LinkedHashSet<String>();
        JVCParser jVCParser = new JVCParser(".ayf UB9JdjD&0DF'e:", arg1);
        assertEquals(100, jVCParser.debugColumn);
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testMainThrowsNullPointerException0() throws Throwable  {
        String[] arg0 = new String[2];
        arg0[1] = "-debug";
        // Undeclared exception!
        try { 
          JVCParser.main(arg0);
          fail("Expecting exception: NullPointerException");
        
        } catch(NullPointerException e) {
           //
           // no message in exception (getMessage() returned null)
           //
           verifyException("org.evosuite.runtime.mock.java.io.MockFileInputStream", e);
        }
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testMain() throws Throwable  {
        String[] arg0 = new String[6];
        JVCParser.main(arg0);
        assertEquals(6, arg0.length);
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testMainThrowsNullPointerException1() throws Throwable  {
        String[] arg0 = new String[1];
        // Undeclared exception!
        try { 
          JVCParser.main(arg0);
          fail("Expecting exception: NullPointerException");
        
        } catch(NullPointerException e) {
           //
           // no message in exception (getMessage() returned null)
           //
           verifyException("org.evosuite.runtime.mock.java.io.MockFileInputStream", e);
        }
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testMainWithEmptyArray() throws Throwable  {
        String[] arg0 = new String[0];
        JVCParser.main(arg0);
        assertEquals(0, arg0.length);
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testReInitTakingInputStream() throws Throwable  {
        PipedInputStream arg0 = new PipedInputStream();
        JVCParser jVCParser = new JVCParser(arg0);
        jVCParser.ReInit((InputStream) arg0);
        assertEquals(100, jVCParser.debugColumn);
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testParseThrowsException3() throws Throwable  {
        StringReader arg0 = new StringReader("\"[[==\"");
        JVCParser jVCParser = new JVCParser(arg0);
        try { 
          jVCParser.parse();
          fail("Expecting exception: Exception");
        
        } catch(Exception e) {
           //
           // Unbalanced tag at end of null
           //
           verifyException("com.pmdesigns.jvc.tools.JVCParser", e);
        }
    }
  
    @Test
    @Timeout(value = 4000 , unit = TimeUnit.MILLISECONDS)
    public void testEnable_tracing() throws Throwable  {
        JVCParser jVCParser = new JVCParser((JVCParserTokenManager) null);
        jVCParser.enable_tracing();
        assertEquals(100, jVCParser.debugColumn);
    }
  }
  