PerformWrapper.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void add(Action)

    • Kind Annotation Text
    pre(soft) action.conditions != null
    pre(soft) init'ed(action.name)
    pre(soft) init'ed(action.triggers[0])
    pre(soft) init'ed(action.triggers[...])
    pre(soft) this.actions != null
    preaction != null
    preaction.triggers != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    presumptionjava.util.List:get(...)@68 != null
    unanalyzedcall on java.util.List:add
    test_vectoraction.triggers.length: {0, 2..+Inf}, {1}
    test_vectorjava.util.List:get(...).component@68: Addr_Set{&com.dmdirc.actions.CoreActionCompone nt__static_init.new CoreActionComponent$2(CoreActio nComponent__static_init#2)}, Inverse{&com. dmdirc.actions.CoreActionComponent__static_init. new CoreAction...
    test_vectorjava.util.List:get(...).component@68: Inverse{&com.dmdirc.actions.CoreActionComponen t__static_init.new CoreActionComponent$1(CoreAction Component__static_init#1)}, Addr_Set{&com. dmdirc.actions.CoreActionComponent__static_init. new CoreAction...
    test_vectorjava.util.List:size(...)@68: {-231..0, 2..232-1}, {1}

  • void com.dmdirc.actions.wrappers.PerformWrapper()

    • Kind Annotation Text
    postnew ArrayList(ActionGroup#1) num objects == 1
    postnew HashMap(ActionGroup#2) num objects == 1
    postthis.actions == &new ArrayList(ActionGroup#1)
    postthis.author == null
    postthis.component == -1
    postthis.description == null
    postthis.name == &"performs"
    postthis.settings == &new HashMap(ActionGroup#2)
    postthis.version == -1
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.HashMap

  • com.dmdirc.actions.wrappers.PerformWrapper__static_init

    • Kind Annotation Text
    postme == &new PerformWrapper(PerformWrapper__ static_init#1)
    postme.actions == &new ArrayList(ActionGroup#1)
    postme.author == null
    postme.component == -1
    postme.description == null
    postme.name == &"performs"
    postme.settings == &new HashMap(ActionGroup#2)
    postme.version == -1
    postnew ArrayList(ActionGroup#1) num objects == 1
    postnew HashMap(ActionGroup#2) num objects == 1
    postnew PerformWrapper(PerformWrapper__static_init#1) num objects == 1
    unanalyzedcall on com.dmdirc.actions.ActionGroup
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.HashMap

  • Action createAction(String, String)

    • Kind Annotation Text
    preserver != null
    postnew Action(createAction#4) num objects == 1
    postreturn_value == &new Action(createAction#4)

  • Action createActionForNetwork(String)

    • Kind Annotation Text
    postnew Action(createAction#4) num objects == 1
    postreturn_value == &new Action(createAction#4)
    unanalyzedcall on com.dmdirc.actions.Action
    unanalyzedcall on getName
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add

  • Action createActionForServer(String)

    • Kind Annotation Text
    preserver != null
    postnew Action(createAction#4) num objects == 1
    postreturn_value == &new Action(createAction#4)
    unanalyzedcall on com.dmdirc.actions.Action
    unanalyzedcall on getName
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add

  • Action getAction(ActionComponent, String)

    • Kind Annotation Text
    prethis.actions != null
    presumptionaction.conditions@153 != null
    presumptionjava.util.Iterator:next(...)@153 != null
    presumptionjava.util.List:get(...).target@154 != null
    presumptionjava.util.List:get(...)@154 != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.List:iterator
    test_vectorjava.lang.String:equalsIgnoreCase(...)@154: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@153: {0}, {1}

  • Action getActionForNetwork(String)

    • Kind Annotation Text
    prethis.actions != null
    postinit'ed(return_value)
    unanalyzedcall on getConditions
    unanalyzedcall on iterator
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator

  • Action getActionForServer(String)

    • Kind Annotation Text
    prethis.actions != null
    postinit'ed(return_value)
    unanalyzedcall on getConditions
    unanalyzedcall on iterator
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator

  • String getDescription()

    • Kind Annotation Text
    postreturn_value == &"Performs allow you to automatically execute commands when you connect ... ver Settings" dialog, which can be accessed through the Settings menu."

  • PerformWrapper getPerformWrapper()

    • Kind Annotation Text
    preinit'ed(me)
    postinit'ed(return_value)
    postreturn_value == me

  • bool isDelible()

    • Kind Annotation Text
    postreturn_value == 0