Messages

Last Msg First Msg

method	com.dmdirc.actions.wrappers.PerformWrapper__ static_init
post	me == &new PerformWrapper(PerformWrapper__ static_init#1)
post	new ArrayList(ActionGroup#1) num objects == 1
post	new HashMap(ActionGroup#2) num objects == 1
post	new PerformWrapper(PerformWrapper__static_init#1) num objects == 1
post	me.actions == &new ArrayList(ActionGroup#1)
post	me.author == null
post	me.description == null
post	me.component == -1
post	me.version == -1
post	me.name == &"performs"
post	me.settings == &new HashMap(ActionGroup#2)
unanalyzed	call on com.dmdirc.actions.ActionGroup
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap

method	void com.dmdirc.actions.wrappers.PerformWrapper()
post	this.actions == &new ArrayList(ActionGroup#1)
post	this.author == null
post	this.description == null
post	this.component == -1
post	this.version == -1
post	this.name == &"performs"
post	this.settings == &new HashMap(ActionGroup#2)
post	new ArrayList(ActionGroup#1) num objects == 1
post	new HashMap(ActionGroup#2) num objects == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap

method	PerformWrapper getPerformWrapper()
pre	init'ed(me)
post	return_value == me
post	init'ed(return_value)

method	void add(Action)
pre	action != null
pre	action.triggers != null
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
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.util.List:get(...)@68 != null
unanalyzed	call on java.util.List:add
test_vector	action.triggers.length: {0, 2..+Inf}, {1}
test_vector	java.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_vector	java.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_vector	java.util.List:size(...)@68: {-2³¹..0, 2..2³²-1}, {1}

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(getTriggers(...).length)

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	Action getActionForServer(String)
pre	this.actions != null
post	init'ed(return_value)
unanalyzed	call on iterator
unanalyzed	call on getConditions
unanalyzed	call on java.util.List:get
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.List:iterator

method	Action getActionForNetwork(String)
pre	this.actions != null
post	init'ed(return_value)
unanalyzed	call on iterator
unanalyzed	call on getConditions
unanalyzed	call on java.util.List:get
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.List:iterator

method	Action createActionForServer(String)
pre	server != null
post	return_value == &new Action(createAction#4)
post	new Action(createAction#4) num objects == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.List:add
unanalyzed	call on getName
unanalyzed	call on com.dmdirc.actions.Action

method	Action createActionForNetwork(String)
post	return_value == &new Action(createAction#4)
post	new Action(createAction#4) num objects == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.List:add
unanalyzed	call on getName
unanalyzed	call on com.dmdirc.actions.Action

method	Action createAction(String, String)
pre	server != null
post	return_value == &new Action(createAction#4)
post	new Action(createAction#4) num objects == 1

call too complex - analysis skipped Info call on void com.dmdirc.actions.Action(String, String, ActionType[], String[], List, String)

method	Action getAction(ActionComponent, String)
pre	this.actions != null
presumption	action.conditions@153 != null
presumption	java.util.Iterator:next(...)@153 != null
presumption	java.util.List:get(...).target@154 != null
presumption	java.util.List:get(...)@154 != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:iterator
test_vector	java.lang.String:equalsIgnoreCase(...)@154: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@153: {0}, {1}

method	bool isDelible()
post	return_value == 0

method	String getDescription()
post	return_value == &"Performs allow you to automatically execute commands when you connect ... ver Settings" dialog, which can be accessed through the Settings menu."