WindowManager.java

WindowManager.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

List access$100()

Kind	Annotation Text
post	return_value == &new ArrayList(WindowManager__ static_init#4)

void addFrameManager(FrameManager)

Kind	Annotation Text

void addSelectionListener(SelectionListener)

Kind	Annotation Text

void addWindow(Window)

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

void addWindow(Window, Window)

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

com.dmdirc.ui.WindowManager$1__static_init

Kind	Annotation Text

void com.dmdirc.ui.WindowManager$WMSelectionListener()

Kind	Annotation Text

void com.dmdirc.ui.WindowManager$WMSelectionListener(WindowManager$1)

Kind	Annotation Text

com.dmdirc.ui.WindowManager$WMSelectionListener__static_init

Kind	Annotation Text

void com.dmdirc.ui.WindowManager()

Kind	Annotation Text

com.dmdirc.ui.WindowManager__static_init

Kind	Annotation Text
post	childWindows == &new MapList(WindowManager__ static_init#2)
post	frameManagers == &new ArrayList(WindowManager__ static_init#3)
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
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)

Window findCustomWindow(Window, String)

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

Window findCustomWindow(String)

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

Window findCustomWindow(List, String)

Kind	Annotation Text
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}

void fireAddWindow(Window)

Kind	Annotation Text
pre	(soft) window != null
presumption	java.util.Iterator:next(...)@333 != null
test_vector	java.util.Iterator:hasNext(...)@333: {0}, {1}

void fireAddWindow(Window, Window)

Kind	Annotation Text
pre	(soft) child != null
pre	(soft) parent != null
presumption	java.util.Iterator:next(...)@345 != null
test_vector	java.util.Iterator:hasNext(...)@345: {0}, {1}

void fireDeleteWindow(Window)

Kind	Annotation Text
pre	(soft) window != null
presumption	java.util.Iterator:next(...)@356 != null
test_vector	java.util.Iterator:hasNext(...)@356: {0}, {1}

void fireDeleteWindow(Window, Window)

Kind	Annotation Text
pre	(soft) child != null
pre	(soft) parent != null
presumption	java.util.Iterator:next(...)@368 != null
test_vector	java.util.Iterator:hasNext(...)@368: {0}, {1}

Window[] getChildren(Window)

Kind	Annotation Text
presumption	com.dmdirc.util.MapList:get(...)@323 != null
presumption	java.util.List:size(...)@324 >= 0
post	init'ed(return_value)

Window getParent(Window)

Kind	Annotation Text
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}

Window[] getRootWindows()

Kind	Annotation Text
presumption	java.util.List:size(...)@312 >= 0
post	init'ed(return_value)

void removeFrameManager(FrameManager)

Kind	Annotation Text
presumption	java.util.List:contains(...)@100 == 1

void removeSelectionListener(SelectionListener)

Kind	Annotation Text

void removeWindow(Window)

Kind	Annotation Text
pre	(soft) com.dmdirc.logger.ErrorManager__static_init. new Class[](ErrorManager__static_init#2)[...] != null
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).logReports)
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.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/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.ErrorManager__static_ init.new ErrorManager(ErrorManager__static_init#1). reportThread)
post	init'ed(com/dmdirc/logger/ProgramError.errorDir)
post	init'ed(new ErrorReportingThread(sendError#1). queue)
post	new ErrorReportingThread(sendError#1) num objects <= 1
post	new File(getErrorFile#1) num objects <= 1
unanalyzed	call on addError
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.logger.ErrorFixedStatus:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on com.dmdirc.ui.interfaces.FrameManager:delWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on equals
unanalyzed	call on errorAdded
unanalyzed	call on errorStatusChanged
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on getErrorManager
unanalyzed	call on getReportStatus
unanalyzed	call on getTrace
unanalyzed	call on isReady
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Throwable:getCause
unanalyzed	call on java.lang.Throwable:getStackTrace
unanalyzed	call on java.lang.Throwable:toString
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Arrays:equals
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.concurrent.BlockingQueue:add
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
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}

void selectionChanged(Window)

Kind	Annotation Text
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}