com.processconfiguration.quaestio
Class Main

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      com.processconfiguration.quaestio.Main

All Implemented Interfaces:

java.awt.event.ActionListener, java.awt.event.ItemListener, java.awt.event.MouseListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.event.ListSelectionListener, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class Main
extends javax.swing.JFrame
implements javax.swing.event.ListSelectionListener, java.awt.event.ItemListener, java.awt.event.MouseListener, java.awt.event.ActionListener

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

Nested classes/interfaces inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Nested classes/interfaces inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

private javax.swing.JMenuItem	aboutMenuItem
private QuestionTypeListModel	answeredQ
private ExecBDDC	bddc
private java.util.Map<java.lang.String,javax.swing.JToggleButton>	buttonsList
protected boolean	continueC
private State	currentS
private java.lang.String	currentSelection
private javax.swing.JMenuItem	exitMenuItem
private javax.swing.JMenuItem	exportMenuItem
(package private) java.util.Map<java.lang.String,FactType>	FactsMap
static java.lang.String	FALSE
private javax.swing.JFileChooser	fileChooser
private javax.swing.JMenu	fileMenu
private java.io.File	fIn
private boolean	first
private javax.swing.JMenu	helpMenu
private javax.swing.JTextArea	jArea_log
private javax.swing.JButton	jButton_answerDefault
private javax.swing.JButton	jButton_answerPerform
private javax.swing.JButton	jButton_answerUndo
private javax.swing.JButton	jButton_Continue
private javax.swing.JButton	jButton_Discard
private javax.swing.JButton	jButton_Export
private javax.swing.JButton	jButton_FInspector
private javax.swing.JButton	jButton_legendC
private javax.swing.JButton	jButton_QTree
private javax.swing.JButton	jButton_SaveLog
private javax.swing.JButton	jButton_Stop
private javax.swing.JPanel	jContentPane
private javax.swing.JPanel	jContentPane_askToContinue
private javax.swing.JPanel	jContentPane_askToSave
private javax.swing.JPanel	jContentPane_FI
private javax.swing.JPanel	jContentPane_log
protected javax.swing.JDialog	jDialog_About
private javax.swing.JDialog	jDialog_AskToContinue
private javax.swing.JDialog	jDialog_AskToSave
private javax.swing.JFrame	jDialog_FI
private javax.swing.JDialog	jDialog_LegendC
private javax.swing.JFrame	jDialog_log
private javax.swing.JMenuBar	jJMenuBar
private javax.swing.JLabel	jLabel_A
private javax.swing.JLabel	jLabel_AQID
private javax.swing.JLabel	jLabel_ask
private javax.swing.JLabel	jLabel_FDef
private javax.swing.JLabel	jLabel_FDescription
private javax.swing.JLabel	jLabel_FID
private javax.swing.JLabel	jLabel_FImpact
private javax.swing.JLabel	jLabel_FinQ
private javax.swing.JLabel	jLabel_FMan
private javax.swing.JLabel	jLabel_info
private javax.swing.JLabel	jLabel_info2
private javax.swing.JLabel	jLabel_info3
private javax.swing.JLabel	jLabel_save
private javax.swing.JList	jList_answeredQ
private javax.swing.JList	jList_enabledQ
private javax.swing.JPanel	jPanel_A
private javax.swing.JPanel	jPanel_A2
private javax.swing.JPanel	jPanel_AF
private javax.swing.JPanel	jPanel_AQD
private javax.swing.JPanel	jPanel_ask
private javax.swing.JPanel	jPanel_ask0
private javax.swing.JPanel	jPanel_ask1
private javax.swing.JPanel	jPanel_ask2
private javax.swing.JPanel	jPanel_askTxt
private javax.swing.JPanel	jPanel_F
private javax.swing.JPanel	jPanel_info
private javax.swing.JPanel	jPanel_logButton
private javax.swing.JPanel	jPanel_Q
private javax.swing.JPanel	jPanel_Q2
private javax.swing.JPanel	jPanel_save
private javax.swing.JPanel	jPanel_save0
private javax.swing.JPanel	jPanel_save1
private javax.swing.JPanel	jPanel_save2
private javax.swing.JPanel	jPanel_saveTxt
private javax.swing.JScrollPane	jScrollPane_A
private javax.swing.JScrollPane	jScrollPane_About
private javax.swing.JScrollPane	jScrollPane_AG
private javax.swing.JScrollPane	jScrollPane_answeredQ
private javax.swing.JScrollPane	jScrollPane_enabledQ
private javax.swing.JScrollPane	jScrollPane_FC
private javax.swing.JScrollPane	jScrollPane_FDep
private javax.swing.JScrollPane	jScrollPane_FG
private javax.swing.JScrollPane	jScrollPane_LegendC
private javax.swing.JScrollPane	jScrollPane_log
private javax.swing.JScrollPane	jScrollPane_QDep
private javax.swing.JTextArea	jTextArea_About
private javax.swing.JTextArea	jTextArea_AG
private javax.swing.JTextArea	jTextArea_ask
private javax.swing.JTextArea	jTextArea_FC
private javax.swing.JTextArea	jTextArea_FDep
private javax.swing.JTextArea	jTextArea_FG
private javax.swing.JTextArea	jTextArea_LegendC
private javax.swing.JTextArea	jTextArea_QDep
private javax.swing.JTextArea	jTextArea_save
private javax.swing.JTextField	jTextField_FDef
private javax.swing.JTextField	jTextField_FDescription
private javax.swing.JTextField	jTextField_FI
private javax.swing.JTextField	jTextField_FID
private javax.swing.JTextField	jTextField_FinQ
private javax.swing.JTextField	jTextField_FMan
private javax.swing.JMenuItem	logMenuItem
private java.util.HashSet<java.lang.String>	mandatoryF
private javax.swing.JMenuItem	openCMMenuItem
private javax.swing.JMenu	optionsMenu
private QMLType	qml
(package private) java.util.Map<java.lang.String,QuestionType>	QuestionsMap
private javax.swing.JMenuItem	saveCMenuItem
protected QuestionType	selectedQ
protected boolean	showDef
private javax.swing.JCheckBoxMenuItem	showDef_MenuItem
private javax.swing.JMenuItem	showFI_MenuItem
protected boolean	showMan
private javax.swing.JCheckBoxMenuItem	showMan_MenuItem
private boolean	showSkippableQuestions
private javax.swing.JCheckBoxMenuItem	showSQ_MenuItem
private java.util.HashSet<java.lang.String>	skippedQuestions
private java.util.List<State>	states
private QuestionTypeListModel	tempAQ
private State	tempS
static java.lang.String	TRUE
static java.lang.String	UNSET
private QuestionTypeListModel	validQ
private boolean	XORQuestion
private java.util.HashSet<java.lang.String>	XORquestions

