| method | void onLoad() |
| pre | init'ed(registered) |
| pre | (soft) init'ed(com.dmdirc.addons.time. TimeActionType__static_init.new TimeActionType[](Ti meActionType__static_init#4)[...]) |
| presumption | java.util.Calendar:get(...)@61 <= 2_147_483_708 |
| presumption | java.util.Calendar:getInstance(...)@61 != null |
| post | registered == 1 |
| post | this.command == &new TimerCommand(onLoad#3) |
| post | this.timer == &new Timer(onLoad#1) |
| post | new Timer(onLoad#1) num objects == 1 |
| post | new TimerCommand(onLoad#3) num objects == 1 |
| unanalyzed | call on java.util.TimerTask |
| unanalyzed | call on com.dmdirc.commandparser.commands. GlobalCommand |
| unanalyzed | call on com.dmdirc.commandparser.CommandManager:reg isterCommand |
| test_vector | registered: {1}, {0} |