Messages

Last Msg First Msg

method	net.sourceforge.pebble.domain.BlogEntry__static_ init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void net.sourceforge.pebble.domain. BlogEntry(Blog)
post	this.author == &""
post	this.body == &""
post	this.excerpt == &""
post	this.subtitle == &""
post	this.tags == &""
post	this.tagsAsCommaSeparated == &""
post	this.title == &""
post	this.blog == blog
post	init'ed(this.blog)
post	this.categories == &new HashSet(BlogEntry#1)
post	this.comments == &new ArrayList(BlogEntry#2)
post	this.commentsEnabled == 1
post	this.trackBacksEnabled == 1
post	new ArrayList(BlogEntry#2) num objects == 1
post	new ArrayList(BlogEntry#3) num objects == 1
post	new ArrayList(Content#1) num objects == 1
post	new ArrayList(Content#3) num objects == 1
post	new Date(PageBasedContent#2) num objects == 1
post	new HashSet(BlogEntry#1) num objects == 1
post	new LinkedList(PageBasedContent#1) num objects == 1
post	new PropertyChangeSupport(Content#2) num objects == 1
post	init'ed(this.date)
post	this.events == &new ArrayList(Content#1)
post	init'ed(this.eventsEnabled)
post	possibly_updated(this.id)
post	init'ed(this.lockedBy)
post	this.permalink == null
post	init'ed(this.persistent)
post	this.propertyChangeEvents == &new ArrayList(Content#3)
post	this.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post	this.state == &net.sourceforge.pebble.domain. State__static_init.new State(State__static_init#4)
post	this.tagsAsList == &new LinkedList(PageBasedCon tent#1)
post	this.trackBacks == &new ArrayList(BlogEntry#3)
unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:equals
unanalyzed	call on setState
unanalyzed	call on java.util.EventObject
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.beans.PropertyChangeSupport
unanalyzed	call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.Date
unanalyzed	call on setDate

method	void setTitle(String)
pre	init'ed(this.title)
pre	this.propertyChangeSupport != null
post	this.permalink == null
post	this.title == newTitle
post	init'ed(this.title)
unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange

method	Set getCategories()
pre	init'ed(this.categories)
post	return_value == &new HashSet(getCategories#1)
post	new HashSet(getCategories#1) num objects == 1

method	List getAllTags()
pre	init'ed(this.categories)
pre	this.tagsAsList != null
pre	(soft) this.blog != null
presumption	java.util.Iterator:next(...)@144 != null
post	return_value == &new ArrayList(getAllTags#1)
post	new ArrayList(getAllTags#1) num objects == 1
unanalyzed	call on java.util.HashSet
pre	(soft) this.blog.rootCategory != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll
test_vector	java.util.Iterator:hasNext(...)@148: {1}, {0}
pre	(soft) init'ed(this.blog.rootCategory...parent)
pre	(soft) init'ed(this.blog.rootCategory... tagsAsList)
test_vector	java.util.Iterator:hasNext(...)@158: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@167: {1}, {0}
test_vector	java.util.List:contains(...)@150: {1}, {0}
pre	(soft) init'ed(this.blog.rootCategory.parent)
test_vector	java.util.List:contains(...)@160: {1}, {0}
pre	(soft) init'ed(this.blog.rootCategory.tagsAsList)
test_vector	java.util.List:contains(...)@169: {1}, {0}
test_vector	java.util.Set:size(...)@141: {-2³¹..0}, {1..2³²-1}

method	void addCategory(Category)
pre	(soft) this.categories != null
pre	(soft) this.propertyChangeSupport != null
test_vector	category: Addr_Set{null}, Inverse{null}
test_vector	java.util.Set:contains(...)@184: {1}, {0}

method	void removeAllCategories()
pre	this.categories != null
pre	this.propertyChangeSupport != null

method	void setCategories(Collection)
pre	(soft) this.categories != null
pre	(soft) this.propertyChangeSupport != null
test_vector	newCategories: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@210: {1}, {0}

method	bool inCategory(Category)
pre	(soft) category.id != null
pre	(soft) this.categories != null
presumption	java.util.Iterator:next(...)@228 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.String:equals
test_vector	category: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@227: {1}, {0}

method	bool hasTag(String)
pre	(soft) this.blog != null
pre	(soft) init'ed(this.categories)
pre	(soft) this.tagsAsList != null
post	init'ed(return_value)
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.Collections:reverse
unanalyzed	call on getRootCategory
unanalyzed	call on java.util.Collections:sort
pre	(soft) this.blog.rootCategory != null
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:toLowerCase
pre	(soft) init'ed(this.blog.rootCategory...parent)
unanalyzed	call on java.lang.String:replaceAll
pre	(soft) init'ed(this.blog.rootCategory... tagsAsList)
unanalyzed	call on java.util.List:addAll
test_vector	s: Addr_Set{null}, Inverse{null}
pre	(soft) init'ed(this.blog.rootCategory.parent)
pre	(soft) init'ed(this.blog.rootCategory.tagsAsList)

method	String getContent()
pre	init'ed(this.excerpt)
pre	(soft) init'ed(this.body)
post	return_value == One-of{this.excerpt, this.body}
post	(soft) init'ed(return_value)
test_vector	this.excerpt: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@261: {0}, {1..2³²-1}

method	String getExcerpt()
pre	init'ed(this.excerpt)
post	return_value == this.excerpt
post	init'ed(return_value)

method	void setExcerpt(String)
pre	init'ed(this.excerpt)
pre	this.propertyChangeSupport != null
post	init'ed(this.excerpt)
test_vector	newExcerpt: Addr_Set{null}, Inverse{null}

method	Date getLastModified()
pre	this.comments != null
pre	init'ed(this.date)
pre	this.trackBacks != null
presumption	comment.date@300 != null
presumption	java.util.Iterator:next(...)@300 != null
presumption	java.util.Iterator:next(...)@308 != null
presumption	trackBack.date@308 != null
post	init'ed(return_value)
test_vector	java.util.Date:after(...)@301: {0}, {1}
test_vector	java.util.Date:after(...)@309: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@299: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@307: {1}, {0}

method	void setDate(Date)
pre	newDate != null
pre	init'ed(this.date)
pre	this.propertyChangeSupport != null
post	this.date == newDate
post	this.date != null
post	this.id != null
post	this.permalink == null
unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed	call on java.util.Date:getTime

method	String getLocalPermalink()
pre	init'ed(this.permalink)
pre	(soft) this.blog != null
post	init'ed(return_value)
post	this.permalink == return_value
test_vector	this.permalink: Inverse{null}, Addr_Set{null}
test_vector	getPermalink(...)@338: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@339: {0}, {1..2³²-1}
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre	(soft) init'ed(this.blog.id)
pre	(soft) this.blog.permalinkProvider != null
unanalyzed	call on java.lang.String:valueOf
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

info method not available -- call on String getPermalink(BlogEntry)

method	Attachment getAttachment()
pre	init'ed(this.attachment)
post	return_value == this.attachment
post	init'ed(return_value)

method	void setAttachment(Attachment)
pre	init'ed(this.attachment)
pre	this.propertyChangeSupport != null
post	this.attachment == newAttachment
post	init'ed(this.attachment)

method	bool isCommentsEnabled()
pre	init'ed(this.commentsEnabled)
post	return_value == this.commentsEnabled
post	init'ed(return_value)

method	void setCommentsEnabled(bool)
pre	init'ed(this.commentsEnabled)
pre	this.propertyChangeSupport != null
post	this.commentsEnabled == newCommentsEnabled
post	init'ed(this.commentsEnabled)

method	String getCommentsLink()
pre	init'ed(this.permalink)
pre	(soft) this.blog != null
post	return_value != null
post	init'ed(this.permalink)
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on getUrl
unanalyzed	call on getPermalinkProvider
unanalyzed	call on java.lang.String:length
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre	(soft) init'ed(this.blog.id)
pre	(soft) this.blog.permalinkProvider != null
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 getPermalink

method	bool isTrackBacksEnabled()
pre	init'ed(this.trackBacksEnabled)
post	return_value == this.trackBacksEnabled
post	init'ed(return_value)

method	void setTrackBacksEnabled(bool)
pre	init'ed(this.trackBacksEnabled)
pre	this.propertyChangeSupport != null
post	this.trackBacksEnabled == newTrackBacksEnabled
post	init'ed(this.trackBacksEnabled)

method	String getTrackBacksLink()
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	init'ed(this.permalink)
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre	(soft) this.blog != null
pre	(soft) init'ed(this.blog.id)
post	return_value != null
post	init'ed(this.permalink)
pre	(soft) this.blog.permalinkProvider != null
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on getUrl
unanalyzed	call on getPermalinkProvider
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 getPermalink

method	String getTrackBackLink()
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre	(soft) init'ed(this.blog.id)
unanalyzed	call on java.lang.String:valueOf
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
pre	this.blog != null
pre	init'ed(this.id)
presumption	net.sourceforge.pebble.trackback.TrackBackTokenMana ger:getInstance(...)@433 != null
post	return_value != null

info method not available -- call on TrackBackTokenManager net.sourceforge. pebble.trackback.TrackBackTokenManager:getInstance( )

info method not available -- call on String net.sourceforge.pebble.trackback. TrackBackTokenManager:generateToken()

method	List getResponses()
pre	this.comments != null
pre	init'ed(this.trackBacks)
post	return_value == &new ArrayList(getResponses#1)
post	new ArrayList(getResponses#1) num objects == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:addAll

method	List getComments()
pre	this.comments != null
presumption	java.util.Iterator:next(...)@460 != null
post	return_value == &new ArrayList(getComments#1)
post	new ArrayList(getComments#1) num objects == 1
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll
test_vector	java.util.Iterator:hasNext(...)@459: {1}, {0}

method	List getComments(Comment)
pre	comment != null
pre	init'ed(comment.comments)
presumption	java.util.Iterator:next(...)@471 != null
post	return_value == &new ArrayList(getComments#1)
post	new ArrayList(getComments#1) num objects == 1
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll
test_vector	java.util.Iterator:hasNext(...)@470: {1}, {0}

method	int getNumberOfComments()
pre	this.comments != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll

method	List getTrackBacks()
pre	init'ed(this.trackBacks)
post	return_value == &new ArrayList(getTrackBacks#1)
post	new ArrayList(getTrackBacks#1) num objects == 1

method	int getNumberOfTrackBacks()
pre	this.trackBacks != null
post	init'ed(return_value)

method	int getNumberOfResponses()
pre	this.comments != null
pre	init'ed(this.trackBacks)
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:sort

method	Comment createComment(String, String, String, String, String, String, Date, State)
post	return_value == &new Comment(createComment#1)
post	new ArrayList(Comment#1) num objects == 1
post	new ArrayList(Content#1) num objects == 1
unanalyzed	call on getState
post	new ArrayList(Content#3) num objects == 1
unanalyzed	call on areEventsEnabled
post	new Comment(createComment#1) num objects == 1
post	new PropertyChangeSupport(Content#2) num objects == 1
unanalyzed	call on net.sourceforge.pebble.domain.Content
post	init'ed(return_value.authenticated)
post	return_value.author == One-of{&"Anonymous", author}
post	return_value.author != null
post	return_value.blogEntry == this
post	return_value.blogEntry != null
post	return_value.body == One-of{null, body}
post	init'ed(return_value.body)
post	return_value.comments == &new ArrayList(Comment #1)
post	init'ed(return_value.date)
post	init'ed(return_value.email)
unanalyzed	call on getBlogEntry
post	return_value.events == &new ArrayList(Content#1 )
post	init'ed(return_value.eventsEnabled)
post	return_value.ipAddress == One-of{null, ipAddress}
post	init'ed(return_value.ipAddress)
post	return_value.propertyChangeEvents == &new ArrayList(Content#3)
post	return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post	init'ed(return_value.spamScore)
unanalyzed	call on net.sourceforge.pebble.domain.Response
post	possibly_updated(return_value.state)
post	possibly_updated(return_value.title)
post	init'ed(return_value.website)
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.EventObject
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.beans.PropertyChangeSupport
unanalyzed	call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed	call on java.lang.String:length
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on isApproved
unanalyzed	call on isRejected
unanalyzed	call on java.util.Date
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on setState
unanalyzed	call on net.sourceforge.pebble.domain. Response:setState
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle

method	Comment createComment(String, String, String, String, String, String)
pre	this.blog != null
presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@544 != null
post	return_value == &new Comment(createComment#1*)
post	new ArrayList(Comment#1) num objects == 1
post	new ArrayList(Content#1) num objects == 1
post	new ArrayList(Content#3) num objects == 1
post	new Comment(createComment#1*) num objects == 1
post	new PropertyChangeSupport(Content#2) num objects == 1
unanalyzed	call on getState
unanalyzed	call on areEventsEnabled
post	init'ed(return_value.authenticated)
post	return_value.author == One-of{&"Anonymous", author}
post	return_value.author != null
post	return_value.blogEntry == this
unanalyzed	call on net.sourceforge.pebble.domain.Content
post	return_value.blogEntry != null
post	return_value.body == One-of{null, body}
post	init'ed(return_value.body)
post	return_value.comments == &new ArrayList(Comment #1)
post	init'ed(return_value.date)
post	init'ed(return_value.email)
post	return_value.events == &new ArrayList(Content#1 )
post	init'ed(return_value.eventsEnabled)
post	return_value.ipAddress == One-of{null, ipAddress}
post	init'ed(return_value.ipAddress)
unanalyzed	call on getBlogEntry
post	return_value.propertyChangeEvents == &new ArrayList(Content#3)
post	return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post	init'ed(return_value.spamScore)
post	possibly_updated(return_value.state)
post	possibly_updated(return_value.title)
post	init'ed(return_value.website)
unanalyzed	call on net.sourceforge.pebble.domain.Response
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.EventObject
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.beans.PropertyChangeSupport
unanalyzed	call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed	call on java.lang.String:length
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on isApproved
unanalyzed	call on isRejected
unanalyzed	call on java.util.Date
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on setState
unanalyzed	call on net.sourceforge.pebble.domain. Response:setState
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle

info method not available -- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()

method	void addComment(Comment)
pre	(soft) comment...date != null
pre	(soft) comment.blogEntry != null
pre	(soft) comment.date != null
pre	(soft) init'ed(comment.parent)
pre	(soft) this.comments != null
pre	(soft) this.events != null
pre	(soft) init'ed(this.eventsEnabled)
presumption	getParent(...).date@558 != null
presumption	java.util.Calendar:getTime(...)@187 != null
presumption	java.util.Date:getTime(...)@562 <= 18_446_744_073_7 09_551_614
presumption	parent.comments@568 != null
post	(soft) comment.blogEntry != null
post	possibly_updated(comment.date)
post	possibly_updated(comment.eventsEnabled)
post	init'ed(comment.parent)
unanalyzed	call on getComment
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.util.Date
unanalyzed	call on addComment
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.EventObject
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.util.List:contains
test_vector	comment: Inverse{null}, Addr_Set{null}
test_vector	comment.parent: Addr_Set{null}, Inverse{null}
test_vector	this.eventsEnabled: {0}, {1}

Prev Msg Next Msg

click for all messages in this file medium

null dereference check might fail: requires getDate(...) != null

Prev Msg Next Msg

Prev Msg Next Msg

click for all messages in this file medium

precondition failure net/sourceforge/pebble/domain/Response.getId: this.date != null

Prev Msg Next Msg

method	TrackBack createTrackBack(String, String, String, String, String, Date, State)
post	return_value == &new TrackBack(createTrackBack# 1)
unanalyzed	call on getState
post	new ArrayList(Content#1) num objects == 1
unanalyzed	call on areEventsEnabled
post	new ArrayList(Content#3) num objects == 1
post	new PropertyChangeSupport(Content#2) num objects == 1
post	new TrackBack(createTrackBack#1) num objects == 1
unanalyzed	call on net.sourceforge.pebble.domain.Content
post	return_value.blogEntry == this
post	return_value.blogEntry != null
post	return_value.blogName == One-of{blogName, &""}
post	return_value.blogName != null
post	init'ed(return_value.date)
post	return_value.events == &new ArrayList(Content#1 )
post	init'ed(return_value.eventsEnabled)
post	return_value.excerpt == One-of{excerpt, &""}
post	return_value.excerpt != null
unanalyzed	call on getBlogEntry
post	return_value.ipAddress == One-of{null, ipAddress}
post	init'ed(return_value.ipAddress)
post	return_value.propertyChangeEvents == &new ArrayList(Content#3)
post	return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post	init'ed(return_value.spamScore)
post	possibly_updated(return_value.state)
post	possibly_updated(return_value.title)
post	return_value.url == url
post	init'ed(return_value.url)
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.EventObject
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.beans.PropertyChangeSupport
unanalyzed	call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed	call on java.lang.String:length
unanalyzed	call on isApproved
unanalyzed	call on isRejected
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on java.util.Date
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on setState
unanalyzed	call on net.sourceforge.pebble.domain. Response:setState
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle

method	TrackBack createTrackBack(String, String, String, String, String)
pre	this.blog != null
presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@614 != null
post	return_value == &new TrackBack(createTrackBack# 1*)
post	new ArrayList(Content#1) num objects == 1
unanalyzed	call on getState
post	new ArrayList(Content#3) num objects == 1
unanalyzed	call on areEventsEnabled
post	new PropertyChangeSupport(Content#2) num objects == 1
post	new TrackBack(createTrackBack#1*) num objects == 1
post	return_value.blogEntry == this
post	return_value.blogEntry != null
unanalyzed	call on net.sourceforge.pebble.domain.Content
post	return_value.blogName == One-of{blogName, &""}
post	return_value.blogName != null
post	init'ed(return_value.date)
post	return_value.events == &new ArrayList(Content#1 )
post	init'ed(return_value.eventsEnabled)
post	return_value.excerpt == One-of{excerpt, &""}
post	return_value.excerpt != null
post	return_value.ipAddress == One-of{null, ipAddress}
post	init'ed(return_value.ipAddress)
unanalyzed	call on getBlogEntry
post	return_value.propertyChangeEvents == &new ArrayList(Content#3)
post	return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post	init'ed(return_value.spamScore)
post	possibly_updated(return_value.state)
post	possibly_updated(return_value.title)
post	return_value.url == url
post	init'ed(return_value.url)
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.EventObject
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.beans.PropertyChangeSupport
unanalyzed	call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed	call on java.lang.String:length
unanalyzed	call on isApproved
unanalyzed	call on isRejected
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on java.util.Date
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on setState
unanalyzed	call on net.sourceforge.pebble.domain. Response:setState
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle

info method not available -- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()

method	void addTrackBack(TrackBack)
pre	(soft) this.events != null
pre	(soft) init'ed(this.eventsEnabled)
pre	(soft) this.trackBacks != null
post	possibly_updated(trackBack.eventsEnabled)
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.EventObject
test_vector	this.eventsEnabled: {0}, {1}
test_vector	trackBack: Addr_Set{null}, Inverse{null}
test_vector	java.util.List:contains(...)@624: {0}, {1}

method	void removeComment(long)
unanalyzed	call on areEventsEnabled
unanalyzed	call on getBlogEntry
pre	(soft) log != null
pre	(soft) this.comments != null
pre	(soft) this.events != null
pre	(soft) init'ed(this.eventsEnabled)
presumption	child.blogEntry@646 != null
presumption	child.comments@646 != null
presumption	comment.blogEntry@646 != null
presumption	comment.blogEntry@647 != null
presumption	comment.comments@646 != null
presumption	comment.comments@647 != null
presumption	getParent(...).blogEntry@646 != null
presumption	getParent(...).blogEntry@647 != null
presumption	getParent(...).comments@646 != null
presumption	getParent(...).comments@647 != null
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on removeComment
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.EventObject
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:remove
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent
test_vector	java.util.Iterator:hasNext(...)@646: {1}, {0}

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

method	Comment getComment(long)
pre	this.comments != null
presumption	comment.date@673 != null
presumption	java.util.Iterator:next(...)@673 != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Date:getTime
test_vector	java.util.Iterator:hasNext(...)@672: {1}, {0}

method	TrackBack getTrackBack(long)
pre	init'ed(this.trackBacks)
presumption	java.util.Iterator:next(...)@690 != null
presumption	trackBack.date@690 != null
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Date:getTime
test_vector	java.util.Iterator:hasNext(...)@689: {1}, {0}

method	Response getResponse(String)
pre	guid != null
pre	(soft) this.comments != null
pre	(soft) init'ed(this.trackBacks)
presumption	java.lang.String:lastIndexOf(...)@706 <= 2³²-2
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Date:getTime
test_vector	java.lang.String:startsWith(...)@707: {0}, {1}

method	void removeTrackBack(long)
pre	(soft) log != null
pre	(soft) this.events != null
pre	(soft) init'ed(this.eventsEnabled)
pre	(soft) this.trackBacks != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.EventObject
unanalyzed	call on java.util.Date:getTime
test_vector	this.eventsEnabled: {0}, {1}

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

method	void removeResponse(Response)
unanalyzed	call on areEventsEnabled
unanalyzed	call on getBlogEntry
pre	(soft) log != null
pre	(soft) response.date != null
pre	(soft) this.comments != null
pre	(soft) this.events != null
pre	(soft) init'ed(this.eventsEnabled)
pre	(soft) this.trackBacks != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on getComment
unanalyzed	call on java.util.List:add
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on getTrackBack
unanalyzed	call on java.util.List:remove
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on removeComment
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.EventObject
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.util.List:contains
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent

method	BlogEntry getPreviousBlogEntry()
pre	this.blog != null
pre	init'ed(this.blog.blogEntryIndex)
pre	init'ed(this.date)
pre	init'ed(this.id)
pre	(soft) init'ed(this.blog.blogEntryIndex. indexEntries)
pre	(soft) this.blog.properties != null
pre	(soft) this.blog.years != null
post	init'ed(return_value)
unanalyzed	call on setEventsEnabled
unanalyzed	call on getId
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getConfiguredFactory
unanalyzed	call on getBlogEntryDAO
unanalyzed	call on getBlog
unanalyzed	call on getCompositeKeyForBlogEntry
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on setPersistent
unanalyzed	call on net.sourceforge.pebble.domain. BlogServiceException
unanalyzed	call on net.sf.ehcache.Cache:get
unanalyzed	call on net.sf.ehcache.Element:getValue
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on loadBlogEntry
unanalyzed	call on net.sf.ehcache.Element
unanalyzed	call on net.sf.ehcache.Cache:put
unanalyzed	call on clone
unanalyzed	call on getBlogEntry
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on getTimeZone
unanalyzed	call on getLocale
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.util.Locale
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on java.util.Calendar:get
unanalyzed	call on getBlogForMonth
unanalyzed	call on getBlogForDay
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:set
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on setDate
unanalyzed	call on net.sourceforge.pebble.domain.Month
unanalyzed	call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Long:parseLong
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on getBlogForPreviousDay
unanalyzed	call on getMonth
unanalyzed	call on java.util.Calendar:getActualMaximum
unanalyzed	call on getYear
unanalyzed	call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed	call on getBlogForPreviousYear

method	BlogEntry getNextBlogEntry()
pre	this.blog != null
pre	this.blog.properties != null
pre	this.blog.years != null
pre	init'ed(this.date)
pre	init'ed(this.id)
post	init'ed(return_value)
unanalyzed	call on setEventsEnabled
unanalyzed	call on getId
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getConfiguredFactory
unanalyzed	call on getBlogEntryDAO
unanalyzed	call on getBlog
unanalyzed	call on getCompositeKeyForBlogEntry
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on setPersistent
unanalyzed	call on net.sourceforge.pebble.domain. BlogServiceException
unanalyzed	call on net.sf.ehcache.Cache:get
unanalyzed	call on net.sf.ehcache.Element:getValue
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on loadBlogEntry
unanalyzed	call on net.sf.ehcache.Element
unanalyzed	call on net.sf.ehcache.Cache:put
unanalyzed	call on clone
unanalyzed	call on getBlogEntry
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on getTimeZone
unanalyzed	call on getLocale
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.util.Locale
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on java.util.Calendar:get
unanalyzed	call on getBlogForMonth
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on getBlogForDay
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:set
unanalyzed	call on setDate
unanalyzed	call on net.sourceforge.pebble.domain.Month
unanalyzed	call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:lastIndexOf
unanalyzed	call on getBlogForNextDay
unanalyzed	call on getBlogForFirstDay
unanalyzed	call on getMonth
unanalyzed	call on java.util.Calendar:getActualMaximum
unanalyzed	call on getYear
unanalyzed	call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed	call on java.util.ArrayList
unanalyzed	call on getBlogForNextYear

method

void validate(ValidationContext)

method	bool equals(Object)
pre	(soft) o.blog != null
pre	(soft) init'ed(o.id)
pre	(soft) this.blog != null
pre	(soft) init'ed(this.id)
post	init'ed(return_value)
unanalyzed	call on getId
test_vector	this == o: {0}, {1}
pre	(soft) init'ed(o.blog.id)
pre	(soft) init'ed(this.blog.id)

method	String getGuid()
pre	this.blog != null
pre	init'ed(this.id)
post	return_value != null
pre	init'ed(this.blog.id)

method	int hashCode()
pre	this.blog != null
pre	init'ed(this.id)
post	init'ed(return_value)
unanalyzed	call on getId
pre	init'ed(this.blog.id)

method	Object clone()
pre	init'ed(this.attachment)
pre	init'ed(this.author)
pre	init'ed(this.blog)
pre	init'ed(this.body)
pre	this.categories != null
pre	this.comments != null
pre	init'ed(this.commentsEnabled)
pre	this.date != null
pre	init'ed(this.excerpt)
pre	init'ed(this.originalPermalink)
pre	init'ed(this.persistent)
pre	this.state != null
pre	init'ed(this.subtitle)
pre	init'ed(this.tags)
pre	init'ed(this.timeZoneId)
pre	init'ed(this.title)
pre	init'ed(this.trackBacks)
pre	init'ed(this.trackBacksEnabled)
pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4).name != null
pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
pre	(soft) init'ed(this.attachment.size)
pre	(soft) init'ed(this.attachment.type)
pre	(soft) init'ed(this.attachment.url)
pre	(soft) init'ed(this.state.name)
presumption	comment.blogEntry@835 != null
presumption	java.util.Calendar:getTime(...)@187 != null
presumption	java.util.Iterator:next(...)@835 != null
presumption	java.util.Iterator:next(...)@843 != null
presumption	trackBack.blogEntry@843 != null
post	return_value == &new BlogEntry(clone#1)
post	new ArrayList(BlogEntry#2) num objects == 1
post	new ArrayList(BlogEntry#3) num objects == 1
post	new ArrayList(parse#1) num objects == 1
post	new BlogEntry(clone#1) num objects == 1
post	new Date(PageBasedContent#2) num objects == 1
post	new HashSet(BlogEntry#1) num objects == 1
post	new LinkedList(PageBasedContent#1) num objects == 1
post	new ArrayList(Content#1) num objects >= 1
post	new ArrayList(Content#3) num objects >= 1
post	new Attachment(clone#1*) num objects <= 1
post	(soft) init'ed(new Attachment(clone#1*).size)
post	init'ed(new Attachment(clone#1*).type)
post	init'ed(new Attachment(clone#1*).url)
post	init'ed(return_value.attachment)
post	init'ed(return_value.author)
post	return_value.blog == this.blog
post	init'ed(return_value.blog)
post	return_value.body == this.body
post	init'ed(return_value.body)
post	return_value.categories == &new HashSet(BlogEntry#1)
post	return_value.comments == &new ArrayList(BlogEnt ry#2)
post	return_value.commentsEnabled == this. commentsEnabled
post	init'ed(return_value.commentsEnabled)
post	return_value.date == this.date
post	return_value.date != null
post	return_value.events == &new ArrayList(Content#1 )
post	init'ed(return_value.eventsEnabled)
post	init'ed(return_value.excerpt)
post	return_value.id != null
post	init'ed(return_value.lockedBy)
post	init'ed(return_value.originalPermalink)
post	init'ed(return_value.permalink)
post	return_value.persistent == this.persistent
post	init'ed(return_value.persistent)
post	return_value.propertyChangeEvents == &new ArrayList(Content#3)
post	return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post	return_value.state == this.state
post	return_value.state != null
post	return_value.subtitle == this.subtitle
post	init'ed(return_value.subtitle)
post	init'ed(return_value.tags)
post	return_value.tagsAsCommaSeparated != null
post	return_value.tagsAsList == &new ArrayList(parse#1)
post	return_value.timeZoneId == this.timeZoneId
post	init'ed(return_value.timeZoneId)
post	return_value.title == this.title
post	init'ed(return_value.title)
post	return_value.trackBacks == &new ArrayList(BlogEntry#3)
post	return_value.trackBacksEnabled == this. trackBacksEnabled
post	init'ed(return_value.trackBacksEnabled)
post	new PropertyChangeSupport(Content#2) num objects >= 1
unanalyzed	call on net.sourceforge.pebble.domain.TrackBack
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.util.Set:contains
unanalyzed	call on java.util.Set:add
unanalyzed	call on net.sourceforge.pebble.domain.Comment
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.util.ArrayList
unanalyzed	call on getComment
unanalyzed	call on java.util.Date
unanalyzed	call on setDate
unanalyzed	call on addComment
unanalyzed	call on java.util.List:add
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:equals
unanalyzed	call on setState
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on getAllTags
unanalyzed	call on getTagsAsList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.EventObject
unanalyzed	call on java.util.Set:size
unanalyzed	call on java.util.Collections:reverse
unanalyzed	call on getRootCategory
unanalyzed	call on java.beans.PropertyChangeSupport
unanalyzed	call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed	call on java.util.LinkedList
unanalyzed	call on net.sourceforge.pebble.domain.Response
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on isApproved
unanalyzed	call on isRejected
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on net.sourceforge.pebble.domain. Response:setState
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:split
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle
test_vector	this.attachment: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@826: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@834: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@842: {1}, {0}
unanalyzed	call on getState
unanalyzed	call on areEventsEnabled
unanalyzed	call on net.sourceforge.pebble.domain.Content
unanalyzed	call on getBlogEntry

method	void setEventsEnabled(bool)
pre	this.comments != null
pre	init'ed(this.trackBacks)
presumption	java.util.Iterator:next(...)@861 != null
post	init'ed(this.eventsEnabled)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:sort
test_vector	java.util.Iterator:hasNext(...)@861: {1}, {0}

method	void clearEvents()
pre	this.comments != null
pre	init'ed(this.trackBacks)
presumption	java.util.Iterator:next(...)@869 != null
post	this.events != null
post	new ArrayList(clearEvents#1*) num objects >= 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:sort
test_vector	java.util.Iterator:hasNext(...)@869: {1}, {0}

method	void setState(State)
pre	init'ed(this.state)
pre	init'ed(this.eventsEnabled)
pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4).name != null
pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
pre	(soft) state != null
pre	(soft) init'ed(state.name)
pre	(soft) this.events != null
post	this.state == state
post	(soft) this.state != null
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.EventObject
test_vector	this.eventsEnabled: {0}, {1}
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent

method	String toString()
pre	this.blog != null
pre	init'ed(this.id)
post	return_value != null
unanalyzed	call on getId
pre	init'ed(this.blog.id)

method	TimeZone getTimeZone()
pre	init'ed(this.timeZoneId)
pre	(soft) this.blog != null
post	init'ed(return_value)
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZoneId

method	String getTimeZoneId()
pre	init'ed(this.timeZoneId)
pre	(soft) this.blog != null
post	init'ed(return_value)
test_vector	this.timeZoneId: Addr_Set{null}, Inverse{null}

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getTimeZoneId()

method	void setTimeZoneId(String)
post	this.timeZoneId == timeZoneId
post	init'ed(this.timeZoneId)

	info	method not available	-- call on TrackBackTokenManager net.sourceforge. pebble.trackback.TrackBackTokenManager:getInstance( )
	info	method not available	-- call on String net.sourceforge.pebble.trackback. TrackBackTokenManager:generateToken()