search

kiniry / Mobius

4 stars 8 forks source link

Parsing Bytecode for Anonymous Inner Classes #159

Open atiti opened 11 years ago

atiti commented 11 years ago

java -versio

{{{

!html

Reply to: noreply@sort.ucd.ie }}} {{{ Bugs item #217, was opened at 2005-11-23 15:42 You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=441&aid=217&group_id=97

Category: None Group: None

Status: Closed Resolution: Out of Date Priority: 3 Submitted By: Radu Grigore (rgrig) Assigned to: Radu Grigore (rgrig) Summary: The String class in JRE_1.4.2_10-build3 does not typecheck.

Initial Comment: The error is: java/lang/String$CaseInsensitiveComparator.class: Fatal error: Can't find type named "java.lang.String.1"

NOTE: the error does not appear for the Java SDK with the exact same version. The source file for string is exactly the same but there are slight differences in the bytecode. The differences for String$CaseInsensitiveCompare.class are in te attached file diff.txt (round brackets mean only SDK, while square brackets mean only in JRE).

In order to reproduce the bug adjust the CLASSPATH so that the attached files override the ones in your distribution of JRE. (Or install the same version of JRE).

Comment By: Dermot Cochran (dcochran) Date: 2007-12-15 16:16

Message: These tickets are being transferred into the Mobius Trac

You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=441&aid=217&group_id=97 }}}

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:18:49 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Thu Feb 28 17:00:24 2008

This works for me on both Mac OS X and linux.

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Fri Feb 29 13:19:51 2008

This works for me in all three platforms using Java 5 JRE and SDK, which is the target Java platform for Mobius PVE. It does not support Java 6 or higher.

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Fri Feb 29 13:53:45 2008

This is still an issue for Java 1.4.2 on linux.

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Fri Feb 29 14:23:55 2008

My proposed solution is to add better error handling in Javafe e.g. warning: skipping X.class; unable to parse

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Mon Mar 3 18:14:14 2008

This passes on the command line for Mac OS X and linux (Fedora).

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Wed Mar 12 13:01:37 2008

This is the stack trace that Alan B. reported:

Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing com.gm.rss.dbaccess.bean.AuditLog javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.error(ErrorSet.java:238) at javafe.tc.PrepTypeDeclaration.addInheritedMembers(PrepTypeDeclaration.java:809) at escjava.tc.PrepTypeDeclaration.addInheritedMembers(PrepTypeDeclaration.java:313) at javafe.tc.PrepTypeDeclaration.checkSuperInterfaces(PrepTypeDeclaration.java:471) at escjava.tc.PrepTypeDeclaration.checkSuperInterfaces(PrepTypeDeclaration.java:89) at javafe.tc.PrepTypeDeclaration.visitClassDecl(PrepTypeDeclaration.java:263) at javafe.tc.PrepTypeDeclaration.prepDo(PrepTypeDeclaration.java:92) at javafe.tc.PrepTypeDeclaration.prepTypeSignature(PrepTypeDeclaration.java:66) at javafe.tc.TypeSig.prep(TypeSig.java:1094) at javafe.tc.TypeSig.getFields(TypeSig.java:1188) at javafe.tc.PrepTypeDeclaration.addInheritedMembers(PrepTypeDeclaration.java:690) at escjava.tc.PrepTypeDeclaration.addInheritedMembers(PrepTypeDeclaration.java:313) at javafe.tc.PrepTypeDeclaration.visitClassDecl(PrepTypeDeclaration.java:250) at javafe.tc.PrepTypeDeclaration.prepDo(PrepTypeDeclaration.java:92) at javafe.tc.PrepTypeDeclaration.prepTypeSignature(PrepTypeDeclaration.java:66) at javafe.tc.TypeSig.prep(TypeSig.java:1094) at escjava.tc.TypeSig.lookupField(TypeSig.java:47) at javafe.tc.Types.lookupFieldInstance(Types.java:1039) at javafe.tc.Types.lookupField(Types.java:1024) at escjava.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:544) at javafe.tc.FlowInsensitiveChecks.checkAmbiguousVariableAccessExpr(FlowInsensitiveChecks.java:1641) at javafe.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1389) at escjava.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1445) at javafe.tc.FlowInsensitiveChecks.checkExprVec(FlowInsensitiveChecks.java:1199) at javafe.tc.FlowInsensitiveChecks.checkMethodInvocationExpr(FlowInsensitiveChecks.java:1457) at javafe.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1395) at escjava.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:716) at javafe.tc.FlowInsensitiveChecks.checkAmbiguousMethodInvocationExpr(FlowInsensitiveChecks.java:1534) at javafe.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1393) at escjava.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1445) at javafe.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1284) at escjava.tc.FlowInsensitiveChecks.checkPredicate(FlowInsensitiveChecks.java:486) at escjava.tc.FlowInsensitiveChecks.checkModifierPragma(FlowInsensitiveChecks.java:2233) at javafe.tc.FlowInsensitiveChecks.checkModifierPragmaVec(FlowInsensitiveChecks.java:3034) at escjava.tc.FlowInsensitiveChecks.checkModifierPragma(FlowInsensitiveChecks.java:2517) at javafe.tc.FlowInsensitiveChecks.checkModifierPragmaVec(FlowInsensitiveChecks.java:3034) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:527) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.backpred.FindContributors.typecheck(FindContributors.java:714) at escjava.backpred.FindContributors.addType(FindContributors.java:217) at escjava.backpred.FindContributors.walk(FindContributors.java:389) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:351) at escjava.backpred.FindContributors.(FindContributors.java:54) at escjava.Main.processTD(Main.java:580) at escjava.Main.handleTD(Main.java:514) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkCompilationUnit(EscjavaAction.java:485) at escjava.plugin.EscjavaAction$Check.checkJavaElement(EscjavaAction.java:411) at escjava.plugin.EscjavaAction$Check.run(EscjavaAction.java:380) at org.eclipse.ui.internal.PluginAction.runWithEvent(PluginAction.java:256) at org.eclipse.ui.internal.WWinPluginAction.runWithEvent(WWinPluginAction.java:229) at org.eclipse.jface.action.ActionContributionItem.handleWidgetSelection(ActionContributionItem.java:546) at org.eclipse.jface.action.ActionContributionItem.access$2(ActionContributionItem.java:490) at org.eclipse.jface.action.ActionContributionItem$5.handleEvent(ActionContributionItem.java:402) at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:66) at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1101) at org.eclipse.swt.widgets.Display.runDeferredEvents(Display.java:3319) at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:2971) at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:2389) at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:2353) at org.eclipse.ui.internal.Workbench.access$4(Workbench.java:2219) at org.eclipse.ui.internal.Workbench$4.run(Workbench.java:466) at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:289) at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:461) at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149) at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:106) at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:169) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:106) at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:76) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:363) at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:176) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:508) at org.eclipse.equinox.launcher.Main.basicRun(Main.java:447) at org.eclipse.equinox.launcher.Main.run(Main.java:1173)

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Wed Mar 12 15:48:58 2008

