search

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

Watch expressions are not validated #91

Closed jspam closed 12 years ago

jspam commented 12 years ago

Try adding a watch expression such as false => 2. The following exception is thrown:

!ENTRY org.eclipse.jface 4 2 2012-02-21 21:47:38.005
!MESSAGE Problems occurred when invoking code from plug-in: "org.eclipse.jface".
!STACK 0
java.lang.RuntimeException: result type error on resultStack: boolean expected
    at edu.kit.iti.formal.pse.worthwhile.interpreter.InterpreterASTNodeVisitor.popBooleanValue(InterpreterASTNodeVisitor.java:428)
    at edu.kit.iti.formal.pse.worthwhile.interpreter.InterpreterASTNodeVisitor.visit(InterpreterASTNodeVisitor.java:871)
    at edu.kit.iti.formal.pse.worthwhile.model.ast.Implication.accept(Implication.java:47)
    at edu.kit.iti.formal.pse.worthwhile.interpreter.Interpreter.evaluateExpression(Interpreter.java:134)
    at edu.kit.iti.formal.pse.worthwhile.debugger.model.WorthwhileDebugTarget.evaluateExpression(WorthwhileDebugTarget.java:562)
    at edu.kit.iti.formal.pse.worthwhile.debugger.model.WorthwhileWatchExpressionDelegate.evaluateExpression(WorthwhileWatchExpressionDelegate.java:105)
    at org.eclipse.debug.internal.core.WatchExpression.evaluate(WatchExpression.java:81)
    at org.eclipse.debug.internal.core.WatchExpression.setExpressionText(WatchExpression.java:246)
    at org.eclipse.debug.internal.ui.elements.adapters.WatchExpressionCellModifier.modify(WatchExpressionCellModifier.java:58)
    at org.eclipse.debug.internal.ui.viewers.model.InternalTreeModelViewer$CellModifierProxy.modify(InternalTreeModelViewer.java:242)
    at org.eclipse.jface.viewers.ColumnViewer$2.setValue(ColumnViewer.java:274)
    at org.eclipse.jface.viewers.EditingSupport.saveCellEditorValue(EditingSupport.java:113)
    at org.eclipse.jface.viewers.ColumnViewerEditor.saveEditorValue(ColumnViewerEditor.java:456)
    at org.eclipse.jface.viewers.ColumnViewerEditor.applyEditorValue(ColumnViewerEditor.java:312)
    at org.eclipse.jface.viewers.ColumnViewerEditor$2.applyEditorValue(ColumnViewerEditor.java:154)
    at org.eclipse.jface.viewers.CellEditor$1.run(CellEditor.java:335)
    at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:42)
    at org.eclipse.ui.internal.JFaceUtil$1.run(JFaceUtil.java:49)
    at org.eclipse.jface.util.SafeRunnable.run(SafeRunnable.java:175)
    at org.eclipse.jface.viewers.CellEditor.fireApplyEditorValue(CellEditor.java:333)
    at org.eclipse.jface.viewers.TextCellEditor.handleDefaultSelection(TextCellEditor.java:293)
    at org.eclipse.jface.viewers.TextCellEditor$1.widgetDefaultSelected(TextCellEditor.java:148)
    at org.eclipse.swt.widgets.TypedListener.handleEvent(TypedListener.java:119)
    at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
    at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1258)
    at org.eclipse.swt.widgets.Display.runDeferredEvents(Display.java:3588)
    at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3209)
    at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:2696)
    at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:2660)
    at org.eclipse.ui.internal.Workbench.access$4(Workbench.java:2494)
    at org.eclipse.ui.internal.Workbench$7.run(Workbench.java:674)
    at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:332)
    at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:667)
    at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149)
    at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:123)
    at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
    at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:110)
    at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:79)
    at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:344)
    at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:179)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:616)
    at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:622)
    at org.eclipse.equinox.launcher.Main.basicRun(Main.java:577)
    at org.eclipse.equinox.launcher.Main.run(Main.java:1410)
    at org.eclipse.equinox.launcher.Main.main(Main.java:1386)