Serialized Form

Package de.ewand.typestate.jerify.verifier.base.typestatemodel

Class de.ewand.typestate.jerify.verifier.base.typestatemodel.TypestateConstraintInformation extends java.lang.Object implements Serializable

Package de.unisaarland.cs.st.jerify.verifier

Class de.unisaarland.cs.st.jerify.verifier.TypestateException extends java.lang.RuntimeException implements Serializable

serialVersionUID: -2733276279594436849L

Serialized Fields

position

com.sun.source.tree.Tree position

Package de.unisaarland.cs.st.jerify.verifier.tools.gui

Class de.unisaarland.cs.st.jerify.verifier.tools.gui.gui extends javax.swing.JFrame implements Serializable

serialVersionUID: 6846712875768333990L

Serialized Fields

root

javax.swing.tree.TreeModel root

done

boolean done

LectionTree

javax.swing.JTree LectionTree

jLabel1

javax.swing.JLabel jLabel1

jScrollPane1

javax.swing.JScrollPane jScrollPane1