method

net.sourceforge.pebble.web.view.impl. AboutAuthorView__static_init

method	void net.sourceforge.pebble.web.view.impl. AboutAuthorView()
unanalyzed	call on net.sourceforge.pebble.web.view.JspView
unanalyzed	call on net.sourceforge.pebble.web.view.View

method	String getTitle()
presumption	java.util.HashMap:get(...)@63 != null
post	init'ed(return_value)
pre	this.model != null
unanalyzed	call on java.util.HashMap:get
pre	this.model.data != null

method	String getUri()
post	return_value == &".WEB-INF.jsp.aboutAuthor. jsp"