pebbleuserdetails.java

pebbleuserdetails.java

current inspection = 2010-07-22 15:04:21 (id #4)

base = 2010-07-16 16:14:15 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

GrantedAuthority[] createGrantedAuthorities(String[])

-/+	Kind	Annotation Text	Date
U	pre	(soft) roles.length <= 2³²-1	2010-07-16 16:14:15
U	pre	(soft) roles[...] != null	2010-07-16 16:14:15
-	pre	init'ed(net/sourceforge/pebble/Constants.BLOG_ READER_ROLE)	2010-07-16 16:59:22
+	presumption	init'ed(net.sourceforge.pebble.Constants.BLOG_ READER_ROLE)	2010-07-22 12:56:56
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	test_vector	roles: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

GrantedAuthority[] getAuthorities()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.grantedAuthories)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.grantedAuthories	2010-07-16 16:14:15

String getEmailAddress()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.emailAddress)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.emailAddress	2010-07-16 16:14:15

String getName()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.name)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.name	2010-07-16 16:14:15

String getPassword()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.password)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.password	2010-07-16 16:14:15

String getPreference(String)

-/+	Kind	Annotation Text	Date
U	pre	this.preferences != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

Map getPreferences()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.preferences)	2010-07-16 16:14:15
U	post	new HashMap(getPreferences#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new HashMap(getPreferences#1)	2010-07-16 16:14:15

String getProfile()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.profile)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.profile	2010-07-16 16:14:15

String[] getRoles()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.grantedAuthories[...] != null	2010-07-16 16:14:15
U	pre	this.grantedAuthories != null	2010-07-16 16:14:15
U	pre	this.grantedAuthories.length <= 2³²-1	2010-07-16 16:14:15
U	post	new String[](getRoles#1) num objects == 1	2010-07-16 16:14:15
U	post	possibly_updated(return_value[...])	2010-07-16 16:14:15
U	post	return_value == &new String[](getRoles#1)	2010-07-16 16:14:15
U	post	return_value.length <= 2³²-1	2010-07-16 16:14:15
U	post	return_value.length == this.grantedAuthories. length	2010-07-16 16:14:15

String getRolesAsString()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.grantedAuthories[...] != null	2010-07-16 16:14:15
U	pre	this.grantedAuthories != null	2010-07-16 16:14:15
U	pre	this.grantedAuthories.length <= 2³²-1	2010-07-16 16:14:15
U	post	return_value != null	2010-07-16 16:14:15

String getUsername()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.username)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.username	2010-07-16 16:14:15

String getWebsite()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.website)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.website	2010-07-16 16:14:15

bool isAccountNonExpired()

-/+	Kind	Annotation Text	Date
U	post	return_value == 1	2010-07-16 16:14:15

bool isAccountNonLocked()

-/+	Kind	Annotation Text	Date
U	post	return_value == 1	2010-07-16 16:14:15

bool isBlogAdmin()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.grantedAuthories.length <= 2³²-1	2010-07-16 16:14:15
U	pre	(soft) this.grantedAuthories[...] != null	2010-07-16 16:14:15
-	pre	init'ed(net/sourceforge/pebble/Constants.BLOG_ ADMIN_ROLE)	2010-07-16 16:59:22
U	pre	init'ed(this.grantedAuthories)	2010-07-16 16:14:15
+	presumption	init'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)	2010-07-22 12:56:56
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	unanalyzed	call on org.acegisecurity.GrantedAuthority:getAutho rity	2010-07-16 16:14:15

bool isBlogContributor()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.grantedAuthories.length <= 2³²-1	2010-07-16 16:14:15
U	pre	(soft) this.grantedAuthories[...] != null	2010-07-16 16:14:15
-	pre	init'ed(net/sourceforge/pebble/Constants.BLOG_ CONTRIBUTOR_ROLE)	2010-07-16 16:59:22
U	pre	init'ed(this.grantedAuthories)	2010-07-16 16:14:15
+	presumption	init'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)	2010-07-22 12:56:56
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	unanalyzed	call on org.acegisecurity.GrantedAuthority:getAutho rity	2010-07-16 16:14:15

