Exception on entering :<=: operator (weak subtyping) in a typesystem model
[Build info]
build number: __BUILD_NUMBER__
version name: JetBrains MPS __VERSION__
build date: Wed Dec 31 00:00:00 CET 2
You can read model only inside read actions.l
jetbrains.mps.smodel.IllegalModelAccessError: You can read model only inside read actions.l
at jetbrains.mps.smodel.ModelAccess.assertLegalRead(ModelAccess.java:284)
at jetbrains.mps.smodel.SNode.getModel(SNode.java:162)
at jetbrains.mps.smodel.ModelChange.assertLegalNodeChange(ModelChange.java:30)
at jetbrains.mps.smodel.SNode.setProperty(SNode.java:703)
at jetbrains.mps.smodel.SNode.setProperty(SNode.java:698)
at jetbrains.mps.smodel.SNode.setBooleanProperty(SNode.java:624)
at jetbrains.mps.smodel.SNode.removeRightTransformHint(SNode.java:1440)
at jetbrains.mps.nodeEditor.EditorManager$5$1.substitute(EditorManager.java:311)
at jetbrains.mps.nodeEditor.cellMenu.NodeSubstituteChooser.doSubstituteSelection(NodeSubstituteChooser.java:354)
at jetbrains.mps.nodeEditor.cellMenu.NodeSubstituteChooser.menu_processKeyPressed(NodeSubstituteChooser.java:339)
at jetbrains.mps.nodeEditor.cellMenu.NodeSubstituteChooser.processKeyPressed(NodeSubstituteChooser.java:256)
at jetbrains.mps.nodeEditor.EditorComponent.processKeyPressed(EditorComponent.java:1824)
at jetbrains.mps.nodeEditor.EditorComponent$16.keyPressed(EditorComponent.java:393)
at java.awt.AWTEventMulticaster.keyPressed(AWTEventMulticaster.java:233)
at java.awt.Component.processKeyEvent(Component.java:5999)
at javax.swing.JComponent.processKeyEvent(JComponent.java:2799)
at java.awt.Component.processEvent(Component.java:5818)
at java.awt.Container.processEvent(Container.java:2058)
at java.awt.Component.dispatchEventImpl(Component.java:4413)
at java.awt.Container.dispatchEventImpl(Container.java:2116)
at java.awt.Component.dispatchEvent(Component.java:4243)
at java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1848)
at java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:697)
at java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:962)
at java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:834)
at java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:661)
at java.awt.Component.dispatchEventImpl(Component.java:4285)
at java.awt.Container.dispatchEventImpl(Container.java:2116)
at java.awt.Window.dispatchEventImpl(Window.java:2440)
at java.awt.Component.dispatchEvent(Component.java:4243)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:599)
at com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:472)
at com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:452)
at com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:337)
at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:273)
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:183)
at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:173)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:168)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:160)
at java.awt.EventDispatchThread.run(EventDispatchThread.java:121)