| java.lang.Object junit.framework.TestCase de.uka.ilkd.key.rule.TestTacletBuild
TestTacletBuild | public class TestTacletBuild extends TestCase (Code) | | class tests the building of Taclets in TacletBuilders, especially the
checking if the SchemaVariables fulfill certain conditions. They must
not occur more than once in find and if taken as a whole. Is obviously
quite incomplete.
|
NO_SUBTERMS | final public static Term[] NO_SUBTERMS(Code) | | |
setUp | public void setUp()(Code) | | |
test0 | public void test0()(Code) | | |
testSchemavariablesInAddrulesRespectPrefix | public void testSchemavariablesInAddrulesRespectPrefix()(Code) | | |
testUniquenessOfIfAndFindVarSVBothInIf | public void testUniquenessOfIfAndFindVarSVBothInIf()(Code) | | |
testUniquenessOfIfAndFindVarSVsInFind | public void testUniquenessOfIfAndFindVarSVsInFind()(Code) | | |
testUniquenessOfIfAndFindVarSVsInIfAndFind | public void testUniquenessOfIfAndFindVarSVsInIfAndFind()(Code) | | |
|
|