I have added test cases for this and they pass, even on Windows. I can't catch this bug in my environment so I can't fix it.

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Wed Mar 12 16:41:21 2008

ESC/Java version ESCJava-2.0b4 [0.053 s 121934632 bytes]

InnerClassTest ... Prover started:0.231 s 123435792 bytes [1.962 s 123798320 bytes]

InnerClassTest: getBlankChar() ... [0.096 s 124271296 bytes] passed

InnerClassTest: setBlankChar(char) ... [0.027 s 124417784 bytes] passed

InnerClassTest: setBlankChar(java.lang.String) ...

/Users/dermotcochran/Documents/workspace/Test/src/InnerClassTest.java:20: Warning: Possible null dereference (Null) this.blankChar = inputChars.charAt(0);

^

[0.277 s 125976928 bytes]  failed

InnerClassTest: isTrue() ... [0.012 s 126094368 bytes] passed

InnerClassTest: setTrue(boolean) ... [0.014 s 126222904 bytes] passed

InnerClassTest: getFollowUpCode() ... [0.013 s 126343088 bytes] passed

InnerClassTest: setFollowUpCode(int) ... [0.019 s 126499712 bytes] passed

InnerClassTest: InnerClassTest() ... [0.019 s 126746312 bytes] passed [2.442 s 126747736 bytes total] 1 warning ESC/Java version ESCJava-2.0b4 /Users/dermotcochran/Documents/workspace/MobiusUILibrary/src/pluginlib/OptionWidget.java:144: Error: Unrecognized pragma: "reqiures" //@ reqiures option != null; ^ /Users/dermotcochran/Documents/workspace/MobiusUILibrary/src/pluginlib/OptionWidget.java:222: Error: Unrecognized pragma: "reqiures" //@ reqiures option != null; ^ /Users/dermotcochran/Documents/workspace/MobiusUILibrary/src/pluginlib/PreferenceWidget.java:142: Error: Unrecognized pragma: "reqiures" //@ reqiures option != null; ^ [0.14 s 185390856 bytes]

pluginlib.PreferencePage ... /Users/dermotcochran/Desktop/eclipse/plugins/org.eclipse.ui.workbench_3.4.0.I20080205-0010.jar:org/eclipse/ui/IWorkbenchPreferencePage.class: Fatal error: Incomplete classpath: Exception while looking for class org.eclipse.jface.preference.IPreferencePage: java.io.IOException: Couldn't find: org/eclipse/jface/preference/IPreferencePage.class CLASSPATH is null:null Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.PreferencePage javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.reader.BCELReader.makeTypeDecl(BCELReader.java:275) at javafe.reader.BCELReader.getCompilationUnit(BCELReader.java:221) at javafe.reader.BCELReader.read(BCELReader.java:995) at javafe.reader.BinReader.read(BinReader.java:67) at javafe.reader.CachedReader.read(CachedReader.java:172) at javafe.reader.StandardTypeReader.locateSource(StandardTypeReader.java:249) at escjava.reader.EscTypeReader.read(EscTypeReader.java:240) at javafe.tc.OutsideEnv.load(OutsideEnv.java:449) at javafe.tc.TypeSig.preload(TypeSig.java:655) at javafe.tc.TypeSig.getTypeDecl(TypeSig.java:620) at javafe.tc.SLResolution.transition(SLResolution.java:84) at javafe.tc.SLResolution.handleSuperTypeName(SLResolution.java:158) at javafe.tc.SLResolution.transition(SLResolution.java:108) at javafe.tc.TypeSig.resolveSupertypeLinks(TypeSig.java:1069) at javafe.tc.TypeSig.prep(TypeSig.java:1092) at javafe.tc.TypeSig.typecheck(TypeSig.java:1114) at escjava.Main.processTD(Main.java:549) at escjava.Main.handleTD(Main.java:514) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.058 s 187531304 bytes total

