method

com.dmdirc.actions.ActionGroup__static_init

method	void com.dmdirc.actions.ActionGroup(String)
post	this.actions == &new ArrayList(ActionGroup#1)
post	this.author == null
post	this.description == null
post	this.component == -1
post	this.version == -1
post	this.name == name
post	init'ed(this.name)
post	this.settings == &new HashMap(ActionGroup#2)
post	new ArrayList(ActionGroup#1) num objects == 1
post	new HashMap(ActionGroup#2) num objects == 1

method	String getAuthor()
pre	init'ed(this.author)
post	return_value == this.author
post	init'ed(return_value)

method	void setAuthor(String)
post	this.author == author
post	init'ed(this.author)

method	String getDescription()
pre	init'ed(this.description)
post	return_value == this.description
post	init'ed(return_value)

method	void setDescription(String)
post	this.description == description
post	init'ed(this.description)

method	String getName()
post	return_value == this.name
post	init'ed(return_value)

method	Map getSettings()
post	return_value == this.settings
post	init'ed(return_value)

method	int getVersion()
pre	init'ed(this.version)
post	return_value == this.version
post	init'ed(return_value)

method	void setVersion(int)
post	this.version == version
post	init'ed(this.version)

method	int getComponent()
pre	init'ed(this.component)
post	return_value == this.component
post	init'ed(return_value)

method	void setComponent(int)
post	this.component == component
post	init'ed(this.component)

method	int size()
pre	this.actions != null
post	init'ed(return_value)

method	void remove(Action)
pre	this.actions != null

method	Iterator iterator()
pre	this.actions != null
post	return_value != null

method	Action get(int)
pre	this.actions != null
post	init'ed(return_value)

method	bool contains(Action)
pre	this.actions != null
post	init'ed(return_value)

method	void clear()
pre	this.settings != null
pre	(soft) this.actions != null
presumption	java.util.ArrayList:iterator(...)@219 != null
post	possibly_updated(com/dmdirc/ServerManager.me)
post	this.author == null
post	this.description == null
post	this.component == -1
post	this.version == -1
post	init'ed(new ArrayList(ServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1). servers)
unanalyzed	call on java.util.List:remove
unanalyzed	call on remove
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on getCommandName
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on getConditions
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
test_vector	java.util.Iterator:hasNext(...)@219: {0}, {1}

method	void add(Action)
pre	this.actions != null

method	List getActions()
post	return_value == &new ArrayList(getActions#1)
post	new ArrayList(getActions#1) num objects == 1

method	bool isDelible()
post	return_value == 1