Messages

method | net.sourceforge.pebble.util.importer. RadioUserlandImporter$1__static_init

method | net.sourceforge.pebble.util.importer. RadioUserlandImporter__static_init

method | void net.sourceforge.pebble.util.importer. RadioUserlandImporter()

method | void main(String[])
pre | args != null
pre | args.length >= 3
pre | init'ed(args[0])
pre | init'ed(args[1])
pre | init'ed(args[2])
presumption | java.io.File:listFiles(...)@64 != null
presumption | sources.length@64 <= 232-1
presumption | sources[i]@64 != null
unanalyzed | call on java.io.File:getName
unanalyzed | call on java.io.PrintStream:println
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:ne wInstance
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tValidating
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tNamespaceAware
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tIgnoringElementContentWhitespace
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tIgnoringComments
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:ne wDocumentBuilder
unanalyzed | call on javax.xml.parsers.DocumentBuilder:setErrorH andler
unanalyzed | call on java.text.SimpleDateFormat
unanalyzed | call on javax.xml.parsers.DocumentBuilder:parse
unanalyzed | call on org.w3c.dom.Document:getDocumentElement
unanalyzed | call on org.w3c.dom.Node:getChildNodes
unanalyzed | call on org.w3c.dom.NodeList:getLength
unanalyzed | call on org.w3c.dom.NodeList:item
unanalyzed | call on org.w3c.dom.Node:getNodeName
unanalyzed | call on java.lang.String:equals
unanalyzed | call on org.w3c.dom.Node:getAttributes
unanalyzed | call on org.w3c.dom.NamedNodeMap:getNamedItem
unanalyzed | call on org.w3c.dom.Node:getNodeValue
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.text.SimpleDateFormat:parse
unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setDate
unanalyzed | call on net.sourceforge.pebble.domain.BlogService
unanalyzed | call on net.sourceforge.pebble.domain. BlogService:putBlogEntry

| info | method not available | -- call on void net.sourceforge.pebble.dao.file. FileDAOFactory()
| info | method not available | -- call on void net.sourceforge.pebble.dao. DAOFactory:setConfiguredFactory(DAOFactory)

