PopupManager.java

PopupManager.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.commandparser.PopupManager()

Kind	Annotation Text

com.dmdirc.commandparser.PopupManager__static_init

Kind	Annotation Text

PopupMenuItem getItem(String, ConfigManager)

Kind	Annotation Text
pre	(soft) configManager != null
pre	(soft) item != null
presumption	java.lang.String:indexOf(...)@95 in {-2³¹..-2, 0..2³²-2}
post	init'ed(java.lang.String:substring(...)._tainted)
post	new ArrayList(PopupMenu#1) num objects <= 1
post	new PopupMenu(getMenu#1) num objects <= 1
post	new PopupMenu(getMenu#1).items == &new ArrayList(PopupMenu#1)
post	new PopupMenuItem(getItem#1) num objects <= 1
post	new PopupMenuItem(getItem#1).divider == 1
post	new PopupMenuItem(getItem#1).submenu == null
post	new PopupMenuItem(getItem#4) num objects <= 1
post	new PopupMenuItem(getItem#4).divider == 0
post	new PopupMenuItem(getItem#4).name == &java.lang.String:substring(...)
post	new PopupMenuItem(getItem#4).submenu == &new PopupMenu(getMenu#1)
post	new PopupMenuItem(getItem#5) num objects <= 1
post	new PopupMenuItem(getItem#5).command == &java.lang.String:substring(...)
post	new PopupMenuItem(getItem#5).divider == 0
post	new PopupMenuItem(getItem#5).name == &java.lang.String:substring(...)
post	new PopupMenuItem(getItem#5).submenu == null
post	return_value in Addr_Set{&new PopupMenuItem(get Item#4),&new PopupMenuItem(getItem#5),&new PopupMenuItem(getItem#1)}
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getMenu
unanalyzed	call on getOption
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
test_vector	java.lang.String:charAt(...)@105: {0..59, 61..2¹⁶-1}, {60}
test_vector	java.lang.String:equals(...)@92: {0}, {1}
test_vector	java.lang.String:length(...)@105: {0}, {1..2³²-1}

PopupMenu getMenu(PopupType, ConfigManager)

Kind	Annotation Text
pre	configManager != null
pre	menuType != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ POPUP_GENERATED)
post	new ArrayList(PopupMenu#1) num objects == 1
post	new PopupMenu(getMenu#1*) num objects == 1
post	new PopupMenu(getMenu#1*).items == &new ArrayList(PopupMenu#1)
post	return_value == &new PopupMenu(getMenu#1*)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getMenu
unanalyzed	call on getOption
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

PopupMenu getMenu(String, ConfigManager)

Kind	Annotation Text
pre	configManager != null
presumption	java.util.Iterator:next(...)@71 != null
post	new ArrayList(PopupMenu#1) num objects == 1
post	new PopupMenu(getMenu#1) num objects == 1
post	return_value == &new PopupMenu(getMenu#1)
post	return_value.items == &new ArrayList(PopupMenu# 1)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getMenu
unanalyzed	call on getOption
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
test_vector	java.lang.String:charAt(...)@72: {0..59, 61..2¹⁶-1}, {60}
test_vector	java.lang.String:length(...)@72: {0}, {1..2³²-1}
test_vector	java.util.Iterator:hasNext(...)@71: {0}, {1}