pluginlib.OptionWidget ... /Users/dermotcochran/Desktop/eclipse/plugins/org.eclipse.swt.carbon.macosx_3.4.0.v3428.jar:org/eclipse/swt/widgets/Control.class: Fatal error: Incomplete classpath: Exception while looking for class org.eclipse.swt.graphics.Drawable: java.io.IOException: Couldn't find: org/eclipse/swt/graphics/Drawable.class CLASSPATH is null:null Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.OptionWidget javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.reader.BCELReader.makeTypeDecl(BCELReader.java:275) at javafe.reader.BCELReader.getCompilationUnit(BCELReader.java:221) at javafe.reader.BCELReader.read(BCELReader.java:995) at javafe.reader.BinReader.read(BinReader.java:67) at javafe.reader.CachedReader.read(CachedReader.java:172) at javafe.reader.StandardTypeReader.locateSource(StandardTypeReader.java:249) at escjava.reader.EscTypeReader.read(EscTypeReader.java:240) at javafe.tc.OutsideEnv.load(OutsideEnv.java:449) at javafe.tc.TypeSig.preload(TypeSig.java:655) at javafe.tc.TypeSig.getTypeDecl(TypeSig.java:620) at javafe.tc.SLResolution.transition(SLResolution.java:84) at javafe.tc.SLResolution.handleSuperTypeName(SLResolution.java:158) at javafe.tc.SLResolution.transition(SLResolution.java:120) at javafe.tc.SLResolution.handleSuperTypeName(SLResolution.java:158) at javafe.tc.SLResolution.transition(SLResolution.java:120) at javafe.tc.SLResolution.handleSuperTypeName(SLResolution.java:158) at javafe.tc.SLResolution.transition(SLResolution.java:120) at javafe.tc.TypeSig.resolveSupertypeLinks(TypeSig.java:1069) at javafe.tc.TypeSig.prep(TypeSig.java:1092) at javafe.tc.TypeSig.lookupConstructor(TypeSig.java:1218) at javafe.tc.FlowInsensitiveChecks.checkNewInstanceExpr(FlowInsensitiveChecks.java:2181) at javafe.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1338) at escjava.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1415) at javafe.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1284) at javafe.tc.FlowInsensitiveChecks.checkInit(FlowInsensitiveChecks.java:1244) at javafe.tc.FlowInsensitiveChecks.checkVarDeclStmt(FlowInsensitiveChecks.java:586) at javafe.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:710) at escjava.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:360) at javafe.tc.FlowInsensitiveChecks.checkStmtVec(FlowInsensitiveChecks.java:1182) at javafe.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:874) at escjava.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:326) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:530) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:553) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.Main.processTD(Main.java:549) at escjava.Main.handleTD(Main.java:514) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.076 s 191202056 bytes total

pluginlib.OptionWidget$ChoiceWidget ... /Users/dermotcochran/Documents/workspace/MobiusUILibrary/src/pluginlib/OptionWidget.java:75: Error: A pure constructor may not have a modifies clause //@ pure ^ /Users/dermotcochran/Documents/workspace/MobiusUILibrary/src/pluginlib/OptionWidget.java:75: Associated declaration: //@ pure ^ /Users/dermotcochran/Documents/workspace/MobiusUILibrary/src/pluginlib/Widgets.java:40: Fatal error: Cycle in inheritance/enclosing hierarchy detected involving type pluginlib.Widgets$HComposite public static class HComposite extends Composite { ^

