Messages

Last Msg First Msg

method

com.dmdirc.ui.WindowManager$1__static_init

method

com.dmdirc.ui.WindowManager$WMSelectionListener__ static_init

method	List access$100()
post	return_value == &new ArrayList(WindowManager__ static_init#4)

method	com.dmdirc.ui.WindowManager__static_init
post	childWindows == &new MapList(WindowManager__ static_init#2)
post	frameManagers == &new ArrayList(WindowManager__ static_init#3)
post	rootWindows == &new ArrayList(WindowManager__ static_init#1)
post	selListeners == &new ArrayList(WindowManager__ static_init#4)
post	selectionListener == &new WindowManager$WMSelec tionListener(WindowManager__static_init#5)
post	new ArrayList(WindowManager__static_init#1) num objects == 1
post	new ArrayList(WindowManager__static_init#3) num objects == 1
post	new ArrayList(WindowManager__static_init#4) num objects == 1
post	new MapList(WindowManager__static_init#2) num objects == 1
post	new WindowManager$WMSelectionListener(WindowManager __static_init#5) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.util.MapList()

method

void com.dmdirc.ui.WindowManager()

method

void addFrameManager(FrameManager)

Prev Msg Next Msg

precondition failure

click for all messages in this file Low Prob.

com/dmdirc/logger/Logger.assertTrue: value == 1

Prev Msg Next Msg

method	void removeFrameManager(FrameManager)
presumption	java.util.List:contains(...)@100 == 1

Prev Msg Next Msg

precondition failure

click for all messages in this file Low Prob.

com/dmdirc/logger/Logger.assertTrue: value == 1

Prev Msg Next Msg

method

void addSelectionListener(SelectionListener)

method

void removeSelectionListener(SelectionListener)

method	void addWindow(Window)
pre	window != null
presumption	com.dmdirc.ui.interfaces.Window:getContainer(... )@139 != null
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.ui.interfaces.FrameManager:addWi ndow

Prev Msg Next Msg

precondition failure

click for all messages in this file Low Prob.

com/dmdirc/logger/Logger.assertTrue: value == 1

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:add(Object)

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:addSelection Listener(SelectionListener)

method	void addWindow(Window, Window)
pre	child != null
pre	(soft) parent != null
presumption	com.dmdirc.ui.interfaces.Window:getContainer(... )@164 != null
presumption	com.dmdirc.util.MapList:containsKey(...)@158 == 1
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.ui.interfaces.FrameManager:addWi ndow

method not available - call not analyzed Info call on bool com.dmdirc.util.MapList:containsKey(Ob ject)

Prev Msg Next Msg

precondition failure

click for all messages in this file Low Prob.

com/dmdirc/logger/Logger.assertTrue: value == 1

method not available - call not analyzed Info call on bool com.dmdirc.util.MapList:containsKey(Ob ject)

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:add(Object, Object)

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:add(Object)

method	void removeWindow(Window)
pre	(soft) com.dmdirc.logger.ErrorManager__static_init. new Class[](ErrorManager__static_init#2)[...] != null
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).logReports)
pre	(soft) com.dmdirc.logger.ErrorManager__static_init. new ErrorManager(ErrorManager__static_init#1). nextErrorID != null
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).sendReports)
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).reportThread)
pre	(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
pre	(soft) window != null
presumption	com.dmdirc.logger.ErrorManager__static_init.new Class[](ErrorManager__static_init#2)[...]@193 != null
presumption	com.dmdirc.logger.ErrorManager__static_init.new ErrorManager(ErrorManager__static_init#1). nextErrorID@193 != null
presumption	com.dmdirc.ui.interfaces.Window:getContainer(... )@228 != null
presumption	com.dmdirc.util.MapList:get(...)@185 != null
presumption	com.dmdirc.util.MapList:get(...)@190 != null
presumption	java.util.ArrayList:iterator(...)@186 != null
presumption	java.util.Iterator:next(...)@186 != null
post	init'ed(com/dmdirc/logger/ProgramError.errorDir)
post	init'ed(com.dmdirc.logger.ErrorManager__static_ init.new ErrorManager(ErrorManager__static_init#1). reportThread)
post	new ErrorReportingThread(sendError#1) num objects <= 1
post	init'ed(new ErrorReportingThread(sendError#1). queue)
post	new File(getErrorFile#1) num objects <= 1
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.ui.interfaces.FrameManager:delWi ndow
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on getErrorManager
unanalyzed	call on addError
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.util.concurrent.BlockingQueue:add
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on isReady
unanalyzed	call on errorAdded
unanalyzed	call on com.dmdirc.logger.ErrorFixedStatus:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.File:exists
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.lang.Throwable:getStackTrace
unanalyzed	call on java.lang.Throwable:toString
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Throwable:getCause
unanalyzed	call on getTrace
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on equals
unanalyzed	call on getReportStatus
unanalyzed	call on errorStatusChanged
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Arrays:equals
test_vector	com.dmdirc.util.MapList:containsKey(...)@181: {1}, {0}
test_vector	com.dmdirc.util.MapList:get(...)@185: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@186: {0}, {1}
test_vector	java.util.List:contains(...)@205: {0}, {1}
test_vector	java.util.List:isEmpty(...)@185: {1}, {0}
test_vector	java.util.List:isEmpty(...)@190: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.util.MapList:containsKey(Ob ject)

method not available - call not analyzed Info call on List com.dmdirc.util.MapList:get(Object)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:close()

method not available - call not analyzed Info call on List com.dmdirc.util.MapList:get(Object)

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:remove(Object)

method not available - call not analyzed Info call on String com.dmdirc.ui.interfaces. Window:getTitle()

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:remove(Object, Object)

method	Window findCustomWindow(String)
post	init'ed(return_value)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.CustomWindow:instanceof
unanalyzed	call on com.dmdirc.CustomWindow:getName
unanalyzed	call on java.lang.String:equals

Prev Msg Next Msg

precondition failure

click for all messages in this file Low Prob.

com/dmdirc/logger/Logger.assertTrue: value == 1

Prev Msg Next Msg

method	Window findCustomWindow(Window, String)
presumption	com.dmdirc.util.MapList:containsKey(...)@261 == 1
presumption	com.dmdirc.util.MapList:get(...)@263 != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.CustomWindow:instanceof
unanalyzed	call on com.dmdirc.CustomWindow:getName
unanalyzed	call on java.lang.String:equals

Prev Msg Next Msg

precondition failure

click for all messages in this file Low Prob.

com/dmdirc/logger/Logger.assertTrue: value == 1

Prev Msg Next Msg

method not available - call not analyzed Info call on bool com.dmdirc.util.MapList:containsKey(Ob ject)

method not available - call not analyzed Info call on List com.dmdirc.util.MapList:get(Object)

method	Window findCustomWindow(List, String)
pre	windows != null
presumption	com.dmdirc.CustomWindow:getName(...)@276 != null
presumption	com.dmdirc.ui.interfaces.Window:getContainer(... )@276 != null
presumption	java.util.Iterator:next(...)@275 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@276: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@275: {0}, {1}

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

method not available - call not analyzed Info call on String com.dmdirc.CustomWindow:getName()

method	Window getParent(Window)
presumption	com.dmdirc.util.MapList:entrySet(...)@295 != null
presumption	java.util.Iterator:next(...)@295 != null
presumption	java.util.Map_Entry:getValue(...)@296 != null
post	init'ed(return_value)
test_vector	java.util.Iterator:hasNext(...)@295: {1}, {0}
test_vector	java.util.List:contains(...)@296: {0}, {1}

method not available - call not analyzed Info call on Set com.dmdirc.util.MapList:entrySet()

method	Window[] getRootWindows()
presumption	java.util.List:size(...)@312 >= 0
post	init'ed(return_value)

method	Window[] getChildren(Window)
presumption	com.dmdirc.util.MapList:get(...)@323 != null
presumption	java.util.List:size(...)@324 >= 0
post	init'ed(return_value)

method not available - call not analyzed Info call on List com.dmdirc.util.MapList:get(Object)

method	void fireAddWindow(Window)
pre	(soft) window != null
presumption	java.util.Iterator:next(...)@333 != null
test_vector	java.util.Iterator:hasNext(...)@333: {0}, {1}

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. FrameManager:addWindow(FrameContainer)

method	void fireAddWindow(Window, Window)
pre	(soft) child != null
pre	(soft) parent != null
presumption	java.util.Iterator:next(...)@345 != null
test_vector	java.util.Iterator:hasNext(...)@345: {0}, {1}

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. FrameManager:addWindow(FrameContainer, FrameContainer)

method	void fireDeleteWindow(Window)
pre	(soft) window != null
presumption	java.util.Iterator:next(...)@356 != null
test_vector	java.util.Iterator:hasNext(...)@356: {0}, {1}

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. FrameManager:delWindow(FrameContainer)

method	void fireDeleteWindow(Window, Window)
pre	(soft) child != null
pre	(soft) parent != null
presumption	java.util.Iterator:next(...)@368 != null
test_vector	java.util.Iterator:hasNext(...)@368: {0}, {1}

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. FrameManager:delWindow(FrameContainer, FrameContainer)

method

void com.dmdirc.ui.WindowManager$WMSelectionListen er()

method

void com.dmdirc.ui.WindowManager$WMSelectionListen er(WindowManager$1)

method	void selectionChanged(Window)
presumption	java.util.Iterator:next(...)@381 != null
unanalyzed	call on java.util.List:iterator
unanalyzed	call on selectionChanged
test_vector	java.util.Iterator:hasNext(...)@381: {0}, {1}

	method not available - call not analyzed	Info	call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()
	method not available - call not analyzed	Info	call on void com.dmdirc.FrameContainer:addSelection Listener(SelectionListener)