Th typechecker crashes if the typechecked expression does not have parent something that has access to DataDictionary
when implementing typechecking of verification patterns (Issue 826), the following exception is thrown:
java.lang.NullPointerException
at
org.fortiss.tooling.kernel.utils.KernelModelElementUtils.getRootElement(KernelModelElementUtils.java:55)
at
org.fortiss.af3.expression.language.TypeSystemHandler.getTypeProvider(TypeSystemHandler.java:99)
at
org.fortiss.af3.expression.language.TypeChecker.getUserType(TypeChecker.java:313)
at
org.fortiss.af3.expression.language.TypeChecker.typecheckEquality(TypeChecker.java:301)
at
org.fortiss.af3.expression.language.TypeChecker.typecheckBinaryPredefinedFunction(TypeChecker.java:265)
at
org.fortiss.af3.expression.language.TypeChecker.typecheckPredefinedFunction(TypeChecker.java:193)
at
org.fortiss.af3.expression.language.TypeChecker.typecheckExpression(TypeChecker.java:116)
at
org.fortiss.af3.expression.language.TypeChecker.typecheck(TypeChecker.java:75)
at
org.fortiss.af3.expression.language.TypeChecker.typecheck(TypeChecker.java:87)
at
org.fortiss.af3.analyses.modelchecking.af3tonusmv.AF3ToNuSMVCompiler.compileAFTextualVerificationConditionToNuSMV(AF3ToNuSMVCompiler.java:243)
at
org.fortiss.af3.analyses.modelchecking.ModelCheckerFacade.compileAFTextualVerificationConditionToNuSMV(ModelCheckerFacade.java:40)
at
org.fortiss.af3.analyses.ui.semantic.ModelCheckerUIFacade.compilePredicates(ModelCheckerUIFacade.java:186)
at
org.fortiss.af3.analyses.ui.semantic.SemanticInspectorView.checkCondition(SemanticInspectorView.java:563)
at
org.fortiss.af3.analyses.ui.semantic.SemanticInspectorView.access$7(SemanticInspectorView.java:556)
at
org.fortiss.af3.analyses.ui.semantic.SemanticInspectorView$12.widgetSelected(SemanticInspectorView.java:533)
at
org.eclipse.swt.widgets.TypedListener.handleEvent(TypedListener.java:240)
at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
at org.eclipse.swt.widgets.Display.sendEvent(Display.java:4128)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1457)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1480)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1465)
at org.eclipse.swt.widgets.Widget.notifyListeners(Widget.java:1270)
at
org.eclipse.swt.widgets.Display.runDeferredEvents(Display.java:3974)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3613)
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.fortiss.af3.rcapplication.AF3Application.start(AF3Application.java:47)
at
org.eclipse.equinox.internal.apEclipseAppHandle.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: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: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)
(from redmine: issue id 830, created on 2012-05-25, closed on 2012-07-07)
- Relations:
- parent #826 (closed)