Fields inherited from class javax.swing.JFrame

accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled

Fields inherited from class java.awt.Frame

CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Main()
This is the default constructor

Method Summary

void	actionPerformed(java.awt.event.ActionEvent e)
private boolean	checkApplicabilityDef()
private void	checkMandatoryF()
private void	cleanFInspector()
private void	cleanQInspector()
private void	createSets()
protected void	exportConfiguration() This method exports the result of a configuration, once completed.
private javax.swing.JMenuItem	getAboutMenuItem() This method initializes jMenuItem
private javax.swing.JMenuItem	getExitMenuItem() This method initializes jMenuItem
private javax.swing.JMenuItem	getExportMenuItem() This method initializes jMenuItem
private javax.swing.JMenu	getFileMenu() This method initializes jMenu
private javax.swing.JMenu	getHelpMenu() This method initializes jMenu
private javax.swing.JButton	getJButton_answerDefault() This method initializes jButton_answerDefault
private javax.swing.JButton	getJButton_answerPerform() This method initializes jButton_answerPerform
private javax.swing.JButton	getJButton_answerUndo() This method initializes jButton_answerUndo
private javax.swing.JButton	getJButton_Continue() This method initializes jButton_Continue
private javax.swing.JButton	getJButton_Discard() This method initializes jButton_Discard
private javax.swing.JButton	getJButton_Export() This method initializes jButton_Save
private javax.swing.JButton	getJButton_FInspector() This method initializes jButton_treeCurrent
private javax.swing.JButton	getJButton_legendC() This method initializes jButton_legendC
private javax.swing.JButton	getJButton_QTree() This method initializes jButton_treeList
private javax.swing.JButton	getJButton_SaveLog() This method initializes jButton_SaveLog
private javax.swing.JButton	getJButton_Stop() This method initializes jButton_Stop
private javax.swing.JPanel	getJContentPane_askToContinue() This method initializes jContentPane_askToContinue
private javax.swing.JPanel	getJContentPane_askToSave() This method initializes jContentPane_askToSave
private javax.swing.JPanel	getJContentPane_FI() This method initializes jContentPane_FI
private javax.swing.JPanel	getJContentPane_log() This method initializes jContentPane_log
private javax.swing.JPanel	getJContentPane() This method initializes jContentPane
private javax.swing.JDialog	getJDialog_About()
private javax.swing.JDialog	getJDialog_AskToContinue() This method initializes jDialog_AskToContinue
private javax.swing.JDialog	getJDialog_AskToSave() This method initializes jDialog_AskToSave
private javax.swing.JFrame	getJDialog_FI() This method initializes jDialog_FI: the Fact Inspector showing fact properties
private javax.swing.JDialog	getJDialog_LegendC()
private javax.swing.JFrame	getJDialog_log() This method initializes jDialog_log
private javax.swing.JMenuBar	getJJMenuBar() This method initializes jJMenuBar
private javax.swing.JList	getJList_answeredQ() This method initializes jList_answeredQ
private javax.swing.JList	getJList_enabledQ() This method initializes jList_questions
private javax.swing.JPanel	getJPanel_A() This method initializes jPanel_questions
private javax.swing.JPanel	getJPanel_AF() This method initializes jPanel_AF
private javax.swing.JPanel	getJPanel_answer2() This method initializes jPanel_AnswerButtons
private javax.swing.JPanel	getJPanel_AQD() This method initializes jPanel_AQD
private javax.swing.JPanel	getJPanel_ask() This method initializes jPanel_ask
private javax.swing.JPanel	getJPanel_ask0() This method initializes jPanel
private javax.swing.JPanel	getJPanel_ask1() This method initializes jPanel_ask1
private javax.swing.JPanel	getJPanel_ask2() This method initializes jPanel_ask2
private javax.swing.JPanel	getJPanel_askTxt() This method initializes jPanel_askTxt
private javax.swing.JPanel	getJPanel_F() This method initializes jPanel2
private javax.swing.JPanel	getJPanel_info() This method initializes jPanel_info2
private javax.swing.JPanel	getJPanel_logButton() This method initializes jPanel_logButton
private javax.swing.JPanel	getJPanel_Q() This method initializes jPanel_questions0
private javax.swing.JPanel	getJPanel_questions2() This method initializes jPanel_tree2
private javax.swing.JPanel	getJPanel_save() This method initializes jPanel_save
private javax.swing.JPanel	getJPanel_save0() This method initializes jPanel
private javax.swing.JPanel	getJPanel_save1() This method initializes jPanel_ask1
private javax.swing.JPanel	getJPanel_save2() This method initializes jPanel_save2
private javax.swing.JPanel	getJPanel_saveTxt() This method initializes jPanel_askTxt
private javax.swing.JScrollPane	getJScrollPane_A() This method initializes jScrollPane_A
private javax.swing.JScrollPane	getJScrollPane_About() This method initializes jScrollPane_About
private javax.swing.JScrollPane	getJScrollPane_AG() This method initializes jScrollPane_AG
private javax.swing.JScrollPane	getJScrollPane_answeredQ() This method initializes jScrollPane_answeredQ
private javax.swing.JScrollPane	getJScrollPane_FC() This method initializes jScrollPane_FC
private javax.swing.JScrollPane	getJScrollPane_FDep() This method initializes jScrollPane1
private javax.swing.JScrollPane	getJScrollPane_FG() This method initializes jScrollPane
private javax.swing.JScrollPane	getJScrollPane_LegendC() This method initializes jScrollPane_LegendC
private javax.swing.JScrollPane	getJScrollPane_log() This method initializes jScrollPane_log
private javax.swing.JScrollPane	getJScrollPane_QDep() This method initializes jScrollPane_QDep
private javax.swing.JScrollPane	getJScrollPane_questions() This method initializes jScrollPane_tree
private javax.swing.JTextArea	getJText_log() This method initializes jList_log
private javax.swing.JTextArea	getJTextArea_About() This method initializes jTextArea_About
private javax.swing.JTextArea	getJTextArea_AG() This method initializes jTextArea_AG
private javax.swing.JTextArea	getJTextArea_ask() This method initializes jTextArea_ask
private javax.swing.JTextArea	getJTextArea_FC() This method initializes jTextArea_FC
private javax.swing.JTextArea	getJTextArea_FDep() This method initializes jTextArea1
private javax.swing.JTextArea	getJTextArea_FG() This method initializes jTextArea
private javax.swing.JTextArea	getJTextArea_LegendC() This method initializes jTextArea_LegendC
private javax.swing.JTextArea	getJTextArea_QDep() This method initializes jTextArea_QDep
private javax.swing.JTextArea	getJTextArea_save() This method initializes jTextArea_save
private javax.swing.JTextField	getJTextField_FDef() This method initializes jTextField_FDef
private javax.swing.JTextField	getJTextField_FDescription() This method initializes jTextField_FDescription
private javax.swing.JTextField	getJTextField_FI() This method initializes jTextField_FI
private javax.swing.JTextField	getJTextField_FID() This method initializes jTextField_FID
private javax.swing.JTextField	getJTextField_FinQ() This method initializes jTextField_FinQ
private javax.swing.JTextField	getJTextField_FMan() This method initializes jTextField_FMan
private javax.swing.JMenuItem	getLogMenuItem() This method initializes jMenuItem
private javax.swing.JMenuItem	getOpenCMMenuItem() This method initializes jMenuItem
private javax.swing.JMenu	getOptionsMenu() This method initializes jMenu
private javax.swing.JMenuItem	getSaveCMenuItem() This method initializes jMenuItem
private javax.swing.JCheckBoxMenuItem	getShowDef_MenuItem() This method initializes showDef_MenuItem
private javax.swing.JMenuItem	getShowFI_MenuItem() This method initializes showFI_MenuItem
private javax.swing.JCheckBoxMenuItem	getShowMan_MenuItem() This method initializes showMan_MenuItem
private javax.swing.JCheckBoxMenuItem	getShowSQ_MenuItem() This method initializes showSQ_MenuItem
protected boolean	giveDefAnswer(QuestionType currentQ, boolean skipCheckConf)
private void	initBDDC()
private void	initialize() This method initializes this
void	itemStateChanged(java.awt.event.ItemEvent e)
static void	main(java.lang.String[] args)
void	mouseClicked(java.awt.event.MouseEvent e)
void	mouseEntered(java.awt.event.MouseEvent e)
void	mouseExited(java.awt.event.MouseEvent e)
void	mousePressed(java.awt.event.MouseEvent e)
void	mouseReleased(java.awt.event.MouseEvent e)
private void	readModel()
private FactType	retrieveFact(java.lang.String fID)
private void	retrieveMandatoryF()
private void	retrieveQuestions(java.lang.String fID, java.lang.StringBuffer buffer)
private void	retrieveXORQ()
private java.lang.String	returnFact(javax.swing.JToggleButton b)
private boolean	skippable(QuestionType currentQ)
protected void	updateSkippableQuestions(boolean showSkippableQuestions)
private void	updateValidQ()
void	valueChanged(javax.swing.event.ListSelectionEvent e)

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update

