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 <= 2³²-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 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 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 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 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)

	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 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: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()