UserLevelPlugin.java

UserLevelPlugin.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init

Kind	Annotation Text
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_JOIN != null
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@78 < com.dmdirc.actions.CoreActionType:values(...). length@78
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@78 >= 0
presumption	com.dmdirc.actions.CoreActionType:values(...). length@78 >= 1
presumption	com.dmdirc.actions.CoreActionType:values(...)@78 != null
post	new int[](UserLevelPlugin$1__static_init#1) num objects == 1

void com.dmdirc.addons.userlevel.UserLevelPlugin()

Kind	Annotation Text

com.dmdirc.addons.userlevel.UserLevelPlugin__static_init

Kind	Annotation Text
post	LEVELS == &new HashMap(UserLevelPlugin__static_ init#1)
post	new HashMap(UserLevelPlugin__static_init#1) num objects == 1

void configChanged(String, String)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects <= 1
post	new MapList(ConfigManager#1) num objects <= 1
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:putAll
unanalyzed	call on java.util.Set:iterator
test_vector	java.lang.String:equals(...)@120: {0}, {1}

void doChannelLevel(ChannelClientInfo)

Kind	Annotation Text
pre	client != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@91 != null
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getIdent
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getMap
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Math:max
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator

void doGlobalLevel(ClientInfo)

Kind	Annotation Text
pre	client != null
presumption	com.dmdirc.parser.irc.ClientInfo:getMap(...)@114 != null
presumption	java.util.Iterator:next(...)@107 != null
presumption	java.util.Map:entrySet(...)@107 != null
presumption	java.util.Map_Entry:getValue(...)@109 != null
test_vector	java.lang.String:matches(...)@108: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@107: {1}, {0}

void loadLevels()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
presumption	getGlobalConfig(...).sources != null
presumption	java.util.Iterator:next(...)@132 != null
presumption	java.util.Map:entrySet(...)@132 != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:putAll
test_vector	java.util.Iterator:hasNext(...)@132: {0}, {1}

void onLoad()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
presumption	getGlobalConfig(...).listeners != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ JOIN)
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:putAll
unanalyzed	call on java.util.Set:iterator

void onUnload()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
presumption	getGlobalConfig(...).listeners != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator

void processEvent(ActionType, StringBuffer, Object[])

Kind	Annotation Text
pre	(soft) arguments != null
pre	(soft) arguments.length >= 2
pre	(soft) arguments[1] != null
pre	(soft) init'ed(com.dmdirc.addons.userlevel. UserLevelPlugin$1__static_init.new int[](UserLevelP lugin$1__static_init#1)[...])
pre	type != null
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@78 < com.dmdirc.actions.CoreActionType:values(...). length
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@78 >= 0
presumption	com.dmdirc.actions.CoreActionType:values(...). length >= 1
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getIdent
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getMap
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Math:max
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
test_vector	com.dmdirc.addons.userlevel.UserLevelPlugin$1__ static_init.new int[](UserLevelPlugin$1__static_ init#1)[...]: {1}, {-2³¹..0, 2..2³²-1}