ConfigFile.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addDomain(String, List)

    • Kind Annotation Text
    prethis.domains != null
    prethis.flatdomains != null
    prethis.flatdomains.map != null
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put

  • void addDomain(String, Map)

    • Kind Annotation Text
    prethis.domains != null
    prethis.keydomains != null

  • void com.dmdirc.util.ConfigFile(File)

    • Kind Annotation Text
    postinit'ed(this.charset)
    postinit'ed(this.file)
    postnew ArrayList(ConfigFile#1) num objects == 1
    postnew HashMap(ConfigFile#3) num objects == 1
    postnew HashMap(MapList#1) num objects == 1
    postnew MapList(ConfigFile#2) num objects == 1
    postthis.domains == &new ArrayList(ConfigFile#1)
    postthis.file == file
    postthis.flatdomains == &new MapList(ConfigFile#2)
    postthis.flatdomains.map == &new HashMap(MapList#1)
    postthis.keydomains == &new HashMap(ConfigFile#3)
    unanalyzedcall on java.util.HashMap

  • void com.dmdirc.util.ConfigFile(InputStream)

    • Kind Annotation Text
    postinit'ed(this.charset)
    postinit'ed(this.is)
    postnew ArrayList(ConfigFile#1) num objects == 1
    postnew HashMap(ConfigFile#3) num objects == 1
    postnew HashMap(MapList#1) num objects == 1
    postnew MapList(ConfigFile#2) num objects == 1
    postthis.domains == &new ArrayList(ConfigFile#1)
    postthis.flatdomains == &new MapList(ConfigFile#2)
    postthis.flatdomains.map == &new HashMap(MapList#1)
    postthis.is == is
    postthis.keydomains == &new HashMap(ConfigFile#3)
    unanalyzedcall on java.util.HashMap

  • void com.dmdirc.util.ConfigFile(String)

    • Kind Annotation Text
    postinit'ed(this.charset)
    postnew ArrayList(ConfigFile#1) num objects == 1
    postnew File(ConfigFile#1) num objects == 1
    postnew HashMap(ConfigFile#3) num objects == 1
    postnew HashMap(MapList#1) num objects == 1
    postnew MapList(ConfigFile#2) num objects == 1
    postnew MapList(ConfigFile#2).map == &new HashMap(MapList#1)
    postthis.domains == &new ArrayList(ConfigFile#1)
    postthis.file == &new File(ConfigFile#1)
    postthis.flatdomains == &new MapList(ConfigFile#2)
    postthis.keydomains == &new HashMap(ConfigFile#3)
    unanalyzedcall on java.nio.charset.Charset:forName
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.HashMap

  • com.dmdirc.util.ConfigFile__static_init

    • Kind Annotation Text

  • String escape(String)

    • Kind Annotation Text
    preinput != null
    postreturn_value != null

  • int findEquals(String)

    • Kind Annotation Text
    preinput != null
    postreturn_value in {-1..232-2}
    test_vectorjava.lang.String:charAt(...)@361: {0..91, 93..216-1}, {92}
    test_vectorjava.lang.String:charAt(...)@363: {0..60, 62..216-1}, {61}

  • List getFlatDomain(String)

    • Kind Annotation Text
    prethis.flatdomains != null
    prethis.flatdomains.map != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.Map:get

  • Map getKeyDomain(String)

    • Kind Annotation Text
    pre(soft) this.domains != null
    preinit'ed(this.automake)
    prethis.keydomains != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.Map:containsKey
    test_vectorjava.util.Map:containsKey(...)@267: {1}, {0}
    test_vectorthis.automake: {0}, {1}

  • Map getKeyDomains()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.keydomains

  • bool hasDomain(String)

    • Kind Annotation Text
    pre(soft) this.flatdomains != null
    pre(soft) this.flatdomains.map != null
    prethis.keydomains != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.Map:containsKey

  • bool isFlatDomain(String)

    • Kind Annotation Text
    prethis.flatdomains != null
    prethis.flatdomains.map != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.Map:containsKey

  • bool isKeyDomain(String)

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

  • void read()

    • Kind Annotation Text
    pre(soft) init'ed(this.is)
    preinit'ed(this.file)
    prethis.domains != null
    prethis.flatdomains != null
    prethis.flatdomains.map != null
    prethis.keydomains != null
    presumptionjava.util.Iterator:next(...)@112 != null
    presumptionjava.util.Map:get(...)@142 != null
    postnew ArrayList(readLines#4) num objects == 0
    postnew ArrayList(readLines#4) num objects == 1
    postthis.lines == &new ArrayList(readLines#4)
    unanalyzedcall on java.io.BufferedReader
    unanalyzedcall on java.io.BufferedReader:close
    unanalyzedcall on java.io.BufferedReader:readLine
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.io.InputStreamReader
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.Map:clear
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put
    test_vectorjava.lang.String:charAt(...)@115: {0..31, 33..216-1}, {32}
    test_vectorjava.lang.String:charAt(...)@115: {9}, {0..8, 10..216-1}
    test_vectorjava.lang.String:endsWith(...)@122: {0}, {1}
    test_vectorjava.lang.String:endsWith(...)@122: {1}, {0}
    test_vectorjava.lang.String:indexOf(...)@120: {0}, {-231..-1, 1..232-1}
    test_vectorjava.lang.String:isEmpty(...)@115: {1}, {0}
    test_vectorjava.lang.String:isEmpty(...)@120: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@112: {0}, {1}
    test_vectorjava.util.Map:containsKey(...)@132: {1}, {0}
    test_vectorjava.util.Map:containsKey(...)@84: {1}, {0}

  • void setAutomake(bool)

    • Kind Annotation Text
    postinit'ed(this.automake)
    postthis.automake == automake

  • String unescape(String)

    • Kind Annotation Text
    preinput != null
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &java.lang.StringBuilder:toStri ng(...)
    test_vectorjava.lang.String:charAt(...)@314: {110}, {92}, {114}

  • void write()

    • Kind Annotation Text
    pre(soft) this.flatdomains != null
    pre(soft) this.flatdomains.map != null
    pre(soft) this.keydomains != null
    prethis.domains != null
    prethis.file != null
    presumptionjava.util.GregorianCalendar:getTime(...)@166 != null
    presumptionjava.util.Iterator:next(...)@170 != null
    presumptionjava.util.Iterator:next(...)@180 != null
    presumptionjava.util.Iterator:next(...)@184 != null
    presumptionjava.util.Map:entrySet(...)@184 != null
    presumptionjava.util.Map:get(...)@107 != null
    presumptionjava.util.Map:get(...)@184 != null
    presumptionjava.util.Map_Entry:getKey(...)@185 != null
    presumptionjava.util.Map_Entry:getValue(...)@185 != null
    unanalyzedcall on java.io.BufferedWriter
    unanalyzedcall on java.io.BufferedWriter:close
    unanalyzedcall on java.io.BufferedWriter:newLine
    unanalyzedcall on java.io.BufferedWriter:write
    unanalyzedcall on java.io.FileWriter
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    test_vectorjava.lang.String:equals(...)@171: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@170: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@184: {0}, {1}
    test_vectorjava.util.Map:containsKey(...)@84: {0}, {1}

  • void writeMeta(List)

    • Kind Annotation Text
    pre(soft) this.keydomains != null
    prelines != null
    prethis.domains != null
    test_vectorjava.lang.String:equals(...)@207: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@206: {0}, {1}
    test_vectorjava.util.Map:containsKey(...)@209: {0}, {1}