NoUIDialog.java

NoUIDialog.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text

void com.dmdirc.ui.NoUIDialog$1(NoUIDialog)

Kind	Annotation Text

com.dmdirc.ui.NoUIDialog$1__static_init

Kind	Annotation Text

void com.dmdirc.ui.NoUIDialog$2()

Kind	Annotation Text

com.dmdirc.ui.NoUIDialog$2__static_init

Kind	Annotation Text

void com.dmdirc.ui.NoUIDialog$3$1(NoUIDialog$3)

Kind	Annotation Text

com.dmdirc.ui.NoUIDialog$3$1__static_init

Kind	Annotation Text

void com.dmdirc.ui.NoUIDialog$3(Semaphore)

Kind	Annotation Text
post	init'ed(this.val$semaphore)
post	this.val$semaphore == Param_1

com.dmdirc.ui.NoUIDialog$3__static_init

Kind	Annotation Text

void com.dmdirc.ui.NoUIDialog()

Kind	Annotation Text
presumption	javax.swing.JTextPane:getDocument(...)@88 != null
presumption	javax.swing.UIManager:getFont(...)@89 != null
presumption	javax.swing.text.html.HTMLDocument:getStyleSheet(.. .)@90 != null
presumption	javax.swing.text.html.HTMLDocument:getStyleSheet(.. .)@93 != null
presumption	javax.swing.text.html.HTMLDocument:getStyleSheet(.. .)@96 != null

void com.dmdirc.ui.NoUIDialog(NoUIDialog$1)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.ui.NoUIDialog:add
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setDefaultCloseOpe ration
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setLayout
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setPreferredSize
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setResizable
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setEditable
unanalyzed	call on javax.swing.JTextPane:setEditorKit
unanalyzed	call on javax.swing.JTextPane:setHighlighter
unanalyzed	call on javax.swing.JTextPane:setMargin
unanalyzed	call on javax.swing.JTextPane:setOpaque
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule

com.dmdirc.ui.NoUIDialog__static_init

Kind	Annotation Text

void display()

Kind	Annotation Text

void displayBlocking()

Kind	Annotation Text

void run()

Kind	Annotation Text
unanalyzed	call on com.dmdirc.ui.NoUIDialog:add
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setDefaultCloseOpe ration
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setLayout
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setPreferredSize
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setResizable
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setEditable
unanalyzed	call on javax.swing.JTextPane:setEditorKit
unanalyzed	call on javax.swing.JTextPane:setHighlighter
unanalyzed	call on javax.swing.JTextPane:setMargin
unanalyzed	call on javax.swing.JTextPane:setOpaque
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule

void run()

Kind	Annotation Text
unanalyzed	call on com.dmdirc.ui.NoUIDialog:add
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setDefaultCloseOpe ration
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setLayout
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setPreferredSize
unanalyzed	call on com.dmdirc.ui.NoUIDialog:setResizable
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setEditable
unanalyzed	call on javax.swing.JTextPane:setEditorKit
unanalyzed	call on javax.swing.JTextPane:setHighlighter
unanalyzed	call on javax.swing.JTextPane:setMargin
unanalyzed	call on javax.swing.JTextPane:setOpaque
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule

void windowClosed(WindowEvent)

Kind	Annotation Text
pre	this.val$semaphore != null