ActionCondition.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.actions.ActionCondition(int, ActionComponent, ActionComparison, String)

    • Kind Annotation Text
    postinit'ed(this.arg)
    postinit'ed(this.comparison)
    postinit'ed(this.component)
    postinit'ed(this.target)
    postthis.arg == arg
    postthis.comparison == comparison
    postthis.component == component
    postthis.starget == &""
    postthis.target == target

  • void com.dmdirc.actions.ActionCondition(String, ActionComparison, String)

    • Kind Annotation Text
    postinit'ed(this.comparison)
    postinit'ed(this.starget)
    postinit'ed(this.target)
    postthis.arg == -1
    postthis.comparison == comparison
    postthis.starget == starget
    postthis.target == target

  • com.dmdirc.actions.ActionCondition__static_init

    • Kind Annotation Text

  • bool equals(Object)

    • Kind Annotation Text
    pre(soft) init'ed(obj.arg)
    pre(soft) init'ed(obj.comparison)
    pre(soft) init'ed(obj.component)
    pre(soft) init'ed(obj.starget)
    pre(soft) init'ed(obj.target)
    pre(soft) init'ed(this.arg)
    pre(soft) init'ed(this.comparison)
    pre(soft) init'ed(this.component)
    pre(soft) this.starget != null
    pre(soft) this.target != null
    postinit'ed(return_value)

  • int getArg()

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

  • ActionComparison getComparison()

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

  • ActionComponent getComponent()

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

  • String getStarget()

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

  • String getTarget()

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

  • int hashCode()

    • Kind Annotation Text
    pre(soft) this.component != null
    pre(soft) this.starget != null
    preinit'ed(this.arg)
    prethis.comparison != null
    prethis.target != null
    presumptionjava.lang.String:hashCode(...)@216 in {-433_856_121..216_960_272}
    presumptionthis.arg + java.lang.String:hashCode(...)*100 + java.lang.Object:hashCode(...)@216*10_000 + java.lang.String:hashCode(...)@216*100_000 in {-231..232-1}
    postinit'ed(return_value)
    test_vectorthis.arg: {-231..-2, 0..232-1}, {-1}

  • void setArg(int)

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

  • void setComparison(ActionComparison)

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

  • void setComponent(ActionComponent)

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

  • void setStarget(String)

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

  • void setTarget(String)

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

  • bool test(ActionSubstitutor, Object[])

    • Kind Annotation Text
    pre(soft) args[1].length in {1..232-1}
    pre(soft) args[2].length in {1..232-1}
    pre(soft) init'ed(args[0])
    pre(soft) init'ed(args[1])
    pre(soft) init'ed(args[2])
    pre(soft) init'ed(args[...])
    pre(soft) init'ed(this.starget)
    pre(soft) sub.type.type != null
    pre(soft) this.arg < args.length
    pre(soft) this.component != null
    preargs != null
    preinit'ed(this.target)
    presub != null
    presub.type != null
    prethis.arg >= -1
    prethis.comparison != null
    postinit'ed(return_value)
    unanalyzedcall on [Ljava.lang.String;:instanceof
    unanalyzedcall on appliesTo
    unanalyzedcall on com.dmdirc.ServerState:equals
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptions
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on doComponentSubstitutions
    unanalyzedcall on doServerSubstitutions
    unanalyzedcall on get
    unanalyzedcall on getArgTypes
    unanalyzedcall on getCompatibleComponents
    unanalyzedcall on getServer
    unanalyzedcall on getState
    unanalyzedcall on getType
    unanalyzedcall on java.lang.Object:equals
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.String:instanceof
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    test_vectorthis.arg: {0..232-1}, {-1}

  • String toString()

    • Kind Annotation Text
    preinit'ed(this.arg)
    preinit'ed(this.comparison)
    preinit'ed(this.component)
    preinit'ed(this.starget)
    preinit'ed(this.target)
    postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
    postreturn_value == &amp;java.lang.StringBuilder:toStri ng(...)