ActionGroup.java

ActionGroup.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void add(Action)

Kind	Annotation Text
pre	this.actions != null

void clear()

Kind	Annotation Text
pre	(soft) this.actions != null
pre	this.settings != null
presumption	java.util.ArrayList:iterator(...)@219 != null
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)
post	possibly_updated(com/dmdirc/ServerManager.me)
post	this.author == null
post	this.component == -1
post	this.description == null
post	this.version == -1
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on getCommandName
unanalyzed	call on getConditions
unanalyzed	call on getTabCompleter
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on remove
test_vector	java.util.Iterator:hasNext(...)@219: {0}, {1}

void com.dmdirc.actions.ActionGroup(String)

Kind	Annotation Text
post	init'ed(this.name)
post	new ArrayList(ActionGroup#1) num objects == 1
post	new HashMap(ActionGroup#2) num objects == 1
post	this.actions == &new ArrayList(ActionGroup#1)
post	this.author == null
post	this.component == -1
post	this.description == null
post	this.name == name
post	this.settings == &new HashMap(ActionGroup#2)
post	this.version == -1

com.dmdirc.actions.ActionGroup__static_init

Kind	Annotation Text

bool contains(Action)

Kind	Annotation Text
pre	this.actions != null
post	init'ed(return_value)

Action get(int)

Kind	Annotation Text
pre	this.actions != null
post	init'ed(return_value)

List getActions()

Kind	Annotation Text
post	new ArrayList(getActions#1) num objects == 1
post	return_value == &new ArrayList(getActions#1)

String getAuthor()

Kind	Annotation Text
pre	init'ed(this.author)
post	init'ed(return_value)
post	return_value == this.author

int getComponent()

Kind	Annotation Text
pre	init'ed(this.component)
post	init'ed(return_value)
post	return_value == this.component

String getDescription()

Kind	Annotation Text
pre	init'ed(this.description)
post	init'ed(return_value)
post	return_value == this.description

String getName()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.name

Map getSettings()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.settings

int getVersion()

Kind	Annotation Text
pre	init'ed(this.version)
post	init'ed(return_value)
post	return_value == this.version

bool isDelible()

Kind	Annotation Text
post	return_value == 1

Iterator iterator()

Kind	Annotation Text
pre	this.actions != null
post	return_value != null

void remove(Action)

Kind	Annotation Text
pre	this.actions != null

void setAuthor(String)

Kind	Annotation Text
post	init'ed(this.author)
post	this.author == author

void setComponent(int)

Kind	Annotation Text
post	init'ed(this.component)
post	this.component == component

void setDescription(String)

Kind	Annotation Text
post	init'ed(this.description)
post	this.description == description

void setVersion(int)

Kind	Annotation Text
post	init'ed(this.version)
post	this.version == version

int size()

Kind	Annotation Text
pre	this.actions != null
post	init'ed(return_value)