Messages

method

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

method not available - call not analyzed Info call on void com.dmdirc.plugins.Plugin()

method	com.dmdirc.addons.userlevel.UserLevelPlugin__ static_init
post	LEVELS == &new HashMap(UserLevelPlugin__static_ init#1)
post	new HashMap(UserLevelPlugin__static_init#1) num objects == 1

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

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:addLi stener(ActionListener, ActionType[])

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:regis terActionComponents(ActionComponent[])

method	void onUnload()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	getGlobalConfig(...).listeners != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	com/dmdirc/config/IdentityManager.globalconfig != null
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 MapList(ConfigManager#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).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:remov eListener(ActionListener)

method	com.dmdirc.addons.userlevel.UserLevelPlugin$1__ static_init
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_JOIN != null
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@78 >= 0
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@78 < com.dmdirc.actions.CoreActionType:values(...). length@78
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

method	void processEvent(ActionType, StringBuffer, Object[])
pre	type != null
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)[...])
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@78 >= 0
presumption	com.dmdirc.actions.CoreActionType:values(...). length >= 1
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@78 < com.dmdirc.actions.CoreActionType:values(...). length
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getIdent
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Math:max
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getMap
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
test_vector	com.dmdirc.addons.userlevel.UserLevelPlugin$1__ static_init.new int[](UserLevelPlugin$1__static_ init#1)[...]: {1}, {-2³¹..0, 2..2³²-1}

method not available - call not analyzed Info call on CoreActionType[] com.dmdirc.actions. CoreActionType:values()

method not available - call not analyzed Info call on int com.dmdirc.actions.CoreActionType:ordin al()

method not available - call not analyzed Info call on int com.dmdirc.actions.CoreActionType:ordin al()

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

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. ChannelClientInfo:getClient()

method	void doGlobalLevel(ClientInfo)
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}

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getNickname()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getIdent()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getHost()

method not available - call not analyzed Info call on Map com.dmdirc.parser.irc.ClientInfo:getMap ()

method	void configChanged(String, String)
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	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects <= 1
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	new MapList(ConfigManager#1) num objects <= 1
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.Map:clear
unanalyzed	call on getOptions
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.Map:putAll
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.lang.Integer:parseInt
test_vector	java.lang.String:equals(...)@120: {0}, {1}

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

method not available - call not analyzed	Info	call on CoreActionType[] com.dmdirc.actions. CoreActionType:values()
method not available - call not analyzed	Info	call on int com.dmdirc.actions.CoreActionType:ordin al()
method not available - call not analyzed	Info	call on int com.dmdirc.actions.CoreActionType:ordin al()

method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ClientInfo:getNickname()
method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ClientInfo:getIdent()
method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ClientInfo:getHost()