Messages

method	org.apache.roller.weblogger.business.MailProvider_ _static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	MailProvider$ConfigurationType[] values()
pre	(soft) init'ed($VALUES[...])
post	return_value == &new MailProvider$Configuration Type[](values#1)
post	new MailProvider$ConfigurationType[](values#1) num objects == 1
post	return_value.length == 2
post	return_value[...] == One-of{$VALUES[...], undefined}

method	MailProvider$ConfigurationType valueOf(String)
post	init'ed(return_value)

method

void org.apache.roller.weblogger.business. MailProvider$ConfigurationType(String, int)

method	org.apache.roller.weblogger.business. MailProvider$ConfigurationType__static_init
post	$VALUES == &new MailProvider$ConfigurationType[ ](MailProvider$ConfigurationType__static_init#3)
post	JNDI_NAME == &new MailProvider$ConfigurationTyp e(MailProvider$ConfigurationType__static_init#1)
post	$VALUES[0] == &new MailProvider$ConfigurationTy pe(MailProvider$ConfigurationType__static_init#1)
post	MAIL_PROPERTIES == &new MailProvider$Configurat ionType(MailProvider$ConfigurationType__static_init #2)
post	$VALUES[1] == &new MailProvider$ConfigurationTy pe(MailProvider$ConfigurationType__static_init#2)
post	new MailProvider$ConfigurationType(MailProvider$Con figurationType__static_init#1) num objects == 1
post	new MailProvider$ConfigurationType(MailProvider$Con figurationType__static_init#2) num objects == 1
post	new MailProvider$ConfigurationType[](MailProvider$C onfigurationType__static_init#3) num objects == 1
post	$VALUES.length == 2
unanalyzed	call on java.lang.Enum

method	void org.apache.roller.weblogger.business. MailProvider()
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
presumption	javax.mail.Session:getDefaultInstance(...)@92 != null
presumption	javax.naming.Context:lookup(...)@79 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@40 != null
post	init'ed(this.jndiName)
post	init'ed(this.mailHostname)
post	init'ed(this.mailPassword)
post	(soft) init'ed(this.mailPort)
post	init'ed(this.mailUsername)
post	this.session != null
post	this.type in Addr_Set{&org.apache.roller. weblogger.business.MailProvider$ConfigurationType__ static_init.new MailProvider$ConfigurationType(Mail Provider$ConfigurationType__static_init#1), &org.apache.roller.weblogger.business. MailProvider$Co...
unanalyzed	call on javax.mail.Session:getTransport
unanalyzed	call on javax.mail.Transport:connect
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
test_vector	java.lang.String:equals(...)@58: {0}, {1}

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

method	Transport getTransport()
pre	this.session != null
pre	init'ed(this.type)
pre	(soft) init'ed(this.mailHostname)
pre	(soft) init'ed(this.mailPassword)
pre	(soft) init'ed(this.mailPort)
pre	(soft) init'ed(this.mailUsername)
presumption	javax.mail.Session:getTransport(...)@122 != null
presumption	javax.mail.Session:getTransport(...)@132 != null
post	(soft) return_value != null
test_vector	this.mailPassword: Addr_Set{null}, Inverse{null}
test_vector	this.mailPort: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	this.mailUsername: Addr_Set{null}, Inverse{null}