bool isBlogOwner()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.grantedAuthories.length <= 2³²-1	2010-07-16 16:14:15
U	pre	(soft) this.grantedAuthories[...] != null	2010-07-16 16:14:15
-	pre	init'ed(net/sourceforge/pebble/Constants.BLOG_ OWNER_ROLE)	2010-07-16 16:59:22
U	pre	init'ed(this.grantedAuthories)	2010-07-16 16:14:15
+	presumption	init'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)	2010-07-22 12:56:56
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	unanalyzed	call on org.acegisecurity.GrantedAuthority:getAutho rity	2010-07-16 16:14:15

bool isBlogPublisher()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.grantedAuthories.length <= 2³²-1	2010-07-16 16:14:15
U	pre	(soft) this.grantedAuthories[...] != null	2010-07-16 16:14:15
-	pre	init'ed(net/sourceforge/pebble/Constants.BLOG_ PUBLISHER_ROLE)	2010-07-16 16:59:22
U	pre	init'ed(this.grantedAuthories)	2010-07-16 16:14:15
+	presumption	init'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)	2010-07-22 12:56:56
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	unanalyzed	call on org.acegisecurity.GrantedAuthority:getAutho rity	2010-07-16 16:14:15

bool isCredentialsNonExpired()

-/+	Kind	Annotation Text	Date
U	post	return_value == 1	2010-07-16 16:14:15

bool isDetailsUpdateable()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.detailsUpdateable)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.detailsUpdateable	2010-07-16 16:14:15

bool isEnabled()

-/+	Kind	Annotation Text	Date
U	post	return_value == 1	2010-07-16 16:14:15

bool isUserInRole(String)

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.grantedAuthories.length <= 2³²-1	2010-07-16 16:14:15
U	pre	(soft) this.grantedAuthories[...] != null	2010-07-16 16:14:15
U	pre	init'ed(this.grantedAuthories)	2010-07-16 16:14:15
U	presumption	org.acegisecurity.GrantedAuthority:getAuthority(... )@161 != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@161: {0}, {1}	2010-07-16 16:14:15
U	test_vector	this.grantedAuthories: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void net.sourceforge.pebble.security.PebbleUserDetails()

