BooleanParam.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.installer.cliparser.BooleanParam(char, String, String)

    • Kind Annotation Text
    postinit'ed(this.charFlag)
    postinit'ed(this.description)
    postinit'ed(this.stringFlag)
    postthis.charFlag == chr
    postthis.description == desc
    postthis.myValue == 0
    postthis.stringFlag == str

  • com.dmdirc.installer.cliparser.BooleanParam__static_init

    • Kind Annotation Text

  • String getStringValue()

    • Kind Annotation Text
    preinit'ed(this.myValue)
    postjava.lang.String:valueOf(...)._tainted == 0
    postreturn_value == &java.lang.String:valueOf(...)

  • bool getValue()

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

  • bool setValue(String)

    • Kind Annotation Text
    pre(soft) init'ed(this.myValue)
    postinit'ed(return_value)
    postinit'ed(this.myValue)
    test_vectorjava.lang.String:equals(...)@55: {1}, {0}
    test_vectorjava.lang.String:equals(...)@59: {1}, {0}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@55: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@55: {1}, {0}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@59: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@59: {1}, {0}
    test_vectorjava.lang.String:isEmpty(...)@51: {0}, {1}
    test_vectorvalue: Addr_Set{null}, Inverse{null}