laser.regularlanguage.util.test
Class RegularLanguagesTests<L extends LabelInterface>

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by laser.regularlanguage.util.test.RegularLanguagesTests<L>
All Implemented Interfaces:
junit.framework.Test
Direct Known Subclasses:
StringRegularLanguagesTests

public abstract class RegularLanguagesTests<L extends LabelInterface>
extends junit.framework.TestCase

The RegularLanguagesTests class tests the RegularLanguages class. There should be a RegularLanguagesTests subclass for each RegularLanguages subclass.


Field Summary
protected  FSAs<L> fsasInstance_
           
protected  AbstractRegularExpressions<L> resInstance_
           
protected  AbstractRegularLanguages<L> rlsInstance_
           
 
Constructor Summary
RegularLanguagesTests()
           
 
Method Summary
protected abstract  FSAs<L> _createFSAsInstance()
           
protected abstract  AbstractRegularExpressions<L> _createRegularExpressionsInstance()
           
protected abstract  AbstractRegularLanguages<L> _createRegularLanguagesInstance()
          Creates the appropriate AbstractRegularLanguages.
protected  void _setUp()
           
protected abstract  AlphabetInterface<L> createAlphabetInstance()
           
protected abstract  L createLabelInstance()
           
protected abstract  java.lang.Object[] getCreateFSAArgs()
           
protected abstract  java.lang.Object[] getCreateLabelTransitionArgs()
           
protected abstract  java.lang.Object[] getCreateREArgs()
           
protected abstract  java.lang.Object[] getCreateStateArgs()
           
protected  MutableFSAInterface<L> getLabelFSA(L l)
           
protected  RE<L> getLabelRE(L l)
           
protected abstract  RunnableFSAInterface<L> getRunnableFSA(MutableFSAInterface<L> mFSA)
           
protected  void setUp()
           
protected  void testConvertDFAtoRE(RunnableFSAInterface<L> theFSA)
           
 void testConvertDFAtoREConcat()
           
 void testConvertDFAtoREEmpty()
           
 void testConvertDFAtoREEpsilon()
           
 void testConvertDFAtoRELabel()
           
 void testConvertDFAtoREStar()
           
 void testConvertDFAtoREUnion()
           
protected  void testConvertFSAtoRE(RunnableFSAInterface<L> theFSA)
           
 void testConvertFSAtoREConcat()
           
 void testConvertFSAtoREEmpty()
           
 void testConvertFSAtoREEpsilon()
           
 void testConvertFSAtoRELabel()
           
 void testConvertFSAtoREStar()
           
 void testConvertFSAtoREUnion()
           
 void testConvertREtoDFAConcat()
           
 void testConvertREtoDFAEmpty()
           
 void testConvertREtoDFAEpsilon()
           
 void testConvertREtoDFALabel()
           
 void testConvertREtoDFAStar()
           
 void testConvertREtoDFAUnion()
           
 void testConvertREtoFSAConcat()
           
 void testConvertREtoFSAEmpty()
           
 void testConvertREtoFSAEpsilon()
           
 void testConvertREtoFSALabel()
           
 void testConvertREtoFSAStar()
           
 void testConvertREtoFSAUnion()
           
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, 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
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

rlsInstance_

protected AbstractRegularLanguages<L extends LabelInterface> rlsInstance_

resInstance_

protected AbstractRegularExpressions<L extends LabelInterface> resInstance_

fsasInstance_

protected FSAs<L extends LabelInterface> fsasInstance_
Constructor Detail

RegularLanguagesTests

public RegularLanguagesTests()
Method Detail

setUp

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

_setUp

protected void _setUp()
               throws java.lang.Exception
Throws:
java.lang.Exception

_createRegularLanguagesInstance

protected abstract AbstractRegularLanguages<L> _createRegularLanguagesInstance()
Creates the appropriate AbstractRegularLanguages. POSTCONDITION:

Returns:
The appropriate AbstractRegularLanguages

_createFSAsInstance

protected abstract FSAs<L> _createFSAsInstance()

_createRegularExpressionsInstance

protected abstract AbstractRegularExpressions<L> _createRegularExpressionsInstance()

createAlphabetInstance

protected abstract AlphabetInterface<L> createAlphabetInstance()

createLabelInstance

protected abstract L createLabelInstance()

getCreateREArgs

protected abstract java.lang.Object[] getCreateREArgs()

getLabelRE

protected RE<L> getLabelRE(L l)

getCreateFSAArgs

protected abstract java.lang.Object[] getCreateFSAArgs()

getCreateStateArgs

protected abstract java.lang.Object[] getCreateStateArgs()

getCreateLabelTransitionArgs

protected abstract java.lang.Object[] getCreateLabelTransitionArgs()

getLabelFSA

protected MutableFSAInterface<L> getLabelFSA(L l)

getRunnableFSA

protected abstract RunnableFSAInterface<L> getRunnableFSA(MutableFSAInterface<L> mFSA)

testConvertREtoDFAEmpty

public final void testConvertREtoDFAEmpty()

testConvertREtoDFAEpsilon

public final void testConvertREtoDFAEpsilon()

testConvertREtoDFALabel

public final void testConvertREtoDFALabel()

testConvertREtoDFAConcat

public final void testConvertREtoDFAConcat()

testConvertREtoDFAStar

public final void testConvertREtoDFAStar()

testConvertREtoDFAUnion

public final void testConvertREtoDFAUnion()

testConvertREtoFSAEmpty

public final void testConvertREtoFSAEmpty()

testConvertREtoFSAEpsilon

public final void testConvertREtoFSAEpsilon()

testConvertREtoFSALabel

public final void testConvertREtoFSALabel()

testConvertREtoFSAConcat

public final void testConvertREtoFSAConcat()

testConvertREtoFSAStar

public final void testConvertREtoFSAStar()

testConvertREtoFSAUnion

public final void testConvertREtoFSAUnion()

testConvertDFAtoRE

protected void testConvertDFAtoRE(RunnableFSAInterface<L> theFSA)

testConvertDFAtoREEmpty

public final void testConvertDFAtoREEmpty()

testConvertDFAtoREEpsilon

public final void testConvertDFAtoREEpsilon()

testConvertDFAtoRELabel

public final void testConvertDFAtoRELabel()

testConvertDFAtoREConcat

public final void testConvertDFAtoREConcat()

testConvertDFAtoREStar

public final void testConvertDFAtoREStar()

testConvertDFAtoREUnion

public final void testConvertDFAtoREUnion()

testConvertFSAtoRE

protected void testConvertFSAtoRE(RunnableFSAInterface<L> theFSA)

testConvertFSAtoREEmpty

public final void testConvertFSAtoREEmpty()

testConvertFSAtoREEpsilon

public final void testConvertFSAtoREEpsilon()

testConvertFSAtoRELabel

public final void testConvertFSAtoRELabel()

testConvertFSAtoREConcat

public final void testConvertFSAtoREConcat()

testConvertFSAtoREStar

public final void testConvertFSAtoREStar()

testConvertFSAtoREUnion

public final void testConvertFSAtoREUnion()