method

com.dmdirc.parser.irc.RegexStringList__static_ init

method	void com.dmdirc.parser.irc.RegexStringList()
post	this.ignoreInfo == &new ArrayList(RegexStringLi st#1)
post	new ArrayList(RegexStringList#1) num objects == 1

method	void com.dmdirc.parser.irc.RegexStringList(List)
pre	items != null
post	this.ignoreInfo == &new ArrayList(RegexStringLi st#1)
post	new ArrayList(RegexStringList#1) num objects == 1
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.List:add

method	void add(String)
pre	this.ignoreInfo != null
pre	(soft) pattern != null
test_vector	java.lang.String:equalsIgnoreCase(...)@62: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@61: {0}, {1}

method	void addAll(List)
pre	patterns != null
pre	(soft) this.ignoreInfo != null
presumption	java.util.Iterator:next(...)@76 != null
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.List:add
test_vector	java.util.Iterator:hasNext(...)@76: {0}, {1}

method	void remove(int)
pre	this.ignoreInfo != null
unanalyzed	call on java.util.List:size

method	void clear()
pre	this.ignoreInfo != null

method	int matches(String)
pre	this.ignoreInfo != null
pre	(soft) check != null
post	return_value in {-1..232-2}
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:get
test_vector	java.lang.String:matches(...)@108: {0}, {1}

method	bool matches(int, String)
pre	this.ignoreInfo != null
pre	(soft) check != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:get

method	String get(int)
pre	this.ignoreInfo != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:size

method	void set(int, String)
pre	this.ignoreInfo != null
unanalyzed	call on java.util.List:size

method	int count()
pre	this.ignoreInfo != null
post	init'ed(return_value)