| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) | 2010-07-22 12:56:56 |
| + | pre | (soft) init'ed(this.blog.id) | 2010-07-22 12:56:56 |
| + | pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null | 2010-07-22 12:56:56 |
| U |
pre | (soft) this.blog != null | 2010-07-16 16:14:15 |
| U |
pre | init'ed(this.originalPermalink) | 2010-07-16 16:14:15 |
| U |
post | init'ed(return_value) | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(this.permalink) | 2010-07-16 16:14:15 |
| - | unanalyzed | call on clone | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on getBlog | 2010-07-16 16:14:15 |
| - | unanalyzed | call on getBlogEntries | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getBlogEntry | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getBlogEntryDAO | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getBlogForDay | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getDate | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getId | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on getPermalink | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getPermalinkProvider | 2010-07-16 16:14:15 |
| - | unanalyzed | call on getTimeZone | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getTitle | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on getUrl | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.io.File | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.io.File:exists | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.io.File:getAbsolutePath | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Exception | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Exception:getMessage | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Exception:printStackTrace | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Long:parseLong | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:59:22 |
| + | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.lang.String:replaceAll | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.lang.String:toLowerCase | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.text.DateFormat:format | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.text.DateFormat:setTimeZone | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.text.SimpleDateFormat | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.text.SimpleDateFormat:setTimeZone | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Date | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.HashMap:get | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.HashMap:keySet | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.List:get | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.List:indexOf | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.List:size | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParser:parse | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:newInsta nce | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:newSAXPa rser | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:setNames paceAware | 2010-07-16 16:59:22 |
| - | unanalyzed | call on javax.xml.parsers.SAXParserFactory:setValid ating | 2010-07-16 16:59:22 |
| - | unanalyzed | call on loadBlogEntry | 2010-07-16 16:59:22 |
| + | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance | 2010-07-22 12:56:56 |
| - | unanalyzed | call on net.sourceforge.pebble.dao.PersistenceExcep tion | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.Blog:error | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.domain.BlogService | 2010-07-16 16:59:22 |
| - | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-16 16:59:22 |
| - | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:59:22 |
| - | unanalyzed | call on org.xml.sax.helpers.DefaultHandler | 2010-07-16 16:59:22 |
| - | unanalyzed | call on setEventsEnabled | 2010-07-16 16:59:22 |
| - | unanalyzed | call on setPersistent | 2010-07-16 16:59:22 |
| U |
test_vector | this.originalPermalink: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| - | pre | (soft) init'ed(net.sourceforge.pebble. PebbleContext__static_init.new PebbleContext(Pebble Context__static_init#1).configuration... dataDirectory) | 2010-07-16 16:59:22 |
| - | pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_READER_ROLE) | 2010-07-16 16:59:22 |
| + | pre | (soft) init'ed(this.author) | 2010-07-22 12:56:56 |
| - | pre | (soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration != null | 2010-07-16 16:59:22 |
| - | pre | (soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__ static_init#1).configuration.securityRealm != null | 2010-07-16 16:59:22 |
| - | pre | (soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__ static_init#1).configuration.securityRealm. configuration != null | 2010-07-16 16:59:22 |
| U |
pre | init'ed(this.user) | 2010-07-16 16:14:15 |
| + | presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...).securityRealm@216 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@216 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@216 != null | 2010-07-22 12:56:56 |
| U |
presumption | org.apache.commons.logging.LogFactory:getLog(... )@21 != null | 2010-07-16 16:14:15 |
| - | post | init'ed(new PebbleUserDetails(getUser#4*). detailsUpdateable) | 2010-07-16 16:59:22 |
| - | post | init'ed(new PebbleUserDetails(getUser#4*). emailAddress) | 2010-07-16 16:59:22 |
| - | post | init'ed(new PebbleUserDetails(getUser#4*). grantedAuthories) | 2010-07-16 16:59:22 |
| - | post | init'ed(new PebbleUserDetails(getUser#4*).name) | 2010-07-16 16:59:22 |
| - | post | init'ed(new PebbleUserDetails(getUser#4*). password) | 2010-07-16 16:59:22 |
| - | post | init'ed(new PebbleUserDetails(getUser#4*).profile) | 2010-07-16 16:59:22 |
| - | post | init'ed(new PebbleUserDetails(getUser#4*). username) | 2010-07-16 16:59:22 |
| - | post | init'ed(new PebbleUserDetails(getUser#4*).website) | 2010-07-16 16:59:22 |
| U |
post | init'ed(return_value) | 2010-07-16 16:14:15 |
| - | post | new HashMap(PebbleUserDetails#1) num objects <= 1 | 2010-07-16 16:59:22 |
| - | post | new HashMap(getUser#3*) num objects <= 1 | 2010-07-16 16:59:22 |
| - | post | new PebbleUserDetails(getUser#4*) num objects <= 1 | 2010-07-16 16:59:22 |
| - | post | new PebbleUserDetails(getUser#4*).preferences == &new HashMap(getUser#3*) | 2010-07-16 16:59:22 |
| - | post | new PebbleUserDetails(getUser#4*).username == this.author | 2010-07-16 16:59:22 |
| - | post | return_value == One-of{old this.user, null, &new PebbleUserDetails(getUser#4*)} | 2010-07-16 16:59:22 |
| U |
post | this.user == return_value | 2010-07-16 16:14:15 |
| - | unanalyzed | call on getDataDirectory | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getFileForRealm | 2010-07-16 16:59:22 |
| - | unanalyzed | call on getFileForUser | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.io.File | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.io.File:exists | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.io.FileInputStream | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.io.FileInputStream:close | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.Exception | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.String:equalsIgnoreCase | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.String:length | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.String:split | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.String:trim | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.HashMap | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.HashSet | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Map:put | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Properties | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Properties:getProperty | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Properties:keySet | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Properties:load | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Set:add | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:59:22 |
| - | unanalyzed | call on java.util.Set:toArray | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.PebbleException | 2010-07-16 16:59:22 |
| - | unanalyzed | call on net.sourceforge.pebble.security. SecurityRealmException | 2010-07-16 16:59:22 |
| - | unanalyzed | call on org.acegisecurity.GrantedAuthorityImpl | 2010-07-16 16:59:22 |
| U |
test_vector | this.user: Inverse{null}, Addr_Set{null} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
post | init'ed(this.blog) | 2010-07-16 16:14:15 |
| U |
post | init'ed(this.date) | 2010-07-16 16:14:15 |
| U |
post | init'ed(this.eventsEnabled) | 2010-07-16 16:14:15 |
| U |
post | init'ed(this.lockedBy) | 2010-07-16 16:14:15 |
| U |
post | init'ed(this.persistent) | 2010-07-16 16:14:15 |
| U |
post | new ArrayList(Content#1) num objects == 1 | 2010-07-16 16:14:15 |
| U |
post | new ArrayList(Content#3) num objects == 1 | 2010-07-16 16:14:15 |
| U |
post | new Date(PageBasedContent#2) num objects == 1 | 2010-07-16 16:14:15 |
| U |
post | new LinkedList(PageBasedContent#1) num objects == 1 | 2010-07-16 16:14:15 |
| U |
post | new PropertyChangeSupport(Content#2) num objects == 1 | 2010-07-16 16:14:15 |
| U |
post | possibly_updated(this.id) | 2010-07-16 16:14:15 |
| U |
post | this.author == &"" | 2010-07-16 16:14:15 |
| U |
post | this.blog == blog | 2010-07-16 16:14:15 |
| U |
post | this.body == &"" | 2010-07-16 16:14:15 |
| U |
post | this.events == &new ArrayList(Content#1) | 2010-07-16 16:14:15 |
| U |
post | this.permalink == One-of{null, undefined} | 2010-07-16 16:14:15 |
| U |
post | this.permalink == null | 2010-07-16 16:14:15 |
| U |
post | this.propertyChangeEvents == &new ArrayList(Content#3) | 2010-07-16 16:14:15 |
| U |
post | this.propertyChangeSupport == &new PropertyChangeSupport(Content#2) | 2010-07-16 16:14:15 |
| U |
post | this.subtitle == &"" | 2010-07-16 16:14:15 |
| U |
post | this.tags == &"" | 2010-07-16 16:14:15 |
| U |
post | this.tagsAsCommaSeparated == &"" | 2010-07-16 16:14:15 |
| U |
post | this.tagsAsList == &new LinkedList(PageBasedCon tent#1) | 2010-07-16 16:14:15 |
| U |
post | this.title == &"" | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.beans.PropertyChangeSupport | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Date:getTime | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | init'ed(this.blog) | 2010-07-16 16:14:15 |
| U |
pre | init'ed(this.tags) | 2010-07-16 16:14:15 |
| U |
pre | this.propertyChangeSupport != null | 2010-07-16 16:14:15 |
| U |
post | init'ed(this.tags) | 2010-07-16 16:14:15 |
| U |
post | new ArrayList(parse#1) num objects == 1 | 2010-07-16 16:14:15 |
| U |
post | this.tagsAsCommaSeparated != null | 2010-07-16 16:14:15 |
| U |
post | this.tagsAsList == &new ArrayList(parse#1) | 2010-07-16 16:14:15 |
| - | unanalyzed | call on getAllTags | 2010-07-16 16:59:22 |
| U |
unanalyzed | call on getRootCategory | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getTagsAsList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:replaceAll | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:split | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:toLowerCase | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:trim | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:reverse | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.HashSet | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Set:size | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:indexOf(...)@276: {-231. .-1}, {0..232-1} | 2010-07-16 16:14:15 |
| U |
test_vector | newTags: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15 |