| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-16 16:14:15 |
| U |
pre | event != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@51 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.state@51 != null | 2010-07-16 16:14:15 |
| + | presumption | getAuthorIndex(...).authors@51 != null | 2010-07-22 12:56:56 |
| + | presumption | getAuthorIndex(...).blog@51 != null | 2010-07-22 12:56:56 |
| + | presumption | getBlog(...).authorIndex@51 != null | 2010-07-22 12:56:56 |
| U |
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getAuthor | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getId | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on isPublished | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.File | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.FileWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:equals | 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.LinkedList | 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:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:get | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:keySet | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:put | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-16 16:14:15 |
| U |
pre | event != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@79 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@80 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.state@80 != null | 2010-07-16 16:14:15 |
| + | presumption | getAuthorIndex(...).authors@79 != null | 2010-07-22 12:56:56 |
| + | presumption | getAuthorIndex(...).authors@80 != null | 2010-07-22 12:56:56 |
| + | presumption | getAuthorIndex(...).blog@79 != null | 2010-07-22 12:56:56 |
| + | presumption | getAuthorIndex(...).blog@80 != null | 2010-07-22 12:56:56 |
| + | presumption | getBlog(...).authorIndex@79 != null | 2010-07-22 12:56:56 |
| + | presumption | getBlog(...).authorIndex@80 != null | 2010-07-22 12:56:56 |
| U |
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getAuthor | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getId | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on isPublished | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.File | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.FileWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:equals | 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.LinkedList | 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:isEmpty | 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.List:remove | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:get | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:keySet | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:put | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:remove | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | event != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@61 != null | 2010-07-16 16:14:15 |
| + | presumption | getAuthorIndex(...).authors@61 != null | 2010-07-22 12:56:56 |
| + | presumption | getAuthorIndex(...).blog@61 != null | 2010-07-22 12:56:56 |
| + | presumption | getBlog(...).authorIndex@61 != null | 2010-07-22 12:56:56 |
| U |
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getAuthor | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getId | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.File | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.FileWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.List:isEmpty | 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.List:remove | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:get | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:keySet | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:remove | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-16 16:14:15 |
| U |
pre | event != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@90 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.blog@91 != null | 2010-07-16 16:14:15 |
| U |
presumption | blogEntry.state@91 != null | 2010-07-16 16:14:15 |
| + | presumption | getAuthorIndex(...).authors@90 != null | 2010-07-22 12:56:56 |
| + | presumption | getAuthorIndex(...).authors@91 != null | 2010-07-22 12:56:56 |
| + | presumption | getAuthorIndex(...).blog@90 != null | 2010-07-22 12:56:56 |
| + | presumption | getAuthorIndex(...).blog@91 != null | 2010-07-22 12:56:56 |
| + | presumption | getBlog(...).authorIndex@90 != null | 2010-07-22 12:56:56 |
| + | presumption | getBlog(...).authorIndex@91 != null | 2010-07-22 12:56:56 |
| U |
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getAuthor | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on getId | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on isPublished | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.File | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.FileWriter | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:equals | 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.LinkedList | 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:isEmpty | 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.List:remove | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:get | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:keySet | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:put | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Map:remove | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15 |