Description Markus Keller 2005-02-15 09:26:31 EST

I20050214-0927

When I compile jdt.ui with a JDT/Core >= v_536, we get a VerifyError in class
'org.eclipse.jdt.internal.corext.refactoring.generics.InferTypeArgumentsTCModel'.
Compiling the same class with an earlier JDT/Core works as it should.

The VerifyError becomes apparent when running test
'org.eclipse.jdt.ui.tests.refactoring.InferTypeArgumentsTests'.

java.lang.VerifyError: stack shape inconsistent (class:
org/eclipse/jdt/internal/corext/refactoring/generics/InferTypeArgumentsTCModel
method:
makeElementVariables(Lorg/eclipse/jdt/internal/corext/refactoring/typeconstraints2/ConstraintVariable2;Lorg/eclipse/jdt/core/dom/ITypeBinding;Z)V)
at pc: 58
	at java.lang.Class.verifyImpl(Native Method)
	at java.lang.Class.verify(Class.java:241)
	at java.lang.Class.initialize(Class.java:304)
	at
org.eclipse.jdt.internal.corext.refactoring.generics.InferTypeArgumentsRefactoring.checkFinalConditions(InferTypeArgumentsRefactoring.java:116)
	at
org.eclipse.ltk.core.refactoring.CheckConditionsOperation.run(CheckConditionsOperation.java:84)
	at
org.eclipse.ltk.core.refactoring.CreateChangeOperation.run(CreateChangeOperation.java:114)
	at
org.eclipse.ltk.core.refactoring.PerformRefactoringOperation.run(PerformRefactoringOperation.java:103)
	at
org.eclipse.jdt.internal.core.BatchOperation.executeOperation(BatchOperation.java:34)
	at
org.eclipse.jdt.internal.core.JavaModelOperation.run(JavaModelOperation.java:710)
	at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:1695)
	at org.eclipse.jdt.core.JavaCore.run(JavaCore.java:3588)
	at org.eclipse.jdt.core.JavaCore.run(JavaCore.java:3545)
	at
org.eclipse.jdt.ui.tests.refactoring.InferTypeArgumentsTests.performCu(InferTypeArgumentsTests.java:67)
	at
org.eclipse.jdt.ui.tests.refactoring.InferTypeArgumentsTests.performCuOK(InferTypeArgumentsTests.java:82)
	at
org.eclipse.jdt.ui.tests.refactoring.InferTypeArgumentsTests.testCuTwoVectorElements(InferTypeArgumentsTests.java:88)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:85)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:58)
	at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:60)
	at java.lang.reflect.Method.invoke(Method.java:391)
	at junit.framework.TestCase.runTest(TestCase.java:154)
	at junit.framework.TestCase.runBare(TestCase.java:127)
	at junit.framework.TestResult$1.protect(TestResult.java:106)
	at junit.framework.TestResult.runProtected(TestResult.java:124)
	at junit.framework.TestResult.run(TestResult.java:109)
	at junit.framework.TestCase.run(TestCase.java:118)
	at junit.framework.TestSuite.runTest(TestSuite.java:208)
	at junit.framework.TestSuite.run(TestSuite.java:203)
	at junit.extensions.TestDecorator.basicRun(TestDecorator.java:22)
	at junit.extensions.TestSetup$1.protect(TestSetup.java:19)
	at junit.framework.TestResult.runProtected(TestResult.java:124)
	at junit.extensions.TestSetup.run(TestSetup.java:23)
	at
org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:474)
	at
org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:342)
	at
org.eclipse.pde.internal.junit.runtime.RemotePluginTestRunner.main(RemotePluginTestRunner.java:36)
	at
org.eclipse.pde.internal.junit.runtime.UITestApplication$1.run(UITestApplication.java:110)
	at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
	at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:118)
	at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:2855)
	at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:2519)
	at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:1624)
	at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:1590)
	at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:299)
	at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:144)
	at org.eclipse.ui.internal.ide.IDEApplication.run(IDEApplication.java:102)
	at
org.eclipse.pde.internal.junit.runtime.UITestApplication.run(UITestApplication.java:39)
	at
org.eclipse.core.internal.runtime.PlatformActivator$1.run(PlatformActivator.java:227)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:281)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:131)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:85)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:58)
	at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:60)
	at java.lang.reflect.Method.invoke(Method.java:391)
	at org.eclipse.core.launcher.Main.invokeFramework(Main.java:268)
	at org.eclipse.core.launcher.Main.basicRun(Main.java:260)
	at org.eclipse.core.launcher.Main.run(Main.java:887)
	at org.eclipse.core.launcher.Main.main(Main.java:871)