env.wis.jtlv.regression.smv.legacy
Class ParsingTestCase

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by env.wis.jtlv.regression.smv.legacy.ParsingTestCase
All Implemented Interfaces:
junit.framework.Test
Direct Known Subclasses:
AbpAllAbpTC, BmcBarrel5TC, BmcCounterTC, BmcDmeAllDmeTC, BmcMcpTC, BmcMultiplierTC, BmcTutorialBmcTutorialTC, BrpBrpTC, CtlLtlAbp4TC, CtlLtlAbp8TC, CtlLtlCounterTC, CtlLtlDme2TC, CtlLtlGuidanceTC, CtlLtlMutex1TC, CtlLtlMutexTC, CtlLtlPeriodicTC, CtlLtlPQueueTC, CtlLtlProdConsTC, CtlLtlProductionCellTC, CtlLtlQueueTC, CtlLtlRingTC, CtlLtlSemaphoreTC, CtlLtlShortTC, CtlLtlSyncarb5TC, NotEQBugTC

public class ParsingTestCase
extends junit.framework.TestCase

Upon given a file to test,
.jtlv.out.ref is what the output stream is suppose to give.
.jtlv.err.ref is what the error stream is suppose to give.
.jtlv..out is what this current run has written to the output stream.
.jtlv..err is what this current run has written to the error stream.

Version:
"1.3.2"
Author:
yaniv sa'ar.

Method Summary
 void doParsingTest()
           
 void setUp()
           
 void tearDown()
           
 
Methods inherited from class junit.framework.TestCase
countTestCases, getName, run, run, runBare, setName, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

setUp

public void setUp()
           throws java.lang.Exception
Overrides:
setUp in class junit.framework.TestCase
Throws:
java.lang.Exception

tearDown

public void tearDown()
              throws java.lang.Exception
Overrides:
tearDown in class junit.framework.TestCase
Throws:
java.lang.Exception

doParsingTest

public void doParsingTest()
                   throws java.io.IOException
Throws:
java.io.IOException