abstractcommentaction.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

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


  • - Comment createBlankComment(Blog, BlogEntry, HttpServletRequest)

    • -/+ Kind Annotation Text Date

  • + Comment createBlankComment(Blog, BlogEntry, HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +pre(soft) blog != null2010-07-22 12:56:56
    +pre(soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration != null2010-07-22 12:56:56
    +preblogEntry != null2010-07-22 12:56:56
    +prerequest != null2010-07-22 12:56:56
    +presumptionjavax.servlet.http.HttpServletRequest:getCookies(.. .).length@103 <= 232-12010-07-22 12:56:56
    +presumptionjavax.servlet.http.HttpServletRequest:getCookies(.. .).length@108 <= 232-12010-07-22 12:56:56
    +presumptionjavax.servlet.http.HttpServletRequest:getCookies(.. .).length@94 <= 232-12010-07-22 12:56:56
    +presumptionjavax.servlet.http.HttpServletRequest:getCookies(.. .).length@98 <= 232-12010-07-22 12:56:56
    +presumptionjavax.servlet.http.HttpServletRequest:getCookies(.. .)[...]@103 != null2010-07-22 12:56:56
    +presumptionjavax.servlet.http.HttpServletRequest:getCookies(.. .)[...]@108 != null2010-07-22 12:56:56
    +presumptionjavax.servlet.http.HttpServletRequest:getCookies(.. .)[...]@94 != null2010-07-22 12:56:56
    +presumptionjavax.servlet.http.HttpServletRequest:getCookies(.. .)[...]@98 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:createComme nt(...)@74 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:getBlog(... )@87 != null2010-07-22 12:56:56
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@33 != null2010-07-22 12:56:56
    +post(soft) return_value != null2010-07-22 12:56:56
    +unanalyzedcall on getFileForUser2010-07-22 12:56:56
    +unanalyzedcall on getUser2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream:close2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equalsIgnoreCase2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:split2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:startsWith2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:trim2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashMap2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashSet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:put2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:keySet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:load2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:toArray2010-07-22 12:56:56
    +unanalyzedcall on javax.servlet.http.Cookie:getName2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.Configuration:getDat aDirectory2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.Configuration:getSec urityRealm2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.PebbleException2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:error2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@84: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:length(...)@120: {0}, {1..232-1}2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@119: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.BlogEntry:getComment( ...)@122: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectoruser.website: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • - Comment createComment(HttpServletRequest, BlogEntry)

    • -/+ Kind Annotation Text Date

  • + Comment createComment(HttpServletRequest, BlogEntry)

    • -/+ Kind Annotation Text Date
    +pre(soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration != null2010-07-22 12:56:56
    +preblogEntry != null2010-07-22 12:56:56
    +prerequest != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:createComme nt(...)@43 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:getBlog(... )@54 != null2010-07-22 12:56:56
    +post(soft) return_value != null2010-07-22 12:56:56
    +unanalyzedcall on getFileForUser2010-07-22 12:56:56
    +unanalyzedcall on getUser2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream:close2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:charAt2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equalsIgnoreCase2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:split2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:startsWith2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:trim2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashMap2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashSet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:put2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:keySet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:load2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:toArray2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.Configuration:getDat aDirectory2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.Configuration:getSec urityRealm2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.PebbleException2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:error2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@51: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:length(...)@62: {0}, {1..232-1}2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@61: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.BlogEntry:getComment( ...)@64: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectoruser.website: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • String encode(String, String)

    • -/+ Kind Annotation Text Date
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@33 != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +test_vectors: Inverse{null}, Addr_Set{null}2010-07-22 12:56:56

  • void net.sourceforge.pebble.web.action.AbstractCommentAction()

    • -/+ Kind Annotation Text Date

  • net.sourceforge.pebble.web.action.AbstractCommentAction__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2010-07-22 12:56:56

  • - void saveComment(HttpServletRequest, HttpServletResponse, BlogEntry, Comment)

    • -/+ Kind Annotation Text Date

  • + void saveComment(HttpServletRequest, HttpServletResponse, BlogEntry, Comment)

    • -/+ Kind Annotation Text Date

  • ValidationContext validateComment(Comment)

    • -/+ Kind Annotation Text Date
    +pre(soft) comment != null2010-07-22 12:56:56
    +prethis.model != null2010-07-22 12:56:56
    +prethis.model.data != null2010-07-22 12:56:56
    +postnew ArrayList(ValidationContext#1) num objects == 12010-07-22 12:56:56
    +postnew ValidationContext(validateComment#1) num objects == 12010-07-22 12:56:56
    +postreturn_value == &new ValidationContext(validate Comment#1)2010-07-22 12:56:56
    +postreturn_value.errors == &new ArrayList(Validatio nContext#1)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56
    +unanalyzedcall on java.util.ArrayList2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashMap:put2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on javax.mail.internet.AddressException:getMes sage2010-07-22 12:56:56
    +unanalyzedcall on javax.mail.internet.InternetAddress2010-07-22 12:56:56
    +unanalyzedcall on javax.mail.internet.InternetAddress:validat e2010-07-22 12:56:56