StandardInputDialog.java

current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • ValidatingJTextField access$000(StandardInputDialog)

    • Kind Annotation Text
    preinit'ed(x0.textField)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.textField

  • void access$100(StandardInputDialog)

    • Kind Annotation Text
    prex0 != null
    prex0.okButton != null
    prex0.textField != null
    prex0.validator != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on getOkButton
    unanalyzedcall on javax.swing.JButton:setEnabled

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    presumptioncom.dmdirc.addons.ui_swing.components. StandardInputDialog:getOkButton(...)@193 != null

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) this.controller.me != null
    prethis.controller != null
    prethis.controller.mainFrameCreated != null
    prethis.textField != null
    unanalyzedcall on com.dmdirc.FrameContainer:getServer
    unanalyzedcall on com.dmdirc.Server:join
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.ui.interfaces.Window:getContaine r
    unanalyzedcall on com.dmdirc.util.ReturnableThread
    unanalyzedcall on com.dmdirc.util.ReturnableThread:getObject
    unanalyzedcall on com.dmdirc.util.ReturnableThread:run
    unanalyzedcall on getActiveFrame
    unanalyzedcall on getText
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.concurrent.atomic. AtomicBoolean:get
    unanalyzedcall on javax.swing.SwingUtilities:invokeAndWait
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • void addListeners()

    • Kind Annotation Text
    prethis.cancelButton != null
    prethis.okButton != null
    prethis.textField != null
    presumptioncom.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane(...)@197 != null
    presumptioncom.dmdirc.addons.ui_swing.components.validating. ValidatingJTextField:getDocument(...)@167 != null
    unanalyzedcall on java.awt.event.WindowAdapter

  • void changedUpdate(DocumentEvent)

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.StandardInputDialog$1()

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.StandardInputDialog$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.StandardInputDialog$2(StandardInputDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.StandardInputDialog$2__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.StandardInputDialog$3(StandardInputDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.StandardInputDialog$3__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.StandardInputDialog$4(StandardInputDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.StandardInputDialog$4__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.StandardInputDialog$5(StandardInputDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.StandardInputDialog$5__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.StandardInputDialog$6(StandardInputDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.StandardInputDialog$6__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.StandardInputDialog$7(StandardInputDialog, Component)

    • Kind Annotation Text
    postinit'ed(this.val$parent)
    postthis.val$parent == Param_2

  • com.dmdirc.addons.ui_swing.components.StandardInputDialog$7__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.StandardInputDialog(Window, Dialog$ModalityType, String, String)

    • Kind Annotation Text
    postinit'ed(this.message)
    postnew JButton(initComponents#1) num objects == 1
    postnew JButton(initComponents#2) num objects == 1
    postnew StandardInputDialog$1(StandardInputDialog#1) num objects == 1
    postnew TextLabel(initComponents#4) num objects == 1
    postnew ValidatingJTextField(initComponents#3) num objects == 1
    postthis.blurb == &new TextLabel(initComponents#4)
    postthis.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
    postthis.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
    postthis.message == message
    postthis.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
    postthis.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
    postthis.textField == &new ValidatingJTextField(ini tComponents#3)
    postthis.validator == &new StandardInputDialog$1(St andardInputDialog#1)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setTitle
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on getCancelButton
    unanalyzedcall on getLeftButton
    unanalyzedcall on getOkButton
    unanalyzedcall on getRightButton
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Window:getIconImages
    unanalyzedcall on java.awt.event.WindowAdapter
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setDefaultCapable
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setMinimumSize
    unanalyzedcall on javax.swing.JButton:setPreferredSize
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JDialog
    unanalyzedcall on javax.swing.JRootPane:registerKeyboardActio n
    unanalyzedcall on javax.swing.KeyStroke:getKeyStroke
    unanalyzedcall on javax.swing.text.Document:addDocumentListen er
    unanalyzedcall on net.miginfocom.swing.MigLayout
    unanalyzedcall on orderButtons

  • void com.dmdirc.addons.ui_swing.components.StandardInputDialog(Window, Dialog$ModalityType, String, String, Validator)

    • Kind Annotation Text
    prevalidator != null
    postinit'ed(this.message)
    postnew JButton(initComponents#1) num objects == 1
    postnew JButton(initComponents#2) num objects == 1
    postnew TextLabel(initComponents#4) num objects == 1
    postnew ValidatingJTextField(initComponents#3) num objects == 1
    postthis.blurb == &new TextLabel(initComponents#4)
    postthis.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
    postthis.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
    postthis.message == message
    postthis.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
    postthis.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
    postthis.textField == &new ValidatingJTextField(ini tComponents#3)
    postthis.validator != null
    postthis.validator == validator
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on getCancelButton
    unanalyzedcall on getLeftButton
    unanalyzedcall on getOkButton
    unanalyzedcall on getRightButton
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Window:getIconImages
    unanalyzedcall on java.awt.event.WindowAdapter
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setDefaultCapable
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setMinimumSize
    unanalyzedcall on javax.swing.JButton:setPreferredSize
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JDialog
    unanalyzedcall on javax.swing.JRootPane:registerKeyboardActio n
    unanalyzedcall on javax.swing.KeyStroke:getKeyStroke
    unanalyzedcall on javax.swing.text.Document:addDocumentListen er
    unanalyzedcall on net.miginfocom.swing.MigLayout
    unanalyzedcall on orderButtons

  • com.dmdirc.addons.ui_swing.components.StandardInputDialog__static_init

    • Kind Annotation Text

  • void display()

    • Kind Annotation Text
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • void display(Component)

    • Kind Annotation Text
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • String getText()

    • Kind Annotation Text
    prethis.textField != null
    postinit'ed(return_value)

  • void initComponents()

    • Kind Annotation Text
    preinit'ed(this.message)
    prethis.validator != null
    postnew JButton(initComponents#1) num objects == 1
    postnew JButton(initComponents#2) num objects == 1
    postnew TextLabel(initComponents#4) num objects == 1
    postnew ValidatingJTextField(initComponents#3) num objects == 1
    postthis.blurb == &new TextLabel(initComponents#4)
    postthis.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
    postthis.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
    postthis.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
    postthis.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
    postthis.textField == &new ValidatingJTextField(ini tComponents#3)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on getOkButton
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on javax.swing.JButton:setDefaultCapable
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setMinimumSize
    unanalyzedcall on javax.swing.JButton:setPreferredSize
    unanalyzedcall on javax.swing.JButton:setText

  • void insertUpdate(DocumentEvent)

    • Kind Annotation Text
    prethis.okButton != null
    prethis.textField != null
    prethis.validator != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on getOkButton
    unanalyzedcall on javax.swing.JButton:setEnabled

  • void layoutComponents()

    • Kind Annotation Text
    pre(soft) init'ed(this.cancelButton)
    pre(soft) init'ed(this.okButton)
    preinit'ed(this.blurb)
    preinit'ed(this.textField)
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.System:getProperty

  • void removeUpdate(DocumentEvent)

    • Kind Annotation Text
    prethis.okButton != null
    prethis.textField != null
    prethis.validator != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on getOkButton
    unanalyzedcall on javax.swing.JButton:setEnabled

  • void run()

    • Kind Annotation Text

  • void setText(String)

    • Kind Annotation Text
    prethis.textField != null

  • ValidationResponse validate(Object)

    • Kind Annotation Text
    postnew ValidationResponse(validate#1*) num objects == 1
    postreturn_value == &new ValidationResponse(validat e#1*)
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse

  • ValidationResponse validate(String)

    • Kind Annotation Text
    postnew ValidationResponse(validate#1) num objects == 1
    postreturn_value == &new ValidationResponse(validat e#1)

  • void validateText()

    • Kind Annotation Text
    prethis.okButton != null
    prethis.textField != null
    prethis.validator != null
    presumptioncom.dmdirc.config.prefs.validator.Validator:validat e(...)@205 != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText

  • void windowClosed(WindowEvent)

    • Kind Annotation Text

  • void windowOpened(WindowEvent)

    • Kind Annotation Text
    prethis.textField != null