Methods inherited from class java.awt.Frame

addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setVisible, show, toBack, toFront

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusBackward, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

TRUE

public static final java.lang.String TRUE

See Also:

Constant Field Values

FALSE

public static final java.lang.String FALSE

See Also:

Constant Field Values

UNSET

public static final java.lang.String UNSET

See Also:

Constant Field Values

fIn

private java.io.File fIn

jContentPane

private javax.swing.JPanel jContentPane

jJMenuBar

private javax.swing.JMenuBar jJMenuBar

fileMenu

private javax.swing.JMenu fileMenu

optionsMenu

private javax.swing.JMenu optionsMenu

helpMenu

private javax.swing.JMenu helpMenu

exitMenuItem

private javax.swing.JMenuItem exitMenuItem

aboutMenuItem

private javax.swing.JMenuItem aboutMenuItem

logMenuItem

private javax.swing.JMenuItem logMenuItem

saveCMenuItem

private javax.swing.JMenuItem saveCMenuItem

openCMMenuItem

private javax.swing.JMenuItem openCMMenuItem

jPanel_A

private javax.swing.JPanel jPanel_A

jPanel_info

private javax.swing.JPanel jPanel_info

fileChooser

private javax.swing.JFileChooser fileChooser

qml

private QMLType qml

jDialog_log

