de.uka.ilkd.pp
Class TestLayouter

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          de.uka.ilkd.pp.TestLayouter

All Implemented Interfaces:

junit.framework.Test

public class TestLayouter
extends junit.framework.TestCase

Unit-Test the Layouter class.

Constructor Summary

TestLayouter(java.lang.String name)

Method Summary

void	setUp()
void	testMark()
void	testNarrowConsistent()
void	testNarrowInconsistent()
void	testNarrowInd()
void	testNarrowPre()
void	testSixInconsistent()
void	testWideConsistent()
void	testWideInconsistent()
void	testWideInd()
void	testWidePre()

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TestLayouter

public TestLayouter(java.lang.String name)

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testNarrowConsistent

public void testNarrowConsistent()

testWideConsistent

public void testWideConsistent()

testNarrowInconsistent

public void testNarrowInconsistent()

testWideInconsistent

public void testWideInconsistent()

testSixInconsistent

public void testSixInconsistent()

testNarrowPre

public void testNarrowPre()

testWidePre

public void testWidePre()

testNarrowInd

public void testNarrowInd()

testWideInd

public void testWideInd()

testMark

public void testMark()