Messages

method | net.sourceforge.pebble.web.view.impl.FilesView__ static_init

method | void net.sourceforge.pebble.web.view.impl. FilesView()

| info | method not available | -- call on void net.sourceforge.pebble.web.view. HtmlView()

method | String getTitle()
presumption | net.sourceforge.pebble.web.model.Model:get(...)@50 != null
presumption | net.sourceforge.pebble.web.view.impl. FilesView:getModel(...)@50 != null
post | init'ed(return_value)
test_vector | java.lang.String:equals(...)@51: {0}, {1}
test_vector | java.lang.String:equals(...)@53: {0}, {1}

| info | method not available | -- call on Model net.sourceforge.pebble.web.view. impl.FilesView:getModel()
| info | method not available | -- call on Object net.sourceforge.pebble.web.model. Model:get(String)

| info | method not available | -- call on String net.sourceforge.pebble.web.view. impl.FilesView:getLocalizedString(String)

| info | method not available | -- call on String net.sourceforge.pebble.web.view. impl.FilesView:getLocalizedString(String)

| info | method not available | -- call on String net.sourceforge.pebble.web.view. impl.FilesView:getLocalizedString(String)

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