team-worthwhile/worthwhile — Issue #91: Watch expressions are not validated
Author: jspam
Created: 2012-02-21 20:48:42+00:00
State: open
Labels: debugger

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)
```