pluginlib.Props ... /Users/dermotcochran/Desktop/eclipse/plugins/org.eclipse.core.runtime_3.4.0.v20080201.jar:org/eclipse/core/runtime/Plugin.class: Fatal error: Incomplete classpath: Exception while looking for class org.osgi.framework.BundleActivator: java.io.IOException: Couldn't find: org/osgi/framework/BundleActivator.class CLASSPATH is null:null Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.Props javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.reader.BCELReader.makeTypeDecl(BCELReader.java:275) at javafe.reader.BCELReader.getCompilationUnit(BCELReader.java:221) at javafe.reader.BCELReader.read(BCELReader.java:995) at javafe.reader.BinReader.read(BinReader.java:67) at javafe.reader.CachedReader.read(CachedReader.java:172) at javafe.reader.StandardTypeReader.locateSource(StandardTypeReader.java:249) at escjava.reader.EscTypeReader.read(EscTypeReader.java:240) at javafe.tc.OutsideEnv.load(OutsideEnv.java:449) at javafe.tc.TypeSig.preload(TypeSig.java:655) at javafe.tc.TypeSig.getTypeDecl(TypeSig.java:620) at javafe.tc.SLResolution.transition(SLResolution.java:84) at javafe.tc.SLResolution.handleSuperTypeName(SLResolution.java:158) at javafe.tc.SLResolution.transition(SLResolution.java:120) at javafe.tc.TypeSig.resolveSupertypeLinks(TypeSig.java:1069) at javafe.tc.TypeSig.prep(TypeSig.java:1092) at javafe.tc.TypeSig.getMethods(TypeSig.java:1205) at javafe.tc.TypeSig.lookupMethod(TypeSig.java:1309) at javafe.tc.Types.lookupMethodInstance(Types.java:1082) at javafe.tc.Types.lookupMethod(Types.java:1061) at javafe.tc.FlowInsensitiveChecks.checkMethodInvocationExpr(FlowInsensitiveChecks.java:1462) at javafe.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1395) at escjava.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:716) at javafe.tc.FlowInsensitiveChecks.checkAmbiguousMethodInvocationExpr(FlowInsensitiveChecks.java:1534) at javafe.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1393) at escjava.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1445) at javafe.tc.FlowInsensitiveChecks.checkObjectDesignator(FlowInsensitiveChecks.java:2425) at escjava.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:703) at javafe.tc.FlowInsensitiveChecks.checkObjectDesignator(FlowInsensitiveChecks.java:2425) at escjava.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:703) at javafe.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:786) at escjava.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:373) at javafe.tc.FlowInsensitiveChecks.checkStmtVec(FlowInsensitiveChecks.java:1182) at javafe.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:874) at escjava.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:326) at javafe.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:974) at escjava.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:373) at javafe.tc.FlowInsensitiveChecks.checkStmtVec(FlowInsensitiveChecks.java:1182) at javafe.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:874) at escjava.tc.FlowInsensitiveChecks.checkStmt(FlowInsensitiveChecks.java:326) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:530) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.Main.processTD(Main.java:549) at escjava.Main.handleTD(Main.java:514) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.08 s 186915720 bytes total

pluginlib.Log ... /Users/dermotcochran/Desktop/eclipse/plugins/org.eclipse.core.runtime_3.4.0.v20080201.jar:org/eclipse/core/runtime/Plugin.class: Fatal error: Incomplete classpath: Exception while looking for class org.osgi.framework.BundleActivator: java.io.IOException: Couldn't find: org/osgi/framework/BundleActivator.class CLASSPATH is null:null Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.Log javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.reader.BCELReader.makeTypeDecl(BCELReader.java:275) at javafe.reader.BCELReader.getCompilationUnit(BCELReader.java:221) at javafe.reader.BCELReader.read(BCELReader.java:995) at javafe.reader.BinReader.read(BinReader.java:67) at javafe.reader.CachedReader.read(CachedReader.java:172) at javafe.reader.StandardTypeReader.locateSource(StandardTypeReader.java:249) at escjava.reader.EscTypeReader.read(EscTypeReader.java:240) at javafe.tc.OutsideEnv.load(OutsideEnv.java:449) at javafe.tc.TypeSig.preload(TypeSig.java:655) at javafe.tc.TypeSig.getTypeDecl(TypeSig.java:620) at javafe.tc.Types.isCastableInstance(Types.java:529) at escjava.tc.Types.isCastableInstance(Types.java:75) at javafe.tc.Types.isCastable(Types.java:507) at javafe.tc.FlowInsensitiveChecks.checkBinaryExpr(FlowInsensitiveChecks.java:2688) at escjava.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1190) at javafe.tc.FlowInsensitiveChecks.checkExpr(FlowInsensitiveChecks.java:1284) at escjava.tc.FlowInsensitiveChecks.checkPredicate(FlowInsensitiveChecks.java:486) at escjava.tc.FlowInsensitiveChecks.checkModifierPragma(FlowInsensitiveChecks.java:2119) at javafe.tc.FlowInsensitiveChecks.checkModifierPragmaVec(FlowInsensitiveChecks.java:3034) at escjava.tc.FlowInsensitiveChecks.checkModifierPragma(FlowInsensitiveChecks.java:2517) at javafe.tc.FlowInsensitiveChecks.checkModifierPragmaVec(FlowInsensitiveChecks.java:3034) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:527) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.Main.processTD(Main.java:549) at escjava.Main.handleTD(Main.java:514) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.126 s 198367792 bytes total

