Messages

method

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

method

com.dmdirc.ui.NoUIDialog$3__static_init

method

com.dmdirc.ui.NoUIDialog$2__static_init

method

com.dmdirc.ui.NoUIDialog$1__static_init

method

com.dmdirc.ui.NoUIDialog__static_init

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

method	void com.dmdirc.ui.NoUIDialog()
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

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:setResizable( bool)

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:setLayout(Lay outManager)

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:setDefaultClo seOperation(int)

method

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

method

void actionPerformed(ActionEvent)

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:dispose()

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:add(Component , Object)

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:setPreferredS ize(Dimension)

method

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

method

void display()

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

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:pack()

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:setVisible(bo ol)

method

void displayBlocking()

method	void com.dmdirc.ui.NoUIDialog$3(Semaphore)
post	this.val$semaphore == Param_1
post	init'ed(this.val$semaphore)

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

method

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

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:addWindowList ener(WindowListener)

method	void windowClosed(WindowEvent)
pre	this.val$semaphore != null

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:pack()

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:setVisible(bo ol)