VerifAPS / stvs

StructuredText Verification Studio
http://formal.iti.kit.edu/stvs
GNU General Public License v3.0
9 stars 0 forks source link

Exception when attempting to save #43

Open mattulbrich opened 7 years ago

mattulbrich commented 7 years ago

I tried to save my session while working and failed.

This is on branch development c7751afb553706da1ace163fe6d0302c03238b2f.

The following exception was thrown:

edu.kit.iti.formal.stvs.logic.io.ExportException
        at edu.kit.iti.formal.stvs.logic.io.xml.XmlExporter.marshalToNode(XmlExporter.java:59)
        at edu.kit.iti.formal.stvs.logic.io.xml.XmlConstraintSpecExporter.exportToXmlNode(XmlConstraintSpecExporter.java:51)
        at edu.kit.iti.formal.stvs.logic.io.xml.XmlSessionExporter.makeTabs(XmlSessionExporter.java:78)
        at edu.kit.iti.formal.stvs.logic.io.xml.XmlSessionExporter.exportToXmlNode(XmlSessionExporter.java:56)
        at edu.kit.iti.formal.stvs.logic.io.xml.XmlSessionExporter.exportToXmlNode(XmlSessionExporter.java:23)
        at edu.kit.iti.formal.stvs.logic.io.xml.XmlExporter.export(XmlExporter.java:71)
        at edu.kit.iti.formal.stvs.logic.io.ExporterFacade.exportSession(ExporterFacade.java:106)
        at edu.kit.iti.formal.stvs.logic.io.ExporterFacade.exportSession(ExporterFacade.java:123)
        at edu.kit.iti.formal.stvs.view.menu.StvsMenuBarController.handleSaveAll(StvsMenuBarController.java:312)
        at edu.kit.iti.formal.stvs.view.menu.StvsMenuBarController.saveAll(StvsMenuBarController.java:303)
        at com.sun.javafx.event.CompositeEventHandler.dispatchBubblingEvent(CompositeEventHandler.java:86)
        at com.sun.javafx.event.EventHandlerManager.dispatchBubblingEvent(EventHandlerManager.java:238)
        at com.sun.javafx.event.EventHandlerManager.dispatchBubblingEvent(EventHandlerManager.java:191)
        at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:58)
        at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
        at com.sun.javafx.event.EventUtil.fireEventImpl(EventUtil.java:74)
        at com.sun.javafx.event.EventUtil.fireEvent(EventUtil.java:49)
        at javafx.event.Event.fireEvent(Event.java:198)
        at javafx.scene.control.MenuItem.fire(MenuItem.java:462)
        at com.sun.javafx.scene.control.ControlAcceleratorSupport.lambda$doAcceleratorInstall$12(ControlAcceleratorSupport.java:165)
        at com.sun.javafx.scene.KeyboardShortcutsHandler.processAccelerators(KeyboardShortcutsHandler.java:347)
        at com.sun.javafx.scene.KeyboardShortcutsHandler.dispatchBubblingEvent(KeyboardShortcutsHandler.java:163)
        at com.sun.javafx.event.CompositeEventDispatcher.dispatchBubblingEvent(CompositeEventDispatcher.java:59)
        at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:58)
        at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
        at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
        at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
        at com.sun.javafx.event.EventUtil.fireEventImpl(EventUtil.java:74)
        at com.sun.javafx.event.EventUtil.fireEvent(EventUtil.java:54)
        at javafx.event.Event.fireEvent(Event.java:198)
        at javafx.scene.Scene$KeyHandler.process(Scene.java:3964)
        at javafx.scene.Scene$KeyHandler.access$1800(Scene.java:3910)
        at javafx.scene.Scene.impl_processKeyEvent(Scene.java:2040)
        at javafx.scene.Scene$ScenePeerListener.keyEvent(Scene.java:2501)
        at com.sun.javafx.tk.quantum.GlassViewEventHandler$KeyEventNotification.run(GlassViewEventHandler.java:217)
        at com.sun.javafx.tk.quantum.GlassViewEventHandler$KeyEventNotification.run(GlassViewEventHandler.java:149)
        at java.security.AccessController.doPrivileged(Native Method)
        at com.sun.javafx.tk.quantum.GlassViewEventHandler.lambda$handleKeyEvent$353(GlassViewEventHandler.java:248)
        at com.sun.javafx.tk.quantum.QuantumToolkit.runWithoutRenderLock(QuantumToolkit.java:389)
        at com.sun.javafx.tk.quantum.GlassViewEventHandler.handleKeyEvent(GlassViewEventHandler.java:247)
        at com.sun.glass.ui.View.handleKeyEvent(View.java:546)
        at com.sun.glass.ui.View.notifyKey(View.java:966)
        at com.sun.glass.ui.gtk.GtkApplication._runLoop(Native Method)
        at com.sun.glass.ui.gtk.GtkApplication.lambda$null$49(GtkApplication.java:139)
        at java.lang.Thread.run(Thread.java:748)
