| |
|
| java.lang.Object junit.framework.TestCase de.uka.ilkd.key.rule.TestCollisionResolving
TestCollisionResolving | public class TestCollisionResolving extends TestCase (Code) | | |
TestCollisionResolving | public TestCollisionResolving(String name)(Code) | | |
setUp | public void setUp()(Code) | | |
tearDown | public void tearDown()(Code) | | |
testCollisionResolvingOfSchemaVariable | public void testCollisionResolvingOfSchemaVariable()(Code) | | |
testCollisionResolvingWithContext | public void testCollisionResolvingWithContext()(Code) | | |
testNameConflict1 | public void testNameConflict1()(Code) | | |
testNameConflictAfterInput | public void testNameConflictAfterInput()(Code) | | |
testNameConflictWithContextAfterInput | public void testNameConflictWithContextAfterInput()(Code) | | |
testVarNamespaceCreationWithContext | public void testVarNamespaceCreationWithContext()(Code) | | |
testVarNamespaceCreationWithPrefix | public void testVarNamespaceCreationWithPrefix()(Code) | | |
|
|
|