| method | void indexBlogEntries(Collection) |
| pre | (soft) blogEntries != null |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null |
| pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null |
| pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) |
| pre | (soft) this.blog != null |
| pre | (soft) this.blog.properties != null |
| presumption | blogEntry.blog.rootCategory@106 != null |
| presumption | blogEntry.blog@106 != null |
| presumption | blogEntry.comments@106 != null |
| presumption | blogEntry.state@106 != null |
| presumption | blogEntry.tagsAsList@106 != null |
| presumption | java.util.Iterator:next(...)@106 != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@69 != null |
| unanalyzed | call on getTitle |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on getId |
| unanalyzed | call on java.lang.Exception:getMessage |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on isPublished |
| unanalyzed | call on org.apache.lucene.document.Document |
| unanalyzed | call on org.apache.lucene.document.Field:Keyword |
| unanalyzed | call on org.apache.lucene.document.Document:add |
| unanalyzed | call on org.apache.lucene.document.Field:Text |
| unanalyzed | call on getPermalink |
| unanalyzed | call on getDate |
| unanalyzed | call on org.apache.lucene.document.DateField:dateTo String |
| unanalyzed | call on org.apache.lucene.document.Field:UnIndexed |
| unanalyzed | call on getBody |
| unanalyzed | call on org.apache.lucene.document.Field:UnStored |
| unanalyzed | call on getTruncatedContent |
| unanalyzed | call on getAuthor |
| unanalyzed | call on getCategories |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on getAllTags |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on getName |
| unanalyzed | call on getComments |
| unanalyzed | call on isApproved |
| unanalyzed | call on getTrackBacks |
| unanalyzed | call on getExcerpt |
| unanalyzed | call on org.apache.lucene.index.IndexWriter:addDocu ment |
| unanalyzed | call on getLuceneAnalyzer |
| unanalyzed | call on java.lang.Class:forName |
| unanalyzed | call on java.lang.Class:newInstance |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on getLocalPermalink |
| unanalyzed | call on getBlog |
| unanalyzed | call on getUrl |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on getContent |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.Collections:reverse |
| unanalyzed | call on getRootCategory |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on getState |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on getPermalinkProvider |
| test_vector | java.util.Iterator:hasNext(...)@106: {1}, {0} |
| method | void indexStaticPages(Collection) |
| pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null |
| pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) |
| pre | (soft) staticPages != null |
| pre | (soft) this.blog != null |
| pre | (soft) this.blog.properties != null |
| presumption | java.util.Iterator:next(...)@126 != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@69 != null |
| presumption | staticPage.blog@126 != null |
| unanalyzed | call on getTitle |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on getId |
| unanalyzed | call on java.lang.Exception:getMessage |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.lucene.document.Document |
| unanalyzed | call on org.apache.lucene.document.Field:Keyword |
| unanalyzed | call on org.apache.lucene.document.Document:add |
| unanalyzed | call on org.apache.lucene.document.Field:Text |
| unanalyzed | call on getPermalink |
| unanalyzed | call on getDate |
| unanalyzed | call on org.apache.lucene.document.DateField:dateTo String |
| unanalyzed | call on org.apache.lucene.document.Field:UnIndexed |
| unanalyzed | call on getBody |
| unanalyzed | call on org.apache.lucene.document.Field:UnStored |
| unanalyzed | call on getTruncatedContent |
| unanalyzed | call on getAuthor |
| unanalyzed | call on org.apache.lucene.index.IndexWriter:addDocu ment |
| unanalyzed | call on getLuceneAnalyzer |
| unanalyzed | call on java.lang.Class:forName |
| unanalyzed | call on java.lang.Class:newInstance |
| unanalyzed | call on getLocalPermalink |
| unanalyzed | call on getBlog |
| unanalyzed | call on getUrl |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on getContent |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on getPermalinkProvider |
| test_vector | java.util.Iterator:hasNext(...)@126: {1}, {0} |
| method | void index(BlogEntry) |
| pre | (soft) blogEntry != null |
| pre | (soft) init'ed(blogEntry.author) |
| pre | (soft) blogEntry.blog != null |
| pre | (soft) init'ed(blogEntry.blog.id) |
| pre | (soft) blogEntry.blog.rootCategory != null |
| pre | (soft) init'ed(blogEntry.blog.rootCategory... parent) |
| pre | (soft) init'ed(blogEntry.blog.rootCategory... tagsAsList) |
| pre | (soft) init'ed(blogEntry.blog.rootCategory.parent) |
| pre | (soft) init'ed(blogEntry.blog.rootCategory. tagsAsList) |
| pre | (soft) init'ed(blogEntry.body) |
| pre | (soft) init'ed(blogEntry.categories) |
| pre | (soft) blogEntry.comments != null |
| pre | (soft) init'ed(blogEntry.date) |
| pre | (soft) init'ed(blogEntry.excerpt) |
| pre | (soft) init'ed(blogEntry.id) |
| pre | (soft) init'ed(blogEntry.originalPermalink) |
| pre | (soft) blogEntry.state != null |
| pre | (soft) init'ed(blogEntry.state.name) |
| pre | (soft) blogEntry.tagsAsList != null |
| pre | (soft) init'ed(blogEntry.title) |
| pre | (soft) init'ed(blogEntry.trackBacks) |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null |
| pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null |
| pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) |
| pre | (soft) this.blog != null |
| pre | (soft) this.blog.properties != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@69 != null |
| post | possibly_updated(blogEntry.permalink) |
| unanalyzed | call on getTitle |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getSearchIndexDirectory |
| unanalyzed | call on org.apache.lucene.index.IndexReader:open |
| unanalyzed | call on getId |
| unanalyzed | call on org.apache.lucene.index.Term |
| unanalyzed | call on org.apache.lucene.index.IndexReader:delete |
| unanalyzed | call on org.apache.lucene.index.IndexReader:close |
| unanalyzed | call on java.lang.Exception:getMessage |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on isPublished |
| unanalyzed | call on org.apache.lucene.document.Document |
| unanalyzed | call on org.apache.lucene.document.Field:Keyword |
| unanalyzed | call on org.apache.lucene.document.Document:add |
| unanalyzed | call on org.apache.lucene.document.Field:Text |
| unanalyzed | call on getPermalink |
| unanalyzed | call on getDate |
| unanalyzed | call on org.apache.lucene.document.DateField:dateTo String |
| unanalyzed | call on org.apache.lucene.document.Field:UnIndexed |
| unanalyzed | call on getBody |
| unanalyzed | call on org.apache.lucene.document.Field:UnStored |
| unanalyzed | call on getTruncatedContent |
| unanalyzed | call on getAuthor |
| unanalyzed | call on getCategories |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on getAllTags |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on getName |
| unanalyzed | call on getComments |
| unanalyzed | call on isApproved |
| unanalyzed | call on getTrackBacks |
| unanalyzed | call on getExcerpt |
| unanalyzed | call on org.apache.lucene.index.IndexWriter:addDocu ment |
| unanalyzed | call on getLuceneAnalyzer |
| unanalyzed | call on java.lang.Class:forName |
| unanalyzed | call on java.lang.Class:newInstance |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on getLocalPermalink |
| unanalyzed | call on getBlog |
| unanalyzed | call on getUrl |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on getContent |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.Collections:reverse |
| unanalyzed | call on getRootCategory |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on getState |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on getPermalinkProvider |
| method | void index(StaticPage) |
| pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null |
| pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) |
| pre | (soft) staticPage != null |
| pre | (soft) init'ed(staticPage.author) |
| pre | (soft) staticPage.blog != null |
| pre | (soft) init'ed(staticPage.blog.id) |
| pre | (soft) init'ed(staticPage.body) |
| pre | (soft) init'ed(staticPage.date) |
| pre | (soft) init'ed(staticPage.excerpt) |
| pre | (soft) init'ed(staticPage.id) |
| pre | (soft) init'ed(staticPage.originalPermalink) |
| pre | (soft) init'ed(staticPage.title) |
| pre | (soft) this.blog != null |
| pre | (soft) this.blog.properties != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@69 != null |
| post | possibly_updated(staticPage.permalink) |
| unanalyzed | call on getTitle |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getSearchIndexDirectory |
| unanalyzed | call on org.apache.lucene.index.IndexReader:open |
| unanalyzed | call on getId |
| unanalyzed | call on org.apache.lucene.index.Term |
| unanalyzed | call on org.apache.lucene.index.IndexReader:delete |
| unanalyzed | call on org.apache.lucene.index.IndexReader:close |
| unanalyzed | call on java.lang.Exception:getMessage |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.lucene.document.Document |
| unanalyzed | call on org.apache.lucene.document.Field:Keyword |
| unanalyzed | call on org.apache.lucene.document.Document:add |
| unanalyzed | call on org.apache.lucene.document.Field:Text |
| unanalyzed | call on getPermalink |
| unanalyzed | call on getDate |
| unanalyzed | call on org.apache.lucene.document.DateField:dateTo String |
| unanalyzed | call on org.apache.lucene.document.Field:UnIndexed |
| unanalyzed | call on getBody |
| unanalyzed | call on org.apache.lucene.document.Field:UnStored |
| unanalyzed | call on getTruncatedContent |
| unanalyzed | call on getAuthor |
| unanalyzed | call on org.apache.lucene.index.IndexWriter:addDocu ment |
| unanalyzed | call on getLuceneAnalyzer |
| unanalyzed | call on java.lang.Class:forName |
| unanalyzed | call on java.lang.Class:newInstance |
| unanalyzed | call on getLocalPermalink |
| unanalyzed | call on getBlog |
| unanalyzed | call on getUrl |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on getContent |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on getPermalinkProvider |
| method | void index(BlogEntry, IndexWriter) |
| pre | blogEntry != null |
| pre | blogEntry.state != null |
| pre | (soft) init'ed(blogEntry.author) |
| pre | (soft) blogEntry.blog != null |
| pre | (soft) init'ed(blogEntry.blog.id) |
| pre | (soft) blogEntry.blog.rootCategory != null |
| pre | (soft) init'ed(blogEntry.blog.rootCategory... parent) |
| pre | (soft) init'ed(blogEntry.blog.rootCategory... tagsAsList) |
| pre | (soft) init'ed(blogEntry.blog.rootCategory.parent) |
| pre | (soft) init'ed(blogEntry.blog.rootCategory. tagsAsList) |
| pre | (soft) init'ed(blogEntry.body) |
| pre | (soft) init'ed(blogEntry.categories) |
| pre | (soft) blogEntry.comments != null |
| pre | (soft) init'ed(blogEntry.date) |
| pre | (soft) init'ed(blogEntry.excerpt) |
| pre | (soft) init'ed(blogEntry.id) |
| pre | (soft) init'ed(blogEntry.originalPermalink) |
| pre | (soft) init'ed(blogEntry.state.name) |
| pre | (soft) blogEntry.tagsAsList != null |
| pre | (soft) init'ed(blogEntry.title) |
| pre | (soft) init'ed(blogEntry.trackBacks) |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null |
| pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null |
| pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) |
| pre | (soft) writer != null |
| presumption | comment.state@287 != null |
| presumption | java.util.Iterator:next(...)@276 != null |
| presumption | java.util.Iterator:next(...)@280 != null |
| presumption | java.util.Iterator:next(...)@287 != null |
| presumption | java.util.Iterator:next(...)@295 != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@69 != null |
| presumption | trackBack.state@295 != null |
| post | possibly_updated(blogEntry.permalink) |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on getLocalPermalink |
| unanalyzed | call on getBlog |
| unanalyzed | call on getUrl |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on getContent |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.Collections:reverse |
| unanalyzed | call on getRootCategory |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on getComments |
| unanalyzed | call on getState |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on getPermalinkProvider |
| unanalyzed | call on getPermalink |
| test_vector | blogEntry.author: Addr_Set{null}, Inverse{null} |
| test_vector | blogEntry.body: Addr_Set{null}, Inverse{null} |
| test_vector | blogEntry.title: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.Iterator:hasNext(...)@276: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@280: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@286: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@294: {1}, {0} |
| test_vector | net.sourceforge.pebble.util.StringUtils:truncate(.. .)@101: Addr_Set{null}, Inverse{null} |
| method | void index(StaticPage, IndexWriter) |
| pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null |
| pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) |
| pre | (soft) staticPage != null |
| pre | (soft) init'ed(staticPage.author) |
| pre | (soft) staticPage.blog != null |
| pre | (soft) init'ed(staticPage.blog.id) |
| pre | (soft) init'ed(staticPage.body) |
| pre | (soft) init'ed(staticPage.date) |
| pre | (soft) init'ed(staticPage.excerpt) |
| pre | (soft) init'ed(staticPage.id) |
| pre | (soft) init'ed(staticPage.originalPermalink) |
| pre | (soft) init'ed(staticPage.title) |
| pre | (soft) writer != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@69 != null |
| post | possibly_updated(staticPage.permalink) |
| unanalyzed | call on getLocalPermalink |
| unanalyzed | call on getBlog |
| unanalyzed | call on getUrl |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on getContent |
| unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on getPermalinkProvider |
| unanalyzed | call on getPermalink |
| test_vector | staticPage.author: Addr_Set{null}, Inverse{null} |
| test_vector | staticPage.body: Addr_Set{null}, Inverse{null} |
| test_vector | staticPage.title: Addr_Set{null}, Inverse{null} |
| test_vector | net.sourceforge.pebble.util.StringUtils:truncate(.. .)@101: Addr_Set{null}, Inverse{null} |
| method | SearchResults search(String) |
| pre | (soft) this.blog != null |
| pre | (soft) this.blog.properties != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@69 != null |
| presumption | org.apache.lucene.search.Hits:doc(...)@375 != null |
| presumption | org.apache.lucene.search.Searcher:search(...)@372 != null |
| post | return_value == &new SearchResults(search#2) |
| post | new SearchResults(search#2) num objects == 1 |
| unanalyzed | call on getLuceneAnalyzer |
| unanalyzed | call on java.lang.Class:forName |
| unanalyzed | call on java.lang.Class:newInstance |
| unanalyzed | call on java.util.Properties:getProperty |
| test_vector | queryString: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:length(...)@366: {0}, {1..232-1} |