RegexStringList.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void add(String)

    • Kind Annotation Text
    pre(soft) pattern != null
    prethis.ignoreInfo != null
    test_vectorjava.lang.String:equalsIgnoreCase(...)@62: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@61: {0}, {1}

  • void addAll(List)

    • Kind Annotation Text
    pre(soft) this.ignoreInfo != null
    prepatterns != null
    presumptionjava.util.Iterator:next(...)@76 != null
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    test_vectorjava.util.Iterator:hasNext(...)@76: {0}, {1}

  • void clear()

    • Kind Annotation Text
    prethis.ignoreInfo != null

  • void com.dmdirc.parser.irc.RegexStringList()

    • Kind Annotation Text
    postnew ArrayList(RegexStringList#1) num objects == 1
    postthis.ignoreInfo == &new ArrayList(RegexStringLi st#1)

  • void com.dmdirc.parser.irc.RegexStringList(List)

    • Kind Annotation Text
    preitems != null
    postnew ArrayList(RegexStringList#1) num objects == 1
    postthis.ignoreInfo == &new ArrayList(RegexStringLi st#1)
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator

  • com.dmdirc.parser.irc.RegexStringList__static_init

    • Kind Annotation Text

  • int count()

    • Kind Annotation Text
    prethis.ignoreInfo != null
    postinit'ed(return_value)

  • String get(int)

    • Kind Annotation Text
    prethis.ignoreInfo != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.List:size

  • bool matches(int, String)

    • Kind Annotation Text
    pre(soft) check != null
    prethis.ignoreInfo != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:size

  • int matches(String)

    • Kind Annotation Text
    pre(soft) check != null
    prethis.ignoreInfo != null
    postreturn_value in {-1..232-2}
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:size
    test_vectorjava.lang.String:matches(...)@108: {0}, {1}

  • void remove(int)

    • Kind Annotation Text
    prethis.ignoreInfo != null
    unanalyzedcall on java.util.List:size

  • void set(int, String)

    • Kind Annotation Text
    prethis.ignoreInfo != null
    unanalyzedcall on java.util.List:size