MailProvider.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + Session getSession()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.session)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.session2009-09-04 18:33:31

  • + Transport getTransport()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.mailHostname)2009-09-04 18:33:31
    +pre(soft) init'ed(this.mailPassword)2009-09-04 18:33:31
    +pre(soft) init'ed(this.mailPort)2009-09-04 18:33:31
    +pre(soft) init'ed(this.mailUsername)2009-09-04 18:33:31
    +preinit'ed(this.type)2009-09-04 18:33:31
    +prethis.session != null2009-09-04 18:33:31
    +presumptionjavax.mail.Session:getTransport(...)@122 != null2009-09-04 18:33:31
    +presumptionjavax.mail.Session:getTransport(...)@132 != null2009-09-04 18:33:31
    +post(soft) return_value != null2009-09-04 18:33:31
    +test_vectorthis.mailPassword: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.mailPort: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31
    +test_vectorthis.mailUsername: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

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

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.business.MailProvider$ConfigurationType__static_init

    • -/+ Kind Annotation Text Date
    +post$VALUES == &new MailProvider$ConfigurationType[ ](MailProvider$ConfigurationType__static_init#3)2009-09-04 18:33:31
    +post$VALUES.length == 22009-09-04 18:33:31
    +post$VALUES[0] == &new MailProvider$ConfigurationTy pe(MailProvider$ConfigurationType__static_init#1)2009-09-04 18:33:31
    +post$VALUES[1] == &new MailProvider$ConfigurationTy pe(MailProvider$ConfigurationType__static_init#2)2009-09-04 18:33:31
    +postJNDI_NAME == &new MailProvider$ConfigurationTyp e(MailProvider$ConfigurationType__static_init#1)2009-09-04 18:33:31
    +postMAIL_PROPERTIES == &new MailProvider$Configurat ionType(MailProvider$ConfigurationType__static_init #2)2009-09-04 18:33:31
    +postnew MailProvider$ConfigurationType(MailProvider$Con figurationType__static_init#1) num objects == 12009-09-04 18:33:31
    +postnew MailProvider$ConfigurationType(MailProvider$Con figurationType__static_init#2) num objects == 12009-09-04 18:33:31
    +postnew MailProvider$ConfigurationType[](MailProvider$C onfigurationType__static_init#3) num objects == 12009-09-04 18:33:31
    +unanalyzedcall on java.lang.Enum2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.business.MailProvider()

    • -/+ Kind Annotation Text Date
    +preorg/apache/roller/weblogger/config/WebloggerConfig. config != null2009-09-04 18:33:31
    +preorg/apache/roller/weblogger/config/WebloggerConfig. log != null2009-09-04 18:33:31
    +presumptionjavax.mail.Session:getDefaultInstance(...)@92 != null2009-09-04 18:33:31
    +presumptionjavax.naming.Context:lookup(...)@79 != null2009-09-04 18:33:31
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@40 != null2009-09-04 18:33:31
    +post(soft) init'ed(this.mailPort)2009-09-04 18:33:31
    +postinit'ed(this.jndiName)2009-09-04 18:33:31
    +postinit'ed(this.mailHostname)2009-09-04 18:33:31
    +postinit'ed(this.mailPassword)2009-09-04 18:33:31
    +postinit'ed(this.mailUsername)2009-09-04 18:33:31
    +postthis.session != null2009-09-04 18:33:31
    +postthis.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...2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.util.Properties:getProperty2009-09-04 18:33:31
    +unanalyzedcall on javax.mail.Session:getTransport2009-09-04 18:33:31
    +unanalyzedcall on javax.mail.Transport:connect2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.RollerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@58: {0}, {1}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.business.MailProvider__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31

  • + MailProvider$ConfigurationType valueOf(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + MailProvider$ConfigurationType[] values()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed($VALUES[...])2009-09-04 18:33:31
    +postnew MailProvider$ConfigurationType[](values#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new MailProvider$Configuration Type[](values#1)2009-09-04 18:33:31
    +postreturn_value.length == 22009-09-04 18:33:31
    +postreturn_value[...] == One-of{$VALUES[...], undefined}2009-09-04 18:33:31