private javax.swing.JFrame jDialog_log

jContentPane_log

private javax.swing.JPanel jContentPane_log

jPanel_logButton

private javax.swing.JPanel jPanel_logButton

jButton_SaveLog

private javax.swing.JButton jButton_SaveLog

jArea_log

private javax.swing.JTextArea jArea_log

jLabel_info

private javax.swing.JLabel jLabel_info

jLabel_info2

private javax.swing.JLabel jLabel_info2

jLabel_info3

private javax.swing.JLabel jLabel_info3

jPanel_Q2

private javax.swing.JPanel jPanel_Q2

jButton_FInspector

private javax.swing.JButton jButton_FInspector

jButton_QTree

private javax.swing.JButton jButton_QTree

jPanel_A2

private javax.swing.JPanel jPanel_A2

jButton_answerPerform

private javax.swing.JButton jButton_answerPerform

jButton_answerUndo

private javax.swing.JButton jButton_answerUndo

jScrollPane_enabledQ

private javax.swing.JScrollPane jScrollPane_enabledQ

jList_enabledQ

private javax.swing.JList jList_enabledQ

jPanel_Q

private javax.swing.JPanel jPanel_Q

jScrollPane_answeredQ

private javax.swing.JScrollPane jScrollPane_answeredQ

jList_answeredQ

private javax.swing.JList jList_answeredQ

validQ

private QuestionTypeListModel validQ

answeredQ

private QuestionTypeListModel answeredQ

jLabel_A

private javax.swing.JLabel jLabel_A

jScrollPane_A

private javax.swing.JScrollPane jScrollPane_A

jPanel_AF

private javax.swing.JPanel jPanel_AF

jScrollPane_AG

private javax.swing.JScrollPane jScrollPane_AG

jTextArea_AG

private javax.swing.JTextArea jTextArea_AG

showDef_MenuItem

private javax.swing.JCheckBoxMenuItem showDef_MenuItem

showMan_MenuItem

private javax.swing.JCheckBoxMenuItem showMan_MenuItem

showSQ_MenuItem

private javax.swing.JCheckBoxMenuItem showSQ_MenuItem

selectedQ

protected QuestionType selectedQ

showFI_MenuItem

private javax.swing.JMenuItem showFI_MenuItem

jDialog_FI

private javax.swing.JFrame jDialog_FI

jContentPane_FI

private javax.swing.JPanel jContentPane_FI

jLabel_AQID

private javax.swing.JLabel jLabel_AQID

jPanel_AQD

private javax.swing.JPanel jPanel_AQD

jLabel_FImpact

private javax.swing.JLabel jLabel_FImpact

jScrollPane_FG

private javax.swing.JScrollPane jScrollPane_FG

jTextArea_FG

private javax.swing.JTextArea jTextArea_FG