pluginlib.Log$StreamToConsole ... /Users/dermotcochran/Desktop/eclipse/plugins/mobius.escjava2.esctools2.0.8/libs/specs/escspecs-java1.4.jar:java/io/OutputStream.refines-java:76: Caution: No initial also expected since there are no overridden or refined methods /@ also public behavior ^ /Users/dermotcochran/Desktop/eclipse/plugins/mobius.escjava2.esctools2.0.8/libs/specs/escspecs-java1.4.jar:java/io/OutputStream.refines-java:65: Caution: No initial also expected since there are no overridden or refined methods /@ also public behavior ^ /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar:java/lang/String$CaseInsensitiveComparator.class: Fatal error: Can't find type named "java.lang.String.1" Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.Log$StreamToConsole javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.tc.Env.resolveTypeName(Env.java:312) at javafe.tc.Env.resolveType(Env.java:346) at javafe.tc.PrepTypeDeclaration.visitConstructorDecl(PrepTypeDeclaration.java:660) at javafe.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:497) at escjava.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:236) at javafe.tc.PrepTypeDeclaration.visitClassDecl(PrepTypeDeclaration.java:224) at javafe.tc.PrepTypeDeclaration.prepDo(PrepTypeDeclaration.java:92) at javafe.tc.PrepTypeDeclaration.prepTypeSignature(PrepTypeDeclaration.java:66) at javafe.tc.TypeSig.prep(TypeSig.java:1094) at javafe.tc.TypeSig.typecheck(TypeSig.java:1114) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:553) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.backpred.FindContributors.typecheck(FindContributors.java:714) at escjava.backpred.FindContributors.addType(FindContributors.java:217) at escjava.backpred.FindContributors.backedgeToRoutineDecl(FindContributors.java:675) at escjava.backpred.FindContributors.walk(FindContributors.java:433) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:351) at escjava.backpred.FindContributors.(FindContributors.java:54) at escjava.Main.processTD(Main.java:580) at escjava.Main.handleTD(Main.java:514) at escjava.Main.handleTD(Main.java:526) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.324 s 197182720 bytes total

