Version.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.updater.Version(int)

    • Kind Annotation Text
    postinit'ed(this.intVersion)
    postthis.intVersion == version
    postthis.strVersion == null

  • void com.dmdirc.updater.Version(String)

    • Kind Annotation Text
    preversion != null
    postinit'ed(this.intVersion)
    postinit'ed(this.strVersion)
    postthis.strVersion == One-of{null, version}
    test_vectorjava.lang.String:matches(...)@43: {0}, {1}
    test_vectorjava.lang.String:matches(...)@46: {0}, {1}

  • com.dmdirc.updater.Version__static_init

    • Kind Annotation Text

  • int compareTo(Version)

    • Kind Annotation Text
    pre(soft) this.intVersion - o.intVersion in {-6_442_450_943, -231..232-1, 6_442_450_943}
    preo != null
    postinit'ed(return_value)
    test_vectoro.intVersion: {-231}, {-231+1..0, 232-1}
    test_vectoro.strVersion: Inverse{null}, Addr_Set{null}
    test_vectorthis.intVersion - o.intVersion: {0..232-1}, {-6_442_450_943, -231..-1}
    test_vectorthis.intVersion: {-231}, {-231+1. .232-1}
    test_vectorthis.strVersion: Inverse{null}, Addr_Set{null}

  • int compareTo(Object)

    • Kind Annotation Text
    pre(soft) this.intVersion - x0.intVersion in {-6_442_450_943, -231..232-1, 6_442_450_943}
    prex0 != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Math:max
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:matches
    unanalyzedcall on java.lang.String:split

  • bool isValid()

    • Kind Annotation Text
    postinit'ed(return_value)

  • String toString()

    • Kind Annotation Text
    postjava.lang.String:valueOf(...)._tainted == 0
    postreturn_value != null
    postreturn_value == One-of{&java.lang. String:valueOf(...), this.strVersion}