jScrollPane_FDep

private javax.swing.JScrollPane jScrollPane_FDep

jTextArea_FDep

private javax.swing.JTextArea jTextArea_FDep

jLabel_FDef

private javax.swing.JLabel jLabel_FDef

jLabel_FMan

private javax.swing.JLabel jLabel_FMan

jPanel_F

private javax.swing.JPanel jPanel_F

jLabel_FDescription

private javax.swing.JLabel jLabel_FDescription

jLabel_FID

private javax.swing.JLabel jLabel_FID

states

private java.util.List<State> states

currentS

private State currentS

jTextField_FDescription

private javax.swing.JTextField jTextField_FDescription

jTextField_FID

private javax.swing.JTextField jTextField_FID

jTextField_FI

private javax.swing.JTextField jTextField_FI

jTextField_FMan

private javax.swing.JTextField jTextField_FMan

jTextField_FDef

private javax.swing.JTextField jTextField_FDef

buttonsList

private java.util.Map<java.lang.String,javax.swing.JToggleButton> buttonsList

jScrollPane_FC

private javax.swing.JScrollPane jScrollPane_FC

jTextArea_FC

private javax.swing.JTextArea jTextArea_FC

jLabel_FinQ

private javax.swing.JLabel jLabel_FinQ

jTextField_FinQ

private javax.swing.JTextField jTextField_FinQ

bddc

private ExecBDDC bddc

first

private boolean first

tempS

private State tempS

showDef

protected boolean showDef

showMan

protected boolean showMan

jButton_answerDefault

private javax.swing.JButton jButton_answerDefault

jDialog_About

protected javax.swing.JDialog jDialog_About

jScrollPane_About

private javax.swing.JScrollPane jScrollPane_About

jTextArea_About

private javax.swing.JTextArea jTextArea_About

mandatoryF

private java.util.HashSet<java.lang.String> mandatoryF

jDialog_AskToContinue

private javax.swing.JDialog jDialog_AskToContinue

jContentPane_askToContinue

private javax.swing.JPanel jContentPane_askToContinue

jPanel_ask

private javax.swing.JPanel jPanel_ask

jPanel_askTxt

private javax.swing.JPanel jPanel_askTxt

jPanel_ask0

private javax.swing.JPanel jPanel_ask0

jPanel_ask1

private javax.swing.JPanel jPanel_ask1

jPanel_ask2

private javax.swing.JPanel jPanel_ask2

jButton_Continue

private javax.swing.JButton jButton_Continue

jButton_Stop

private javax.swing.JButton jButton_Stop

jLabel_ask

private javax.swing.JLabel jLabel_ask

continueC

protected boolean continueC

jScrollPane_log

private javax.swing.JScrollPane jScrollPane_log

tempAQ

private QuestionTypeListModel tempAQ

jTextArea_ask

private javax.swing.JTextArea jTextArea_ask

jButton_legendC

private javax.swing.JButton jButton_legendC

jDialog_LegendC

private javax.swing.JDialog jDialog_LegendC

jTextArea_LegendC

private javax.swing.JTextArea jTextArea_LegendC

jScrollPane_LegendC

private javax.swing.JScrollPane jScrollPane_LegendC

jDialog_AskToSave

private javax.swing.JDialog jDialog_AskToSave

jContentPane_askToSave

private javax.swing.JPanel jContentPane_askToSave

jLabel_save

private javax.swing.JLabel jLabel_save

jPanel_save

private javax.swing.JPanel jPanel_save

jPanel_save0

private javax.swing.JPanel jPanel_save0

jPanel_save1

private javax.swing.JPanel jPanel_save1

jPanel_save2

private javax.swing.JPanel jPanel_save2

jPanel_saveTxt

private javax.swing.JPanel jPanel_saveTxt

jButton_Export

private javax.swing.JButton jButton_Export

jButton_Discard

private javax.swing.JButton jButton_Discard

jTextArea_save

private javax.swing.JTextArea jTextArea_save

exportMenuItem

private javax.swing.JMenuItem exportMenuItem

XORQuestion

private boolean XORQuestion

showSkippableQuestions

private boolean showSkippableQuestions

currentSelection

private java.lang.String currentSelection

XORquestions

private java.util.HashSet<java.lang.String> XORquestions

skippedQuestions

private java.util.HashSet<java.lang.String> skippedQuestions

jScrollPane_QDep

private javax.swing.JScrollPane jScrollPane_QDep

jTextArea_QDep

private javax.swing.JTextArea jTextArea_QDep

FactsMap

java.util.Map<java.lang.String,FactType> FactsMap

QuestionsMap

java.util.Map<java.lang.String,QuestionType> QuestionsMap

Constructor Detail

Main

public Main()

This is the default constructor

Method Detail

getJScrollPane_A

private javax.swing.JScrollPane getJScrollPane_A()

This method initializes jScrollPane_A

Returns:

javax.swing.JScrollPane

getJPanel_AF

private javax.swing.JPanel getJPanel_AF()

