mycompiler.test.unittest.typeReconstructionTest

Class TrUnifyTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

mycompiler.test.unittest.typeReconstructionTest.TrUnifyTest

All Implemented Interfaces:

junit.framework.Test

public class TrUnifyTest
extends junit.framework.TestCase

Constructor Summary

Constructors

Constructor and Description
TrUnifyTest(java.lang.String name)

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	setUpBeforeClass()
void	tearDown()
void	testUnifyErase1()
void	testUnifyReduce1()
void	testUnifytesting()

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

Constructor Detail

TrUnifyTest

public TrUnifyTest(java.lang.String name)

Method Detail

setUpBeforeClass

public void setUpBeforeClass()

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

testUnifytesting

public void testUnifytesting()

testUnifyReduce1

public void testUnifyReduce1()

testUnifyErase1

public void testUnifyErase1()