method org.apache.roller.weblogger.business.themes. SharedThemeResourceFromDir__static_init










method void org.apache.roller.weblogger.business.themes. SharedThemeResourceFromDir(String, File)
postthis.relativePath == path
postinit'ed(this.relativePath)
postthis.resourceFile == file
postinit'ed(this.resourceFile)










method int compareTo(Object)
preo != null
prethis.relativePath != null
postinit'ed(return_value)









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











method ThemeResource[] getChildren()
postreturn_value == null










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










method String getPath()
preinit'ed(this.relativePath)
postreturn_value == this.relativePath
postinit'ed(return_value)










method long getLastModified()
prethis.resourceFile != null
postinit'ed(return_value)










method long getLength()
prethis.resourceFile != null
postinit'ed(return_value)










method bool isDirectory()
prethis.resourceFile != null
postinit'ed(return_value)










method bool isFile()
prethis.resourceFile != null
postinit'ed(return_value)










method InputStream getInputStream()
preinit'ed(this.resourceFile)
postreturn_value == &new FileInputStream(getInputSt ream#1)
postnew FileInputStream(getInputStream#1) num objects == 1