method
net.sourceforge.
pebble.
web.
action.
ViewPebbleProper tiesAction_
_
static_init
method
void net.
sourceforge.
pebble.
web.
action.
ViewPebblePropertiesAction()
method
String[] getRoles(
HttpServletRequest)
presumption
init'ed(net.
sourceforge.
pebble.
Constants.
BLOG_
ADMIN_ROLE)
post
return_value == &new String[](
getRoles#1)
post
new String[](
getRoles#1) num objects == 1
post
return_value.
length == 1
post
return_value[0] == net.
sourceforge.
pebble.
Constants.
BLOG_
ADMIN_ROLE
post
(soft) init'ed(
return_
value[0])