| method | org.apache. |
| method | void org. |
| presumption | init'ed(java. |
| post | this.autoContentType == java. |
| post | (soft) init'ed( |
| post | this.contents == null |
| post | this.description == null |
| post | this.id == null |
| post | this.link == null |
| post | this.manualContentType == null |
| post | this.name == null |
| post | this.templateLanguage == null |
| post | this.hidden == 0 |
| post | this.navbar == 0 |
| method | String getId() |
| pre | init'ed(this.id) |
| post | return_value == this.id |
| post | init'ed(return_value) |
| method | void setId(String) |
| post | this.id == id |
| post | init'ed(this.id) |
| method | String getName() |
| pre | init'ed(this.name) |
| post | return_value == this.name |
| post | init'ed(return_value) |
| method | void setName(String) |
| post | this.name == name |
| post | init'ed(this.name) |
| method | String getDescription() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setDescription(String) |
| post | this.description == description |
| post | init'ed(this. |
| method | String getLink() |
| pre | init'ed(this.link) |
| post | return_value == this.link |
| post | init'ed(return_value) |
| method | void setLink(String) |
| post | this.link == link |
| post | init'ed(this.link) |
| method | String getContents() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setContents(String) |
| post | this.contents == contents |
| post | init'ed(this. |
| method | String getTemplateLanguage() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setTemplateLanguage(String) |
| post | this.templateLanguage == templateLanguage |
| post | init'ed(this. |
| method | bool isNavbar() |
| pre | init'ed(this.navbar) |
| post | return_value == this.navbar |
| post | init'ed(return_value) |
| method | void setNavbar(bool) |
| post | this.navbar == navbar |
| post | init'ed(this.navbar) |
| method | bool isHidden() |
| pre | init'ed(this.hidden) |
| post | return_value == this.hidden |
| post | init'ed(return_value) |
| method | void setHidden(bool) |
| post | this.hidden == hidden |
| post | init'ed(this.hidden) |
| method | Boolean getAutoContentType() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setAutoContentType( |
| post | this.autoContentType == autoContentType |
| post | init'ed(this. |
| method | String getManualContentType() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setManualContentType(String) |
| post | this.manualContentType == manualContentType |
| post | init'ed(this. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on bool org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on void org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on bool org. |
|   | info | method not available | -- call on bool org. |
|   | info | method not available | -- call on String org. |
|   | info | method not available | -- call on String org. |