privateblogfilterinvocationdefinitionsource.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


  • ConfigAttributeDefinition getAttributes(Object)

    • -/+ Kind Annotation Text Date
    +preobject != null2010-07-22 12:56:56
    +presumptionjava.lang.Class:isAssignableFrom(...)@124 == 12010-07-22 12:56:56
    +presumptionjavax.servlet.http.HttpServletRequest:getAttribute( ...)@77 != null2010-07-22 12:56:56
    +presumptionorg.acegisecurity.intercept.web.FilterInvocation:ge tHttpRequest(...)@76 != null2010-07-22 12:56:56
    +presumptionorg.acegisecurity.intercept.web.FilterInvocation:ge tHttpRequest(...)@93 != null2010-07-22 12:56:56
    +postnew PrivateBlogConfigAttributeDefinition(getAttribu tes#1) num objects <= 12010-07-22 12:56:56
    +postnew PrivateBlogConfigAttributeDefinition(getAttribu tes#1).blog != null2010-07-22 12:56:56
    +postreturn_value in Addr_Set{null,&new PrivateBlogConfigAttributeDefinition(getAttributes #1)}2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Class:isAssignableFrom2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.ConfigAttributeDefinition 2010-07-22 12:56:56
    +test_vectorjava.lang.String:endsWith(...)@79: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:endsWith(...)@80: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@85: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@86: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@87: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:startsWith(...)@81: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:startsWith(...)@82: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:startsWith(...)@83: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:startsWith(...)@84: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:startsWith(...)@88: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.util.List:size(...)@97: {-231..0}, {1..232-1}2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.Blog:getBlogReaders(. ..)@96: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • Iterator getConfigAttributeDefinitions()

    • -/+ Kind Annotation Text Date
    +postreturn_value == null2010-07-22 12:56:56

  • void net.sourceforge.pebble.security.PrivateBlogFilterInvocationDefinitionSource()

    • -/+ Kind Annotation Text Date

  • net.sourceforge.pebble.security.PrivateBlogFilterInvocationDefinitionSource__static_init

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

  • bool supports(Class)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2010-07-22 12:56:56
    +test_vectorjava.lang.Class:isAssignableFrom(...)@124: {0}, {1}2010-07-22 12:56:56