Serialized Form

Package uk.ac.sheffield.vtts.client.pojo

Class uk.ac.sheffield.vtts.client.pojo.BadDocumentIdentifier extends java.lang.RuntimeException implements Serializable

serialVersionUID:

-7020220146701184141L

Class uk.ac.sheffield.vtts.client.pojo.BadVersionIdentifier extends java.lang.RuntimeException implements Serializable

serialVersionUID:

469735834852191617L

Package uk.ac.sheffield.vtts.client.rs

Class uk.ac.sheffield.vtts.client.rs.BadDocumentIdentifier extends java.lang.RuntimeException implements Serializable

serialVersionUID:

-7020220146701184141L

Class uk.ac.sheffield.vtts.client.rs.BadVersionIdentifier extends java.lang.RuntimeException implements Serializable

serialVersionUID:

469735834852191617L

Package uk.ac.sheffield.vtts.client.ws

Class uk.ac.sheffield.vtts.client.ws.BadDocumentIdentifier extends java.lang.RuntimeException implements Serializable

serialVersionUID:

-7020220146701184141L

Class uk.ac.sheffield.vtts.client.ws.BadVersionIdentifier extends java.lang.RuntimeException implements Serializable

serialVersionUID:

469735834852191617L

Package uk.ac.sheffield.vtts.ground

Class uk.ac.sheffield.vtts.ground.SimpleEntry extends java.util.AbstractMap.SimpleEntry<K,V> implements Serializable

serialVersionUID:

-5377216819513763466L

Package uk.ac.sheffield.vtts.gui

Class uk.ac.sheffield.vtts.gui.BrokerAtCloudVTTS extends javax.swing.JFrame implements Serializable

serialVersionUID:

1041224917127330422L

Serialized Fields

contentPane

javax.swing.JPanel contentPane

tf_SpecificationFilePath4ValidationTab

javax.swing.JTextField tf_SpecificationFilePath4ValidationTab

tf_SpecificationFilePath4VerificationTab

javax.swing.JTextField tf_SpecificationFilePath4VerificationTab

tf_SpecificationFilePath4TestGenerationTab

javax.swing.JTextField tf_SpecificationFilePath4TestGenerationTab

editorPaneSpec4ValidationTab

javax.swing.JEditorPane editorPaneSpec4ValidationTab

editorPane_ValidationReport

javax.swing.JEditorPane editorPane_ValidationReport

textField_TestFilePath_GroundingTab

javax.swing.JTextField textField_TestFilePath_GroundingTab

textField_RemoteServiceBase

javax.swing.JTextField textField_RemoteServiceBase

textField_TestDriver

javax.swing.JTextField textField_TestDriver

editorPaneSpec4VerificationTab

javax.swing.JEditorPane editorPaneSpec4VerificationTab

editorPane_VerificationReport

javax.swing.JEditorPane editorPane_VerificationReport

editorPaneSpec4TestGenerationTab

javax.swing.JEditorPane editorPaneSpec4TestGenerationTab

editorPane_TestGenerationOutputFile

javax.swing.JEditorPane editorPane_TestGenerationOutputFile

editorPaneGrounding_InputFile

javax.swing.JEditorPane editorPaneGrounding_InputFile

editorPaneGrounding_JUnitOutputFile

javax.swing.JEditorPane editorPaneGrounding_JUnitOutputFile

comboBox_grounding

javax.swing.JComboBox<E> comboBox_grounding

chckbxVerifyTestsTransitions

javax.swing.JCheckBox chckbxVerifyTestsTransitions

spinner4TestDepth

javax.swing.JSpinner spinner4TestDepth

chckbxMultiobjectiveTests

javax.swing.JCheckBox chckbxMultiobjectiveTests

tf_ServiceClientSourcePackages

javax.swing.JTextField tf_ServiceClientSourcePackages

btnCheckStateMachine

javax.swing.JButton btnCheckStateMachine

btnCheckProtocol

javax.swing.JButton btnCheckProtocol

btnGenerateJunitTests

javax.swing.JButton btnGenerateJunitTests

btn_OpenSpecificationFile

javax.swing.JButton btn_OpenSpecificationFile

btnGenerateTests

javax.swing.JButton btnGenerateTests

lbValidationOutputFile

javax.swing.JLabel lbValidationOutputFile

lbVerificationOutputFile

javax.swing.JLabel lbVerificationOutputFile

testGenerationPanel

javax.swing.JPanel testGenerationPanel

lbAbstractTestsFile

javax.swing.JLabel lbAbstractTestsFile

lbJUnitFile

javax.swing.JLabel lbJUnitFile

chckbxPrettyFormattingTests

javax.swing.JCheckBox chckbxPrettyFormattingTests

chckbxPrettyFormattingJUnit

javax.swing.JCheckBox chckbxPrettyFormattingJUnit

label_waiting4TestGrounding

javax.swing.JLabel label_waiting4TestGrounding

lbPleaseWait4TestGrounding

javax.swing.JLabel lbPleaseWait4TestGrounding

panel_1

javax.swing.JPanel panel_1

label_waiting4TestGeneration

javax.swing.JLabel label_waiting4TestGeneration

lbPleaseWait4TestGeneration

javax.swing.JLabel lbPleaseWait4TestGeneration

Package uk.ac.sheffield.vtts.model

Class uk.ac.sheffield.vtts.model.SemanticError extends java.lang.Error implements Serializable

Serialized Fields

element

Element element

The Element in which this SemanticError occurred.