Caused by: javax.xml.bind.MarshalException
 - with linked exception:
[com.sun.istack.SAXException2: edu.kit.iti.formal.stvs.logic.io.xml.SpecificationTable is not known to this context
javax.xml.bind.JAXBException: edu.kit.iti.formal.stvs.logic.io.xml.SpecificationTable is not known to this context]
        at com.sun.xml.bind.v2.runtime.MarshallerImpl.write(MarshallerImpl.java:323)
        at com.sun.xml.bind.v2.runtime.MarshallerImpl.marshal(MarshallerImpl.java:249)
        at javax.xml.bind.helpers.AbstractMarshallerImpl.marshal(AbstractMarshallerImpl.java:130)
        at edu.kit.iti.formal.stvs.logic.io.xml.XmlExporter.marshalToNode(XmlExporter.java:56)
        ... 44 more
Caused by: com.sun.istack.SAXException2: edu.kit.iti.formal.stvs.logic.io.xml.SpecificationTable is not known to this context
javax.xml.bind.JAXBException: edu.kit.iti.formal.stvs.logic.io.xml.SpecificationTable is not known to this context
        at com.sun.xml.bind.v2.runtime.XMLSerializer.reportError(XMLSerializer.java:250)
        at com.sun.xml.bind.v2.runtime.XMLSerializer.reportError(XMLSerializer.java:265)
        at com.sun.xml.bind.v2.runtime.ElementBeanInfoImpl$1.serializeBody(ElementBeanInfoImpl.java:148)
        at com.sun.xml.bind.v2.runtime.ElementBeanInfoImpl$1.serializeBody(ElementBeanInfoImpl.java:193)
        at com.sun.xml.bind.v2.runtime.ElementBeanInfoImpl.serializeBody(ElementBeanInfoImpl.java:321)
        at com.sun.xml.bind.v2.runtime.ElementBeanInfoImpl.serializeRoot(ElementBeanInfoImpl.java:328)
        at com.sun.xml.bind.v2.runtime.ElementBeanInfoImpl.serializeRoot(ElementBeanInfoImpl.java:76)
        at com.sun.xml.bind.v2.runtime.XMLSerializer.childAsRoot(XMLSerializer.java:498)
        at com.sun.xml.bind.v2.runtime.MarshallerImpl.write(MarshallerImpl.java:320)
        ... 47 more
Caused by: javax.xml.bind.JAXBException: edu.kit.iti.formal.stvs.logic.io.xml.SpecificationTable is not known to this context
        at com.sun.xml.bind.v2.runtime.JAXBContextImpl.getBeanInfo(JAXBContextImpl.java:642)
        at com.sun.xml.bind.v2.runtime.ElementBeanInfoImpl$1.serializeBody(ElementBeanInfoImpl.java:145)
        ... 53 more