This method initializes jPanel_AF

Returns:

javax.swing.JPanel

getJScrollPane_AG

private javax.swing.JScrollPane getJScrollPane_AG()

This method initializes jScrollPane_AG

Returns:

javax.swing.JScrollPane

getJTextArea_AG

private javax.swing.JTextArea getJTextArea_AG()

This method initializes jTextArea_AG

Returns:

javax.swing.JTextArea

getShowDef_MenuItem

private javax.swing.JCheckBoxMenuItem getShowDef_MenuItem()

This method initializes showDef_MenuItem

Returns:

javax.swing.JCheckBoxMenuItem

getShowMan_MenuItem

private javax.swing.JCheckBoxMenuItem getShowMan_MenuItem()

This method initializes showMan_MenuItem

Returns:

javax.swing.JCheckBoxMenuItem

getShowSQ_MenuItem

private javax.swing.JCheckBoxMenuItem getShowSQ_MenuItem()

This method initializes showSQ_MenuItem

Returns:

javax.swing.JCheckBoxMenuItem

updateSkippableQuestions

protected void updateSkippableQuestions(boolean showSkippableQuestions)

getShowFI_MenuItem

private javax.swing.JMenuItem getShowFI_MenuItem()

This method initializes showFI_MenuItem

Returns:

javax.swing.JMenuItem

getJDialog_FI

private javax.swing.JFrame getJDialog_FI()

This method initializes jDialog_FI: the Fact Inspector showing fact properties

Returns:

javax.swing.JDialog

getJContentPane_FI

private javax.swing.JPanel getJContentPane_FI()

This method initializes jContentPane_FI

Returns:

javax.swing.JPanel

getJPanel_AQD

private javax.swing.JPanel getJPanel_AQD()

This method initializes jPanel_AQD

Returns:

javax.swing.JPanel

getJScrollPane_FG

private javax.swing.JScrollPane getJScrollPane_FG()

This method initializes jScrollPane

Returns:

javax.swing.JScrollPane

getJTextArea_FG

private javax.swing.JTextArea getJTextArea_FG()

This method initializes jTextArea

Returns:

javax.swing.JTextArea

getJScrollPane_FDep

private javax.swing.JScrollPane getJScrollPane_FDep()

This method initializes jScrollPane1

Returns:

javax.swing.JScrollPane

getJTextArea_FDep

private javax.swing.JTextArea getJTextArea_FDep()

This method initializes jTextArea1

Returns:

javax.swing.JTextArea

getJPanel_F

private javax.swing.JPanel getJPanel_F()

This method initializes jPanel2

Returns:

javax.swing.JPanel

getJTextField_FDescription

private javax.swing.JTextField getJTextField_FDescription()

This method initializes jTextField_FDescription

Returns:

javax.swing.JTextField

getJTextField_FID

private javax.swing.JTextField getJTextField_FID()

This method initializes jTextField_FID

Returns:

javax.swing.JTextField

getJTextField_FI

private javax.swing.JTextField getJTextField_FI()

This method initializes jTextField_FI

Returns:

javax.swing.JTextField

getJTextField_FMan

private javax.swing.JTextField getJTextField_FMan()

This method initializes jTextField_FMan

Returns:

javax.swing.JTextField

getJTextField_FDef

private javax.swing.JTextField getJTextField_FDef()

This method initializes jTextField_FDef

Returns:

javax.swing.JTextField

getJScrollPane_FC

private javax.swing.JScrollPane getJScrollPane_FC()

This method initializes jScrollPane_FC

Returns:

javax.swing.JScrollPane

getJTextArea_FC

private javax.swing.JTextArea getJTextArea_FC()

This method initializes jTextArea_FC

Returns:

javax.swing.JTextArea

getJTextField_FinQ

private javax.swing.JTextField getJTextField_FinQ()

This method initializes jTextField_FinQ

Returns:

javax.swing.JTextField

getJButton_answerDefault

private javax.swing.JButton getJButton_answerDefault()

This method initializes jButton_answerDefault

Returns:

javax.swing.JButton

getJScrollPane_About

private javax.swing.JScrollPane getJScrollPane_About()

This method initializes jScrollPane_About

Returns:

javax.swing.JScrollPane

getJScrollPane_LegendC

private javax.swing.JScrollPane getJScrollPane_LegendC()

This method initializes jScrollPane_LegendC

Returns:

javax.swing.JScrollPane

getJTextArea_About

private javax.swing.JTextArea getJTextArea_About()

This method initializes jTextArea_About

Returns:

javax.swing.JTextArea

getJTextArea_LegendC

private javax.swing.JTextArea getJTextArea_LegendC()

This method initializes jTextArea_LegendC

Returns:

javax.swing.JTextArea

getJDialog_AskToContinue

private javax.swing.JDialog getJDialog_AskToContinue()

This method initializes jDialog_AskToContinue

Returns:

javax.swing.JDialog

getJDialog_AskToSave

private javax.swing.JDialog getJDialog_AskToSave()

This method initializes jDialog_AskToSave

Returns:

javax.swing.JDialog

getJContentPane_askToContinue

private javax.swing.JPanel getJContentPane_askToContinue()

This method initializes jContentPane_askToContinue

Returns:

javax.swing.JPanel

getJContentPane_askToSave

private javax.swing.JPanel getJContentPane_askToSave()

This method initializes jContentPane_askToSave

Returns:

javax.swing.JPanel

getJPanel_ask

private javax.swing.JPanel getJPanel_ask()

This method initializes jPanel_ask

Returns:

javax.swing.JPanel

getJPanel_askTxt

private javax.swing.JPanel getJPanel_askTxt()

This method initializes jPanel_askTxt

Returns:

javax.swing.JPanel

getJPanel_ask0

private javax.swing.JPanel getJPanel_ask0()

This method initializes jPanel

Returns:

javax.swing.JPanel

getJPanel_ask1

private javax.swing.JPanel getJPanel_ask1()

This method initializes jPanel_ask1

Returns:

javax.swing.JPanel

getJPanel_ask2

private javax.swing.JPanel getJPanel_ask2()

This method initializes jPanel_ask2

Returns:

javax.swing.JPanel

getJPanel_save

private javax.swing.JPanel getJPanel_save()

This method initializes jPanel_save

Returns:

javax.swing.JPanel

getJPanel_saveTxt

private javax.swing.JPanel getJPanel_saveTxt()

This method initializes jPanel_askTxt

Returns:

javax.swing.JPanel

getJPanel_save0

private javax.swing.JPanel getJPanel_save0()

This method initializes jPanel

Returns:

javax.swing.JPanel

getJPanel_save1

private javax.swing.JPanel getJPanel_save1()

This method initializes jPanel_ask1

Returns:

javax.swing.JPanel

getJPanel_save2

private javax.swing.JPanel getJPanel_save2()

This method initializes jPanel_save2

Returns:

javax.swing.JPanel

getJButton_Continue

private javax.swing.JButton getJButton_Continue()

This method initializes jButton_Continue

Returns:

javax.swing.JButton

getJButton_Stop

private javax.swing.JButton getJButton_Stop()

This method initializes jButton_Stop

Returns:

javax.swing.JButton

getJButton_Export

private javax.swing.JButton getJButton_Export()

This method initializes jButton_Save

Returns:

javax.swing.JButton

exportConfiguration

protected void exportConfiguration()

This method exports the result of a configuration, once completed.

getJButton_Discard

private javax.swing.JButton getJButton_Discard()

This method initializes jButton_Discard

Returns:

javax.swing.JButton

getJTextArea_save

private javax.swing.JTextArea getJTextArea_save()

This method initializes jTextArea_save

Returns:

javax.swing.JTextArea

giveDefAnswer

protected boolean giveDefAnswer(QuestionType currentQ,
                                boolean skipCheckConf)

getJScrollPane_log

private javax.swing.JScrollPane getJScrollPane_log()

This method initializes jScrollPane_log

Returns:

javax.swing.JScrollPane

getJTextArea_ask

private javax.swing.JTextArea getJTextArea_ask()

This method initializes jTextArea_ask

Returns:

javax.swing.JTextArea

getJButton_legendC

private javax.swing.JButton getJButton_legendC()

This method initializes jButton_legendC

Returns:

javax.swing.JButton

getJScrollPane_QDep

private javax.swing.JScrollPane getJScrollPane_QDep()

This method initializes jScrollPane_QDep

Returns:

javax.swing.JScrollPane

getJTextArea_QDep

private javax.swing.JTextArea getJTextArea_QDep()

This method initializes jTextArea_QDep

Returns:

javax.swing.JTextArea

main

public static void main(java.lang.String[] args)

Parameters:

args -

Throws:

java.lang.Exception

initialize

private void initialize()

This method initializes this

getJPanel_Q

private javax.swing.JPanel getJPanel_Q()

This method initializes jPanel_questions0

Returns:

javax.swing.JPanel

getJScrollPane_answeredQ

private javax.swing.JScrollPane getJScrollPane_answeredQ()

This method initializes jScrollPane_answeredQ

Returns:

javax.swing.JScrollPane

getJList_answeredQ

private javax.swing.JList getJList_answeredQ()

This method initializes jList_answeredQ

Returns:

javax.swing.JList

getJPanel_A

private javax.swing.JPanel getJPanel_A()

This method initializes jPanel_questions

Returns:

javax.swing.JPanel

updateValidQ

private void updateValidQ()

skippable

private boolean skippable(QuestionType currentQ)

getJPanel_info

private javax.swing.JPanel getJPanel_info()

This method initializes jPanel_info2

Returns:

javax.swing.JPanel

getJDialog_log

private javax.swing.JFrame getJDialog_log()

This method initializes jDialog_log

Returns:

javax.swing.JDialog

getJContentPane_log

private javax.swing.JPanel getJContentPane_log()

This method initializes jContentPane_log

Returns:

javax.swing.JPanel

getJPanel_logButton

