| method | Collection getEmailAddresses(TrackBack) |
| pre | init'ed(trackBack.blogEntry.user) |
| pre | trackBack != null |
| pre | trackBack.blogEntry != null |
| pre | (soft) init'ed(trackBack.blogEntry.author) |
| post | return_value == &new HashSet(getEmailAddresses# 1) |
| post | trackBack.blogEntry.user != null |
| post | new HashSet(getEmailAddresses#1) num objects == 1 |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance |
| unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration |
| unanalyzed | call on getSecurityRealm |
| unanalyzed | call on net.sourceforge.pebble.security. SecurityRealm:getUser |
| unanalyzed | call on org.apache.commons.logging.Log:error |