IgnoreList.java

IgnoreList.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addSimple(String)

Kind	Annotation Text
pre	pattern != null
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:toCharArray

bool canConvert()

Kind	Annotation Text
pre	(soft) this.ignoreInfo != null
post	init'ed(return_value)
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.UnsupportedOperationException
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator

void com.dmdirc.IgnoreList()

Kind	Annotation Text

void com.dmdirc.IgnoreList(List)

Kind	Annotation Text

com.dmdirc.IgnoreList__static_init

Kind	Annotation Text

List getRegexList()

Kind	Annotation Text
pre	init'ed(this.ignoreInfo)
post	new ArrayList(getRegexList#1) num objects == 1
post	return_value == &new ArrayList(getRegexList#1)

List getSimpleList()

Kind	Annotation Text
pre	this.ignoreInfo != null
presumption	java.util.Iterator:next(...)@95 != null
post	new ArrayList(getSimpleList#1) num objects == 1
post	return_value == &new ArrayList(getSimpleList#1)
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.UnsupportedOperationException
test_vector	java.util.Iterator:hasNext(...)@95: {0}, {1}

String regexToSimple(String)

Kind	Annotation Text
pre	regex != null
presumption	arr$.length@115 <= 2³²-1
presumption	arr$[i$]@115 not in {36, 40,41, 43, 63, 91, 93,94, 123..125}
presumption	arr$[i$]@115 not in {36, 40..43, 46, 63, 91..94, 123..125}
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
test_vector	arr$[i$]@115: {92}, {42}, {46}, {0..35, 37..39, 44,45, 47..62, 64..90, 95..122, 126..2¹⁶-1}

String simpleToRegex(String)

Kind	Annotation Text
pre	regex != null
presumption	arr$.length@170 <= 2³²-1
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
test_vector	arr$[i$]@170: {36, 40,41, 43, 46, 91..94, 123..125}, {42}, {63}, {0..35, 37..39, 44,45, 47..62, 64..90, 95..122, 126..2¹⁶-1}