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

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          env.wis.jtlv.regression.smv.legacy.ParsingTestCase
              env.wis.jtlv.regression.smv.legacy.CtlLtlDme2TC

All Implemented Interfaces:

junit.framework.Test

public class CtlLtlDme2TC
extends ParsingTestCase

Field Summary

static java.lang.String

filename

Constructor Summary

CtlLtlDme2TC()

CtlLtlDme2TC(boolean save_ref)

Method Summary

void	ctl_ltl_dme2()

Methods inherited from class env.wis.jtlv.regression.smv.legacy.ParsingTestCase

doParsingTest, setUp, 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

Field Detail

filename

public static final java.lang.String filename

See Also:

Constant Field Values

Constructor Detail

CtlLtlDme2TC

public CtlLtlDme2TC()

CtlLtlDme2TC

public CtlLtlDme2TC(boolean save_ref)

Method Detail

ctl_ltl_dme2

public void ctl_ltl_dme2()
                  throws java.io.IOException

Throws:

java.io.IOException