Messages

Last Msg First Msg

method | net.sourceforge.pebble.web.action.SaveBlogEntryAct ion__static_init
post | init'ed(log)

method | void net.sourceforge.pebble.web.action. SaveBlogEntryAction()

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

method | View process(HttpServletRequest, HttpServletRespon se)
pre | request != null
pre | this.model != null
pre | this.model.data != null
pre | (soft) log != null
post | return_value in Addr_Set{&new BlogEntryFormView (previewBlogEntry#2),&new BlogEntryFormView(sav eBlogEntry#2),&new RedirectView(saveBlogEntry#5 ),&new BlogEntryFormView(saveBlogEntry#6)}
post | new BlogEntryFormView(previewBlogEntry#2) num objects <= 1
post | new BlogEntryFormView(saveBlogEntry#2) num objects <= 1
post | new BlogEntryFormView(saveBlogEntry#6) num objects <= 1
post | new RedirectView(saveBlogEntry#5) num objects <= 1
unanalyzed | call on java.lang.String:length
unanalyzed | call on org.apache.commons.httpclient.HttpClient
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getUrl
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on org.apache.commons.httpclient.methods. HeadMethod
unanalyzed | call on org.apache.commons.httpclient. HttpClient:executeMethod
unanalyzed | call on org.apache.commons.httpclient.methods. HeadMethod:getResponseHeader
unanalyzed | call on org.apache.commons.httpclient. Header:getValue
unanalyzed | call on java.io.IOException:getMessage
unanalyzed | call on org.apache.commons.logging.Log:warn
unanalyzed | call on net.sourceforge.pebble.domain.Attachment
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setUrl
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setSize
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setType
unanalyzed | call on javax.servlet.http.HttpServletRequest:getAt tribute
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on java.lang.String:charAt
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameterValues
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:isPersistent
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed | call on java.text.DateFormat:getDateTimeInstance
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzed | call on java.text.DateFormat:setTimeZone
unanalyzed | call on java.text.DateFormat:setLenient
unanalyzed | call on java.util.Date
unanalyzed | call on java.text.DateFormat:parse
unanalyzed | call on java.util.Date:after
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setDate
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTimeZoneId
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setSubtitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setExcerpt
unanalyzed | call on java.util.HashSet
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCategory
unanalyzed | call on java.util.Set:add
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setCategories
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTags
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setOriginalPermalink
unanalyzed | call on java.lang.String:equalsIgnoreCase
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setCommentsEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTrackBacksEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAttachment
unanalyzed | call on getBlogEntry
unanalyzed | call on java.util.ArrayList
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:validate
unanalyzed | call on java.util.HashMap:put
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on net.sourceforge.pebble.web.view.impl. BlogEntryFormView
unanalyzed | call on net.sourceforge.pebble.domain.BlogService
unanalyzed | call on net.sourceforge.pebble.domain. BlogService:putBlogEntry
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getLocalPermalink
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed | call on net.sourceforge.pebble.domain.Blog:info
unanalyzed | call on net.sourceforge.pebble.web.view. RedirectView
unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException:getMessage
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.util.List:add
unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException:printStackTrace
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on net.sourceforge.pebble.domain. BlogService:getBlogEntry
unanalyzed | call on javax.servlet.ServletException
unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry
unanalyzed | call on org.acegisecurity.Authentication:getName
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAuthor
test_vector | java.lang.String:equalsIgnoreCase(...)@83: {0}, {1}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@81: Addr_Set{null}, Inverse{null}

method | View previewBlogEntry(HttpServletRequest)
pre | request != null
pre | this.model != null
pre | this.model.data != null
pre | (soft) log != null
post | return_value == &new BlogEntryFormView(previewB logEntry#2)
post | new BlogEntryFormView(previewBlogEntry#2) num objects == 1
unanalyzed | call on java.lang.String:length
unanalyzed | call on org.apache.commons.httpclient.HttpClient
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getUrl
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on org.apache.commons.httpclient.methods. HeadMethod
unanalyzed | call on org.apache.commons.httpclient. HttpClient:executeMethod
unanalyzed | call on org.apache.commons.httpclient.methods. HeadMethod:getResponseHeader
unanalyzed | call on org.apache.commons.httpclient. Header:getValue
unanalyzed | call on java.io.IOException:getMessage
unanalyzed | call on org.apache.commons.logging.Log:warn
unanalyzed | call on net.sourceforge.pebble.domain.Attachment
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setUrl
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setSize
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setType
unanalyzed | call on javax.servlet.http.HttpServletRequest:getAt tribute
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on java.lang.String:charAt
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameterValues
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:isPersistent
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed | call on java.text.DateFormat:getDateTimeInstance
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzed | call on java.text.DateFormat:setTimeZone
unanalyzed | call on java.text.DateFormat:setLenient
unanalyzed | call on java.util.Date
unanalyzed | call on java.text.DateFormat:parse
unanalyzed | call on java.util.Date:after
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setDate
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTimeZoneId
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setSubtitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setExcerpt
unanalyzed | call on java.util.HashSet
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCategory
unanalyzed | call on java.util.Set:add
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setCategories
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTags
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setOriginalPermalink
unanalyzed | call on java.lang.String:equalsIgnoreCase
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setCommentsEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTrackBacksEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAttachment
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.HashMap:put
unanalyzed | call on net.sourceforge.pebble.domain.BlogService
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on net.sourceforge.pebble.domain. BlogService:getBlogEntry
unanalyzed | call on javax.servlet.ServletException
unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry
unanalyzed | call on org.acegisecurity.Authentication:getName
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAuthor

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/web/action/SaveBlogEntryActi on.populateBlogEntry: blogEntry != null

Prev Msg Next Msg

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:validate(ValidationContext)

| info | method not available | -- call on void net.sourceforge.pebble.web.view. impl.BlogEntryFormView()

method | View saveBlogEntry(HttpServletRequest)
pre | request != null
pre | this.model != null
pre | this.model.data != null
pre | (soft) log != null
presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@105 != null
post | return_value in Addr_Set{&new RedirectView(save BlogEntry#5),&new BlogEntryFormView(saveBlogEnt ry#6),&new BlogEntryFormView(saveBlogEntry#2)}
post | new BlogEntryFormView(saveBlogEntry#2) num objects <= 1
post | new BlogEntryFormView(saveBlogEntry#6) num objects <= 1
post | new RedirectView(saveBlogEntry#5) num objects <= 1
unanalyzed | call on java.lang.String:length
unanalyzed | call on org.apache.commons.httpclient.HttpClient
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getUrl
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on org.apache.commons.httpclient.methods. HeadMethod
unanalyzed | call on org.apache.commons.httpclient. HttpClient:executeMethod
unanalyzed | call on org.apache.commons.httpclient.methods. HeadMethod:getResponseHeader
unanalyzed | call on org.apache.commons.httpclient. Header:getValue
unanalyzed | call on java.io.IOException:getMessage
unanalyzed | call on org.apache.commons.logging.Log:warn
unanalyzed | call on net.sourceforge.pebble.domain.Attachment
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setUrl
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setSize
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setType
unanalyzed | call on javax.servlet.http.HttpServletRequest:getAt tribute
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on java.lang.String:charAt
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameterValues
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:isPersistent
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed | call on java.text.DateFormat:getDateTimeInstance
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzed | call on java.text.DateFormat:setTimeZone
unanalyzed | call on java.text.DateFormat:setLenient
unanalyzed | call on java.util.Date
unanalyzed | call on java.text.DateFormat:parse
unanalyzed | call on java.util.Date:after
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setDate
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTimeZoneId
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setSubtitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setExcerpt
unanalyzed | call on java.util.HashSet
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCategory
unanalyzed | call on java.util.Set:add
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setCategories
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTags
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setOriginalPermalink
unanalyzed | call on java.lang.String:equalsIgnoreCase
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setCommentsEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTrackBacksEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAttachment
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.HashMap:put
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on net.sourceforge.pebble.domain.BlogService
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on net.sourceforge.pebble.domain. BlogService:getBlogEntry
unanalyzed | call on javax.servlet.ServletException
unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry
unanalyzed | call on org.acegisecurity.Authentication:getName
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAuthor

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires blogEntry != null
| info | method not available | -- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()

Prev Msg Next Msg

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:validate(ValidationContext)

| info | method not available | -- call on void net.sourceforge.pebble.web.view. impl.BlogEntryFormView()

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService()

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getLocalPermalink()
| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getTitle()
| info | method not available | -- call on void net.sourceforge.pebble.domain. Blog:info(String)

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getLocalPermalink()
| info | method not available | -- call on void net.sourceforge.pebble.web.view. RedirectView(String)

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogServiceException:getMessage()
| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogServiceException:getMessage()

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogServiceException:printStackTrace()

| info | method not available | -- call on void net.sourceforge.pebble.web.view. impl.BlogEntryFormView()

method | BlogEntry getBlogEntry(HttpServletRequest)
pre | request != null
pre | this.model != null
pre | this.model.data != null
post | init'ed(return_value)
post | new BlogEntry(getBlogEntry#3) num objects <= 1
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on org.acegisecurity.Authentication:getName
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication
test_vector | java.lang.String:equalsIgnoreCase(...)@138: {0}, {1}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@136: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService()

| info | method not available | -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry(Blog)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setAuthor(String)

method | void populateBlogEntry(BlogEntry, HttpServletReque st)
pre | blogEntry != null
pre | request != null
pre | (soft) log != null
presumption | category.length@162 <= 232-1
presumption | java.text.DateFormat:getDateTimeInstance(...)@167 != null
presumption | java.text.DateFormat:parse(...)@175 != null
presumption | javax.servlet.http.HttpServletRequest:getAttribute( ...)@153 != null
unanalyzed | call on java.lang.String:length
unanalyzed | call on org.apache.commons.httpclient.HttpClient
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getUrl
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on org.apache.commons.httpclient.methods. HeadMethod
unanalyzed | call on org.apache.commons.httpclient. HttpClient:executeMethod
unanalyzed | call on org.apache.commons.httpclient.methods. HeadMethod:getResponseHeader
unanalyzed | call on org.apache.commons.httpclient. Header:getValue
unanalyzed | call on java.io.IOException:getMessage
unanalyzed | call on org.apache.commons.logging.Log:warn
unanalyzed | call on net.sourceforge.pebble.domain.Attachment
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setUrl
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setSize
unanalyzed | call on net.sourceforge.pebble.domain. Attachment:setType
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on java.lang.String:charAt
test_vector | java.lang.String:equalsIgnoreCase(...)@204: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@209: {0}, {1}
test_vector | java.lang.String:length(...)@173: {0}, {1..232-1}
test_vector | java.lang.String:length(...)@218: {0}, {1..232-1}
test_vector | java.util.Date:after(...)@176: {0}, {1}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@160: Addr_Set{null}, Inverse{null}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@161: Addr_Set{null}, Inverse{null}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@172: Addr_Set{null}, Inverse{null}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@215: Addr_Set{null}, Inverse{null}
test_vector | javax.servlet.http.HttpServletRequest:getParameterV alues(...)@162: Addr_Set{null}, Inverse{null}
test_vector | net.sourceforge.pebble.domain.BlogEntry:isPersisten t(...)@166: {1}, {0}

| info | method not available | -- call on bool net.sourceforge.pebble.domain. BlogEntry:isPersistent()

| info | method not available | -- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()

| info | method not available | -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setDate(Date)

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

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setDate(Date)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setDate(Date)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setTimeZoneId(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setTitle(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setSubtitle(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setBody(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setExcerpt(String)

| info | method not available | -- call on Category net.sourceforge.pebble.domain. Blog:getCategory(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setCategories(Collection)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setTags(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setOriginalPermalink(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setCommentsEnabled(bool)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setCommentsEnabled(bool)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setTrackBacksEnabled(bool)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setTrackBacksEnabled(bool)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setAttachment(Attachment)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setAttachment(Attachment)

method | Attachment populateAttachment(BlogEntry, String, String, String)
pre | (soft) attachmentUrl != null
pre | (soft) blogEntry != null
pre | (soft) log != null
presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@232 != null
post | return_value == &new Attachment(populateAttachm ent#5)
post | new Attachment(populateAttachment#5) num objects == 1
test_vector | attachmentSize: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:length(...)@227: {1.. 232-1}, {0}
test_vector | java.lang.String:length(...)@254: {0}, {1..232-1}
test_vector | java.lang.String:startsWith(...)@231: {0}, {1}
test_vector | org.apache.commons.httpclient.HttpClient:executeMet hod(...)@236: {-231..199, 201..232-1}, {200}
test_vector | org.apache.commons.httpclient.methods. HeadMethod:getResponseHeader(...)@238: Addr_Set{null}, Inverse{null}
test_vector | org.apache.commons.httpclient.methods. HeadMethod:getResponseHeader(...)@242: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on void org.apache.commons.httpclient. HttpClient()

| info | method not available | -- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()
| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getUrl()

| info | method not available | -- call on void org.apache.commons.httpclient. methods.HeadMethod(String)

| info | method not available | -- call on int org.apache.commons.httpclient. HttpClient:executeMethod(HttpMethod)

| info | method not available | -- call on Header org.apache.commons.httpclient. methods.HeadMethod:getResponseHeader(String)

| info | method not available | -- call on String org.apache.commons.httpclient. Header:getValue()

| info | method not available | -- call on Header org.apache.commons.httpclient. methods.HeadMethod:getResponseHeader(String)

| info | method not available | -- call on String org.apache.commons.httpclient. Header:getValue()

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

| info | method not available | -- call on void net.sourceforge.pebble.domain. Attachment()

| info | method not available | -- call on void net.sourceforge.pebble.domain. Attachment:setUrl(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. Attachment:setSize(long)

| info | method not available | -- call on void net.sourceforge.pebble.domain. Attachment:setType(String)

method | String[] getRoles(HttpServletRequest)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)
post | return_value == &new String[](getRoles#1)
post | new String[](getRoles#1) num objects == 1
post | return_value.length == 1
post | return_value[0] == net.sourceforge.pebble. Constants.BLOG_CONTRIBUTOR_ROLE
post | (soft) init'ed(return_value[0])