| info | method not available | -- call on void net.sourceforge.pebble.domain. Blog(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. Blog:setProperty(String, String)

method | void importFile(Blog, File)
pre | source != null
presumption | java.lang.System.out != null
presumption | javax.xml.parsers.DocumentBuilder:parse(...)@104 != null
presumption | javax.xml.parsers.DocumentBuilderFactory:newDocumen tBuilder(...)@82 != null
presumption | javax.xml.parsers.DocumentBuilderFactory:newInstanc e(...)@77 != null
presumption | org.w3c.dom.Document:getDocumentElement(...)@105 != null
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@114 != null
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@115 != null
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@116 != null
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@118 != null
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@119 != null
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@124 != null
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@125 != null
presumption | org.w3c.dom.Node:getAttributes(...)@113 != null
presumption | org.w3c.dom.Node:getAttributes(...)@114 != null
presumption | org.w3c.dom.Node:getAttributes(...)@115 != null
presumption | org.w3c.dom.Node:getAttributes(...)@116 != null
presumption | org.w3c.dom.Node:getAttributes(...)@118 != null
presumption | org.w3c.dom.Node:getAttributes(...)@119 != null
presumption | org.w3c.dom.Node:getAttributes(...)@124 != null
presumption | org.w3c.dom.Node:getAttributes(...)@125 != null
presumption | org.w3c.dom.Node:getChildNodes(...)@106 != null
presumption | org.w3c.dom.Node:getNodeName(...)@112 != null
presumption | org.w3c.dom.Node:getNodeName(...)@124 != null
presumption | org.w3c.dom.Node:getNodeValue(...)@115 != null
presumption | org.w3c.dom.Node:getNodeValue(...)@118 != null
presumption | org.w3c.dom.Node:getNodeValue(...)@124 != null
presumption | org.w3c.dom.Node:getNodeValue(...)@125 != null
presumption | org.w3c.dom.NodeList:item(...)@109 != null
test_vector | java.lang.String:equals(...)@112: {0}, {1}
test_vector | java.lang.String:equals(...)@115: {0}, {1}
test_vector | java.lang.String:equals(...)@118: {0}, {1}
test_vector | java.lang.String:equals(...)@124: {0}, {1}

method | void net.sourceforge.pebble.util.importer. RadioUserlandImporter$1()

method | void warning(SAXParseException)
pre | (soft) e != null

| info | method not available | -- call on String org.xml.sax.SAXParseException:get Message()

method | void error(SAXParseException)
pre | (soft) e != null

| info | method not available | -- call on String org.xml.sax.SAXParseException:get Message()

method | void fatalError(SAXParseException)
pre | (soft) e != null

| info | method not available | -- call on String org.xml.sax.SAXParseException:get Message()

| info | method not available | -- call on Element org.w3c.dom.Document:getDocument Element()

| info | method not available | -- call on NodeList org.w3c.dom.Node:getChildNodes( )

| info | method not available | -- call on int org.w3c.dom.NodeList:getLength()

| info | method not available | -- call on int org.w3c.dom.NodeList:getLength()

| info | method not available | -- call on Node org.w3c.dom.NodeList:item(int)

| info | method not available | -- call on String org.w3c.dom.Node:getNodeName()

| info | method not available | -- call on String org.w3c.dom.Node:getNodeName()

| info | method not available | -- call on NamedNodeMap org.w3c.dom. Node:getAttributes()
| info | method not available | -- call on Node org.w3c.dom.NamedNodeMap:getNamedIt em(String)

| info | method not available | -- call on NamedNodeMap org.w3c.dom. Node:getAttributes()
| info | method not available | -- call on Node org.w3c.dom.NamedNodeMap:getNamedIt em(String)
| info | method not available | -- call on String org.w3c.dom.Node:getNodeValue()

| info | method not available | -- call on NamedNodeMap org.w3c.dom. Node:getAttributes()
| info | method not available | -- call on Node org.w3c.dom.NamedNodeMap:getNamedIt em(String)
| info | method not available | -- call on String org.w3c.dom.Node:getNodeValue()

| info | method not available | -- call on NamedNodeMap org.w3c.dom. Node:getAttributes()
| info | method not available | -- call on Node org.w3c.dom.NamedNodeMap:getNamedIt em(String)
| info | method not available | -- call on String org.w3c.dom.Node:getNodeValue()

| info | method not available | -- call on NamedNodeMap org.w3c.dom. Node:getAttributes()
| info | method not available | -- call on Node org.w3c.dom.NamedNodeMap:getNamedIt em(String)
| info | method not available | -- call on String org.w3c.dom.Node:getNodeValue()

| info | method not available | -- call on NamedNodeMap org.w3c.dom. Node:getAttributes()
| info | method not available | -- call on Node org.w3c.dom.NamedNodeMap:getNamedIt em(String)
| info | method not available | -- call on String org.w3c.dom.Node:getNodeValue()

| info | method not available | -- call on String org.w3c.dom.Node:getNodeName()
| info | method not available | -- call on NamedNodeMap org.w3c.dom. Node:getAttributes()
| info | method not available | -- call on Node org.w3c.dom.NamedNodeMap:getNamedIt em(String)
| info | method not available | -- call on String org.w3c.dom.Node:getNodeValue()

| info | method not available | -- call on NamedNodeMap org.w3c.dom. Node:getAttributes()
| info | method not available | -- call on Node org.w3c.dom.NamedNodeMap:getNamedIt em(String)
| info | method not available | -- call on String org.w3c.dom.Node:getNodeValue()

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry(Blog)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setTitle(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setBody(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setDate(Date)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService()

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)