Messages

method

com.dmdirc.addons.nowplaying.NowPlayingSubsitution Panel$1__static_init

method

com.dmdirc.addons.nowplaying.NowPlayingSubsitution Panel__static_init

method	void setType(Object)
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	List access$002(NowPlayingSubsitutionPanel, List)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.substitutions == return_value

method	List access$100(NowPlayingSubsitutionPanel)
pre	x0 != null
pre	init'ed(x0.substitutions)
post	return_value == x0.substitutions
post	init'ed(return_value)

method	void access$200(NowPlayingSubsitutionPanel)
pre	x0 != null

method not available - call not analyzed Info call on void com.dmdirc.addons.nowplaying. NowPlayingSubsitutionPanel:layoutComponents()

method	void com.dmdirc.addons.nowplaying.NowPlayingSubsit utionPanel()
presumption	init'ed(com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment. HORIZONTAL)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel(String, SubstitutionsPanel$Alignment, Object)

method	void com.dmdirc.addons.nowplaying.NowPlayingSubsit utionPanel(List)
presumption	init'ed(com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment. HORIZONTAL)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel(String, SubstitutionsPanel$Alignment, Object)

method	void com.dmdirc.addons.nowplaying.NowPlayingSubsit utionPanel$1(NowPlayingSubsitutionPanel, List)
post	this.val$type == Param_2
post	init'ed(this.val$type)

method

void setType(List)

method	void run()
post	new ArrayList(run#1) num objects == 1
unanalyzed	call on com.dmdirc.addons.nowplaying. NowPlayingSubsitutionPanel:layoutComponents
test_vector	this.val$type: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@73: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.Substitution(String, String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel(Substitution)

	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. substitutions.Substitution(String, String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel(Substitution)