TimePlugin.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.time.TimePlugin$1(TimePlugin)

    • Kind Annotation Text

  • com.dmdirc.addons.time.TimePlugin$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.time.TimePlugin()

    • Kind Annotation Text

  • com.dmdirc.addons.time.TimePlugin__static_init

    • Kind Annotation Text

  • void onLoad()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.addons.time. TimeActionType__static_init.new TimeActionType[](Ti meActionType__static_init#4)[...])
    preinit'ed(registered)
    presumptionjava.util.Calendar:get(...)@61 <= 2_147_483_708
    presumptionjava.util.Calendar:getInstance(...)@61 != null
    postnew Timer(onLoad#1) num objects == 1
    postnew TimerCommand(onLoad#3) num objects == 1
    postregistered == 1
    postthis.command == &amp;new TimerCommand(onLoad#3)
    postthis.timer == &amp;new Timer(onLoad#1)
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:reg isterCommand
    unanalyzedcall on com.dmdirc.commandparser.commands. GlobalCommand
    unanalyzedcall on java.util.TimerTask
    test_vectorregistered: {1}, {0}

  • void onUnload()

    • Kind Annotation Text
    preinit'ed(this.command)
    preinit'ed(this.timer)
    postthis.timer == null
    test_vectorthis.timer: Addr_Set{null}, Inverse{null}

  • void run()

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.actions.ActionManager:processEve nt
    unanalyzedcall on java.util.Calendar:get
    unanalyzedcall on java.util.Calendar:getInstance

  • void runTimer()

    • Kind Annotation Text
    presumptionjava.util.Calendar:getInstance(...)@78 != null
    test_vectorjava.util.Calendar:get(...)@82: {-231.. -1, 1..232-1}, {0}
    test_vectorjava.util.Calendar:get(...)@85: {-231.. -1, 1..232-1}, {0}