-/+	Kind	Annotation Text	Date
U	post	new HashMap(PebbleUserDetails#1) num objects == 1	2010-07-16 16:14:15
U	post	this.detailsUpdateable == 1	2010-07-16 16:14:15
U	post	this.preferences == &new HashMap(PebbleUserDeta ils#1)	2010-07-16 16:14:15

void net.sourceforge.pebble.security.PebbleUserDetails(String, String, String, String, String, String, String[], Map, bool)

-/+	Kind	Annotation Text	Date
U	pre	(soft) roles.length <= 2³²-1	2010-07-16 16:14:15
U	pre	(soft) roles[...] != null	2010-07-16 16:14:15
-	pre	init'ed(net/sourceforge/pebble/Constants.BLOG_ READER_ROLE)	2010-07-16 16:59:22
U	post	init'ed(this.detailsUpdateable)	2010-07-16 16:14:15
U	post	init'ed(this.emailAddress)	2010-07-16 16:14:15
U	post	init'ed(this.grantedAuthories)	2010-07-16 16:14:15
U	post	init'ed(this.name)	2010-07-16 16:14:15
U	post	init'ed(this.password)	2010-07-16 16:14:15
U	post	init'ed(this.preferences)	2010-07-16 16:14:15
U	post	init'ed(this.profile)	2010-07-16 16:14:15
U	post	init'ed(this.username)	2010-07-16 16:14:15
U	post	init'ed(this.website)	2010-07-16 16:14:15
U	post	new HashMap(PebbleUserDetails#1) num objects == 1	2010-07-16 16:14:15
U	post	this.detailsUpdateable == detailsUpdateable	2010-07-16 16:14:15
U	post	this.emailAddress == emailAddress	2010-07-16 16:14:15
U	post	this.name == name	2010-07-16 16:14:15
U	post	this.password == password	2010-07-16 16:14:15
U	post	this.preferences == preferences	2010-07-16 16:14:15
U	post	this.profile == profile	2010-07-16 16:14:15
U	post	this.username == username	2010-07-16 16:14:15
U	post	this.website == website	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.HashSet	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:toArray	2010-07-16 16:14:15
U	unanalyzed	call on org.acegisecurity.GrantedAuthorityImpl	2010-07-16 16:14:15

void net.sourceforge.pebble.security.PebbleUserDetails(String, String, String, String, String, String[], Map, bool)

-/+	Kind	Annotation Text	Date
U	pre	(soft) roles.length <= 2³²-1	2010-07-16 16:14:15
U	pre	(soft) roles[...] != null	2010-07-16 16:14:15
-	pre	init'ed(net/sourceforge/pebble/Constants.BLOG_ READER_ROLE)	2010-07-16 16:59:22
U	post	init'ed(this.detailsUpdateable)	2010-07-16 16:14:15
U	post	init'ed(this.emailAddress)	2010-07-16 16:14:15
U	post	init'ed(this.grantedAuthories)	2010-07-16 16:14:15
U	post	init'ed(this.name)	2010-07-16 16:14:15
U	post	init'ed(this.preferences)	2010-07-16 16:14:15
U	post	init'ed(this.profile)	2010-07-16 16:14:15
U	post	init'ed(this.username)	2010-07-16 16:14:15
U	post	init'ed(this.website)	2010-07-16 16:14:15
U	post	new HashMap(PebbleUserDetails#1) num objects == 1	2010-07-16 16:14:15
U	post	this.detailsUpdateable == detailsUpdateable	2010-07-16 16:14:15
U	post	this.emailAddress == emailAddress	2010-07-16 16:14:15
U	post	this.name == name	2010-07-16 16:14:15
U	post	this.preferences == preferences	2010-07-16 16:14:15
U	post	this.profile == profile	2010-07-16 16:14:15
U	post	this.username == username	2010-07-16 16:14:15
U	post	this.website == website	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.HashSet	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:toArray	2010-07-16 16:14:15
U	unanalyzed	call on org.acegisecurity.GrantedAuthorityImpl	2010-07-16 16:14:15

net.sourceforge.pebble.security.PebbleUserDetails__static_init

-/+	Kind	Annotation Text	Date

void setDetailsUpdateable(bool)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.detailsUpdateable)	2010-07-16 16:14:15
U	post	this.detailsUpdateable == detailsUpdateable	2010-07-16 16:14:15

void setEmailAddress(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.emailAddress)	2010-07-16 16:14:15
U	post	this.emailAddress == emailAddress	2010-07-16 16:14:15

void setGrantedAuthories(GrantedAuthority[])

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.grantedAuthories)	2010-07-16 16:14:15
U	post	this.grantedAuthories == grantedAuthories	2010-07-16 16:14:15

void setName(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.name)	2010-07-16 16:14:15
U	post	this.name == name	2010-07-16 16:14:15

void setPassword(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.password)	2010-07-16 16:14:15
U	post	this.password == password	2010-07-16 16:14:15

void setPreferences(Map)

-/+	Kind	Annotation Text	Date
U	post	new HashMap(setPreferences#1) num objects == 1	2010-07-16 16:14:15
U	post	this.preferences == &new HashMap(setPreferences #1)	2010-07-16 16:14:15

void setProfile(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.profile)	2010-07-16 16:14:15
U	post	this.profile == profile	2010-07-16 16:14:15

void setUsername(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.username)	2010-07-16 16:14:15
U	post	this.username == username	2010-07-16 16:14:15

void setWebsite(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.website)	2010-07-16 16:14:15
U	post	this.website == website	2010-07-16 16:14:15