pluginlib.PreferenceWidget ... /Users/dermotcochran/Documents/workspace/MobiusUILibrary/src/pluginlib/Widgets.java:40: Fatal error: Cycle in inheritance/enclosing hierarchy detected involving type pluginlib.Widgets$HComposite public static class HComposite extends Composite { ^

pluginlib.AbstractPreference ... /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar:java/lang/String$CaseInsensitiveComparator.class: Fatal error: Can't find type named "java.lang.String.1" Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.AbstractPreference javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.tc.Env.resolveTypeName(Env.java:312) at javafe.tc.Env.resolveType(Env.java:346) at javafe.tc.PrepTypeDeclaration.visitConstructorDecl(PrepTypeDeclaration.java:660) at javafe.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:497) at escjava.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:236) at javafe.tc.PrepTypeDeclaration.visitClassDecl(PrepTypeDeclaration.java:224) at javafe.tc.PrepTypeDeclaration.prepDo(PrepTypeDeclaration.java:92) at javafe.tc.PrepTypeDeclaration.prepTypeSignature(PrepTypeDeclaration.java:66) at javafe.tc.TypeSig.prep(TypeSig.java:1094) at javafe.tc.TypeSig.typecheck(TypeSig.java:1114) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:553) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.backpred.FindContributors.typecheck(FindContributors.java:714) at escjava.backpred.FindContributors.addType(FindContributors.java:217) at escjava.backpred.FindContributors.backedgeToGenericVarDecl(FindContributors.java:588) at escjava.backpred.FindContributors.walk(FindContributors.java:411) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.fieldsInvariantMentions(FindContributors.java:364) at escjava.backpred.FindContributors.addPossibleInvariant(FindContributors.java:305) at escjava.backpred.FindContributors.addType(FindContributors.java:236) at escjava.backpred.FindContributors.(FindContributors.java:52) at escjava.Main.processTD(Main.java:580) at escjava.Main.handleTD(Main.java:514) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.169 s 203402256 bytes total

pluginlib.AbstractPreference$Listener ... Prover started:0.885 s 182797760 bytes [0.985 s 183046312 bytes]

pluginlib.AbstractPreference$Listener: run() ... [0.0010 s 183067304 bytes] passed immediately [1.049 s 183175800 bytes total]

pluginlib.AbstractPreference$BooleanOption ... /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar:java/lang/String$CaseInsensitiveComparator.class: Fatal error: Can't find type named "java.lang.String.1" Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.AbstractPreference$BooleanOption javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.tc.Env.resolveTypeName(Env.java:312) at javafe.tc.Env.resolveType(Env.java:346) at javafe.tc.PrepTypeDeclaration.visitConstructorDecl(PrepTypeDeclaration.java:660) at javafe.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:497) at escjava.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:236) at javafe.tc.PrepTypeDeclaration.visitClassDecl(PrepTypeDeclaration.java:224) at javafe.tc.PrepTypeDeclaration.prepDo(PrepTypeDeclaration.java:92) at javafe.tc.PrepTypeDeclaration.prepTypeSignature(PrepTypeDeclaration.java:66) at javafe.tc.TypeSig.prep(TypeSig.java:1094) at javafe.tc.TypeSig.typecheck(TypeSig.java:1114) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:553) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.backpred.FindContributors.typecheck(FindContributors.java:714) at escjava.backpred.FindContributors.addType(FindContributors.java:217) at escjava.backpred.FindContributors.backedgeToGenericVarDecl(FindContributors.java:588) at escjava.backpred.FindContributors.walk(FindContributors.java:411) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.fieldsInvariantMentions(FindContributors.java:364) at escjava.backpred.FindContributors.addPossibleInvariant(FindContributors.java:305) at escjava.backpred.FindContributors.addType(FindContributors.java:236) at escjava.backpred.FindContributors.addType(FindContributors.java:224) at escjava.backpred.FindContributors.(FindContributors.java:52) at escjava.Main.processTD(Main.java:580) at escjava.Main.handleTD(Main.java:514) at escjava.Main.handleTD(Main.java:526) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.0090 s 183313360 bytes total

pluginlib.AbstractPreference$StringOption ... /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar:java/lang/String$CaseInsensitiveComparator.class: Fatal error: Can't find type named "java.lang.String.1" Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.AbstractPreference$StringOption javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.tc.Env.resolveTypeName(Env.java:312) at javafe.tc.Env.resolveType(Env.java:346) at javafe.tc.PrepTypeDeclaration.visitConstructorDecl(PrepTypeDeclaration.java:660) at javafe.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:497) at escjava.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:236) at javafe.tc.PrepTypeDeclaration.visitClassDecl(PrepTypeDeclaration.java:224) at javafe.tc.PrepTypeDeclaration.prepDo(PrepTypeDeclaration.java:92) at javafe.tc.PrepTypeDeclaration.prepTypeSignature(PrepTypeDeclaration.java:66) at javafe.tc.TypeSig.prep(TypeSig.java:1094) at javafe.tc.TypeSig.typecheck(TypeSig.java:1114) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:553) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.backpred.FindContributors.typecheck(FindContributors.java:714) at escjava.backpred.FindContributors.addType(FindContributors.java:217) at escjava.backpred.FindContributors.backedgeToGenericVarDecl(FindContributors.java:588) at escjava.backpred.FindContributors.walk(FindContributors.java:411) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.fieldsInvariantMentions(FindContributors.java:364) at escjava.backpred.FindContributors.addPossibleInvariant(FindContributors.java:305) at escjava.backpred.FindContributors.addType(FindContributors.java:236) at escjava.backpred.FindContributors.addType(FindContributors.java:224) at escjava.backpred.FindContributors.(FindContributors.java:52) at escjava.Main.processTD(Main.java:580) at escjava.Main.handleTD(Main.java:514) at escjava.Main.handleTD(Main.java:526) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.0030 s 183469392 bytes total

pluginlib.AbstractPreference$ChoiceOption ... /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar:java/lang/String$CaseInsensitiveComparator.class: Fatal error: Can't find type named "java.lang.String.1" Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.AbstractPreference$ChoiceOption javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.tc.Env.resolveTypeName(Env.java:312) at javafe.tc.Env.resolveType(Env.java:346) at javafe.tc.PrepTypeDeclaration.visitConstructorDecl(PrepTypeDeclaration.java:660) at javafe.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:497) at escjava.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:236) at javafe.tc.PrepTypeDeclaration.visitClassDecl(PrepTypeDeclaration.java:224) at javafe.tc.PrepTypeDeclaration.prepDo(PrepTypeDeclaration.java:92) at javafe.tc.PrepTypeDeclaration.prepTypeSignature(PrepTypeDeclaration.java:66) at javafe.tc.TypeSig.prep(TypeSig.java:1094) at javafe.tc.TypeSig.typecheck(TypeSig.java:1114) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:553) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.backpred.FindContributors.typecheck(FindContributors.java:714) at escjava.backpred.FindContributors.addType(FindContributors.java:217) at escjava.backpred.FindContributors.backedgeToGenericVarDecl(FindContributors.java:588) at escjava.backpred.FindContributors.walk(FindContributors.java:411) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.fieldsInvariantMentions(FindContributors.java:364) at escjava.backpred.FindContributors.addPossibleInvariant(FindContributors.java:305) at escjava.backpred.FindContributors.addType(FindContributors.java:236) at escjava.backpred.FindContributors.addType(FindContributors.java:224) at escjava.backpred.FindContributors.(FindContributors.java:52) at escjava.Main.processTD(Main.java:580) at escjava.Main.handleTD(Main.java:514) at escjava.Main.handleTD(Main.java:526) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.0040 s 183593448 bytes total

pluginlib.Widgets ... /Users/dermotcochran/Documents/workspace/MobiusUILibrary/src/pluginlib/Widgets.java:40: Fatal error: Cycle in inheritance/enclosing hierarchy detected involving type pluginlib.Widgets$HComposite public static class HComposite extends Composite { ^

pluginlib.ZipEditorInput ... /Users/dermotcochran/Desktop/eclipse/plugins/org.eclipse.ui.ide_3.4.0.I20080204-0800.jar:org/eclipse/ui/IStorageEditorInput.class: Fatal error: Incomplete classpath: Exception while looking for class org.eclipse.ui.IEditorInput: java.io.IOException: Couldn't find: org/eclipse/ui/IEditorInput.class CLASSPATH is null:null Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.ZipEditorInput javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.reader.BCELReader.makeTypeDecl(BCELReader.java:275) at javafe.reader.BCELReader.getCompilationUnit(BCELReader.java:221) at javafe.reader.BCELReader.read(BCELReader.java:995) at javafe.reader.BinReader.read(BinReader.java:67) at javafe.reader.CachedReader.read(CachedReader.java:172) at javafe.reader.StandardTypeReader.locateSource(StandardTypeReader.java:249) at escjava.reader.EscTypeReader.read(EscTypeReader.java:240) at javafe.tc.OutsideEnv.load(OutsideEnv.java:449) at javafe.tc.TypeSig.preload(TypeSig.java:655) at javafe.tc.TypeSig.getTypeDecl(TypeSig.java:620) at javafe.tc.SLResolution.transition(SLResolution.java:84) at javafe.tc.SLResolution.handleSuperTypeName(SLResolution.java:158) at javafe.tc.SLResolution.transition(SLResolution.java:108) at javafe.tc.TypeSig.resolveSupertypeLinks(TypeSig.java:1069) at javafe.tc.TypeSig.prep(TypeSig.java:1092) at javafe.tc.TypeSig.typecheck(TypeSig.java:1114) at escjava.Main.processTD(Main.java:549) at escjava.Main.handleTD(Main.java:514) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.041 s 184357552 bytes total

pluginlib.Options ... /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar:java/lang/String$CaseInsensitiveComparator.class: Fatal error: Can't find type named "java.lang.String.1" Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.Options javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.tc.Env.resolveTypeName(Env.java:312) at javafe.tc.Env.resolveType(Env.java:346) at javafe.tc.PrepTypeDeclaration.visitConstructorDecl(PrepTypeDeclaration.java:660) at javafe.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:497) at escjava.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:236) at javafe.tc.PrepTypeDeclaration.visitClassDecl(PrepTypeDeclaration.java:224) at javafe.tc.PrepTypeDeclaration.prepDo(PrepTypeDeclaration.java:92) at javafe.tc.PrepTypeDeclaration.prepTypeSignature(PrepTypeDeclaration.java:66) at javafe.tc.TypeSig.prep(TypeSig.java:1094) at javafe.tc.TypeSig.typecheck(TypeSig.java:1114) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:553) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.backpred.FindContributors.typecheck(FindContributors.java:714) at escjava.backpred.FindContributors.addType(FindContributors.java:217) at escjava.backpred.FindContributors.walk(FindContributors.java:389) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:351) at escjava.backpred.FindContributors.(FindContributors.java:54) at escjava.Main.processTD(Main.java:580) at escjava.Main.handleTD(Main.java:514) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.139 s 190289176 bytes total

pluginlib.PropertyPage ... /Users/dermotcochran/Desktop/eclipse/plugins/org.eclipse.ui.workbench_3.4.0.I20080205-0010.jar:org/eclipse/ui/dialogs/PropertyPage.class: Fatal error: Incomplete classpath: Exception while looking for class org.eclipse.ui.IWorkbenchPropertyPage: java.io.IOException: Couldn't find: org/eclipse/ui/IWorkbenchPropertyPage.class CLASSPATH is null:null Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.PropertyPage javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.reader.BCELReader.makeTypeDecl(BCELReader.java:275) at javafe.reader.BCELReader.getCompilationUnit(BCELReader.java:221) at javafe.reader.BCELReader.read(BCELReader.java:995) at javafe.reader.BinReader.read(BinReader.java:67) at javafe.reader.CachedReader.read(CachedReader.java:172) at javafe.reader.StandardTypeReader.locateSource(StandardTypeReader.java:249) at escjava.reader.EscTypeReader.read(EscTypeReader.java:240) at javafe.tc.OutsideEnv.load(OutsideEnv.java:449) at javafe.tc.TypeSig.preload(TypeSig.java:655) at javafe.tc.TypeSig.getTypeDecl(TypeSig.java:620) at javafe.tc.SLResolution.transition(SLResolution.java:84) at javafe.tc.SLResolution.handleSuperTypeName(SLResolution.java:158) at javafe.tc.SLResolution.transition(SLResolution.java:120) at javafe.tc.TypeSig.resolveSupertypeLinks(TypeSig.java:1069) at javafe.tc.TypeSig.prep(TypeSig.java:1092) at javafe.tc.TypeSig.typecheck(TypeSig.java:1114) at escjava.Main.processTD(Main.java:549) at escjava.Main.handleTD(Main.java:514) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.0050 s 190606224 bytes total

pluginlib.Utils ... /Users/dermotcochran/Documents/workspace/org.eclipse.core.resources/src/org/eclipse/core/resources/ResourcesPlugin.java:29: Fatal error: Cycle in inheritance/enclosing hierarchy detected involving type org.eclipse.core.resources.ResourcesPlugin public final class ResourcesPlugin extends Plugin { ^

pluginlib.AbstractOption ... /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar:java/lang/String$CaseInsensitiveComparator.class: Fatal error: Can't find type named "java.lang.String.1" Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.AbstractOption javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.tc.Env.resolveTypeName(Env.java:312) at javafe.tc.Env.resolveType(Env.java:346) at javafe.tc.PrepTypeDeclaration.visitConstructorDecl(PrepTypeDeclaration.java:660) at javafe.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:497) at escjava.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:236) at javafe.tc.PrepTypeDeclaration.visitClassDecl(PrepTypeDeclaration.java:224) at javafe.tc.PrepTypeDeclaration.prepDo(PrepTypeDeclaration.java:92) at javafe.tc.PrepTypeDeclaration.prepTypeSignature(PrepTypeDeclaration.java:66) at javafe.tc.TypeSig.prep(TypeSig.java:1094) at javafe.tc.TypeSig.typecheck(TypeSig.java:1114) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:553) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.backpred.FindContributors.typecheck(FindContributors.java:714) at escjava.backpred.FindContributors.addType(FindContributors.java:217) at escjava.backpred.FindContributors.backedgeToGenericVarDecl(FindContributors.java:588) at escjava.backpred.FindContributors.walk(FindContributors.java:411) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.fieldsInvariantMentions(FindContributors.java:364) at escjava.backpred.FindContributors.addPossibleInvariant(FindContributors.java:305) at escjava.backpred.FindContributors.addType(FindContributors.java:236) at escjava.backpred.FindContributors.(FindContributors.java:52) at escjava.Main.processTD(Main.java:580) at escjava.Main.handleTD(Main.java:514) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:309) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:341) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:137) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:235) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) 0.026 s 191918568 bytes total

pluginlib.AbstractOption$Listener ... [0.0020 s 191993808 bytes]

pluginlib.AbstractOption$Listener: run() ... [0.0 s 191995856 bytes] passed immediately [0.0020 s 191997904 bytes total]

pluginlib.AbstractOption$BooleanOption ... /System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar:java/lang/String$CaseInsensitiveComparator.class: Fatal error: Can't find type named "java.lang.String.1" Exception javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location thrown while processing pluginlib.AbstractOption$BooleanOption javafe.util.AssertionFailureException: Precondition violated: locToOffset passed a whole-file location at javafe.util.Assert.precondition(Assert.java:79) at javafe.util.LocationManagerCorrelatedReader.locToOffset(LocationManagerCorrelatedReader.java:326) at javafe.util.Location.toOffset(Location.java:118) at escjava.plugin.EscjavaChecker.report(EscjavaChecker.java:83) at javafe.util.ErrorSet.report(ErrorSet.java:409) at javafe.util.ErrorSet.fatal(ErrorSet.java:306) at javafe.tc.Env.resolveTypeName(Env.java:312) at javafe.tc.Env.resolveType(Env.java:346) at javafe.tc.PrepTypeDeclaration.visitConstructorDecl(PrepTypeDeclaration.java:660) at javafe.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:497) at escjava.tc.PrepTypeDeclaration.visitTypeDeclElem(PrepTypeDeclaration.java:236) at javafe.tc.PrepTypeDeclaration.visitClassDecl(PrepTypeDeclaration.java:224) at javafe.tc.PrepTypeDeclaration.prepDo(PrepTypeDeclaration.java:92) at javafe.tc.PrepTypeDeclaration.prepTypeSignature(PrepTypeDeclaration.java:66) at javafe.tc.TypeSig.prep(TypeSig.java:1094) at javafe.tc.TypeSig.typecheck(TypeSig.java:1114) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:553) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclElem(FlowInsensitiveChecks.java:187) at javafe.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:199) at escjava.tc.FlowInsensitiveChecks.checkTypeDeclaration(FlowInsensitiveChecks.java:164) at javafe.tc.TypeSig.typecheck(TypeSig.java:1120) at escjava.backpred.FindContributors.typecheck(FindContributors.java:714) at escjava.backpred.FindContributors.addType(FindContributors.java:217) at escjava.backpred.FindContributors.backedgeToGenericVarDecl(FindContributors.java:588) at escjava.backpred.FindContributors.walk(FindContributors.java:411) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.walk(FindContributors.java:465) at escjava.backpred.FindContributors.fieldsInvariantMentions(FindContributors.java:364) at escjava.backpred.FindContributors.addPossibleInvariant(FindContributors.java:305) at escjava.backpred.FindContributors.addType(FindContributors.java:236) at escjava.backpred.FindContributors.addType(FindContributors.java:224) at escjava.backpred.FindContributors.(FindContributors.java:52) at escjava.Main.processTD(Main.java:580) at escjava.Main.handleTD(Main.java:514) at escjava.Main.handleTD(Main.java:526) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.plugin.EscjavaChecker.run(EscjavaChecker.java:237) at escjava.plugin.EscjavaAction$Check.checkProject(EscjavaAction.java:441) at escjava.plugin.AutoCheckBuilder.build(AutoCheckBuilder.java:72) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:633) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:170) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:201) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:253) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:37) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:256) at org.eclipse.core.int

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Wed Mar 12 16:42:28 2008

Finally, caught this bug in Mac OS X, so its not a platform specific issue.

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Mon Mar 31 15:05:30 2008

Milestone Javafe 2.0.6 release deleted

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Mon Jun 30 11:36:23 2008

Milestone ESCJava2.0b5 release deleted