private javax.swing.JPanel getJPanel_logButton()

This method initializes jPanel_logButton

Returns:

javax.swing.JPanel

getJButton_SaveLog

private javax.swing.JButton getJButton_SaveLog()

This method initializes jButton_SaveLog

Returns:

javax.swing.JButton

getJText_log

private javax.swing.JTextArea getJText_log()

This method initializes jList_log

Returns:

javax.swing.JList

getJPanel_questions2

private javax.swing.JPanel getJPanel_questions2()

This method initializes jPanel_tree2

Returns:

javax.swing.JPanel

getJButton_FInspector

private javax.swing.JButton getJButton_FInspector()

This method initializes jButton_treeCurrent

Returns:

javax.swing.JButton

getJButton_QTree

private javax.swing.JButton getJButton_QTree()

This method initializes jButton_treeList

Returns:

javax.swing.JButton

getJPanel_answer2

private javax.swing.JPanel getJPanel_answer2()

This method initializes jPanel_AnswerButtons

Returns:

javax.swing.JPanel

getJButton_answerPerform

private javax.swing.JButton getJButton_answerPerform()

This method initializes jButton_answerPerform

Returns:

javax.swing.JButton

getJButton_answerUndo

private javax.swing.JButton getJButton_answerUndo()

This method initializes jButton_answerUndo

Returns:

javax.swing.JButton

getJScrollPane_questions

private javax.swing.JScrollPane getJScrollPane_questions()

This method initializes jScrollPane_tree

Returns:

javax.swing.JScrollPane

getJList_enabledQ

private javax.swing.JList getJList_enabledQ()

This method initializes jList_questions

Returns:

javax.swing.JList

getJContentPane

private javax.swing.JPanel getJContentPane()

This method initializes jContentPane

Returns:

javax.swing.JPanel

getJJMenuBar

private javax.swing.JMenuBar getJJMenuBar()

This method initializes jJMenuBar

Returns:

javax.swing.JMenuBar

getFileMenu

private javax.swing.JMenu getFileMenu()

This method initializes jMenu

Returns:

javax.swing.JMenu

getOptionsMenu

private javax.swing.JMenu getOptionsMenu()

This method initializes jMenu

Returns:

javax.swing.JMenu

getHelpMenu

private javax.swing.JMenu getHelpMenu()

This method initializes jMenu

Returns:

javax.swing.JMenu

getExitMenuItem

private javax.swing.JMenuItem getExitMenuItem()

This method initializes jMenuItem

Returns:

javax.swing.JMenuItem

getAboutMenuItem

private javax.swing.JMenuItem getAboutMenuItem()

This method initializes jMenuItem

Returns:

javax.swing.JMenuItem

getJDialog_About

private javax.swing.JDialog getJDialog_About()

getJDialog_LegendC

private javax.swing.JDialog getJDialog_LegendC()

getLogMenuItem

private javax.swing.JMenuItem getLogMenuItem()

This method initializes jMenuItem

Returns:

javax.swing.JMenuItem

getSaveCMenuItem

private javax.swing.JMenuItem getSaveCMenuItem()

This method initializes jMenuItem

Returns:

javax.swing.JMenuItem

getExportMenuItem

private javax.swing.JMenuItem getExportMenuItem()

This method initializes jMenuItem

Returns:

javax.swing.JMenuItem

getOpenCMMenuItem

private javax.swing.JMenuItem getOpenCMMenuItem()

This method initializes jMenuItem

Returns:

javax.swing.JMenuItem

readModel

private void readModel()

createSets

private void createSets()

initBDDC

private void initBDDC()

retrieveMandatoryF

private void retrieveMandatoryF()

retrieveXORQ

private void retrieveXORQ()

valueChanged

public void valueChanged(javax.swing.event.ListSelectionEvent e)

Specified by:

valueChanged in interface javax.swing.event.ListSelectionListener

itemStateChanged

public void itemStateChanged(java.awt.event.ItemEvent e)

Specified by:

itemStateChanged in interface java.awt.event.ItemListener

mouseEntered

public void mouseEntered(java.awt.event.MouseEvent e)

Specified by:

mouseEntered in interface java.awt.event.MouseListener

returnFact

private java.lang.String returnFact(javax.swing.JToggleButton b)

retrieveQuestions

private void retrieveQuestions(java.lang.String fID,
                               java.lang.StringBuffer buffer)

retrieveFact

private FactType retrieveFact(java.lang.String fID)

mouseExited

public void mouseExited(java.awt.event.MouseEvent e)

Specified by:

mouseExited in interface java.awt.event.MouseListener

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent e)

Specified by:

mouseClicked in interface java.awt.event.MouseListener

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)

Specified by:

mousePressed in interface java.awt.event.MouseListener

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent e)

Specified by:

mouseReleased in interface java.awt.event.MouseListener

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener

checkMandatoryF

private void checkMandatoryF()

checkApplicabilityDef

private boolean checkApplicabilityDef()

cleanFInspector

private void cleanFInspector()

cleanQInspector

private void cleanQInspector()