method org.apache.roller.weblogger.pojos.wrapper. ThemeTemplateWrapper__static_init










method void org.apache.roller.weblogger.pojos.wrapper. ThemeTemplateWrapper(ThemeTemplate)
postthis.pojo == toWrap
postinit'ed(this.pojo)










method ThemeTemplateWrapper wrap(ThemeTemplate)
postreturn_value == One-of{&new ThemeTemplateWrappe r(wrap#1), null}
postreturn_value in Addr_Set{null,&new ThemeTemplateWrapper(wrap#1)}
postnew ThemeTemplateWrapper(wrap#1) num objects <= 1
postnew ThemeTemplateWrapper(wrap#1).pojo == toWrap
postnew ThemeTemplateWrapper(wrap#1).pojo != null
test_vectortoWrap: Addr_Set{null}, Inverse{null}










method String getId()
prethis.pojo != null
postinit'ed(return_value)









  infomethod not available-- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getId()











method String getName()
prethis.pojo != null
postinit'ed(return_value)









  infomethod not available-- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getName()











method String getDescription()
prethis.pojo != null
postinit'ed(return_value)









  infomethod not available-- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getDescription()











method String getContents()
prethis.pojo != null
pre(soft) init'ed(this.pojo.contents)
post(soft) init'ed(return_value)
unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField










method String getLink()
prethis.pojo != null
pre(soft) init'ed(this.pojo.link)
post(soft) init'ed(return_value)
unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField










method Date getLastModified()
prethis.pojo != null
postinit'ed(return_value)









  infomethod not available-- call on Date org.apache.roller.weblogger.pojos. ThemeTemplate:getLastModified()











method bool isHidden()
prethis.pojo != null
pre(soft) init'ed(this.pojo.hidden)
postinit'ed(return_value)
unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField










method bool isNavbar()
prethis.pojo != null
pre(soft) init'ed(this.pojo.navbar)
postinit'ed(return_value)
unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField