//# 9 errors, 171 messages
//#
/*
    //#radiouserlandimporter.java:1:1: class: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1
    //#radiouserlandimporter.java:1:1: method: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1.net.sourceforge.pebble.util.importer.RadioUserlandImporter$1__static_init
    //#radiouserlandimporter.java:1:1: class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#radiouserlandimporter.java:1:1: method: net.sourceforge.pebble.util.importer.RadioUserlandImporter.net.sourceforge.pebble.util.importer.RadioUserlandImporter__static_init
 * Copyright (c) 2003-2006, Simon Brown
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 *   - Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer.
 *
 *   - Redistributions in binary form must reproduce the above copyright
 *     notice, this list of conditions and the following disclaimer in
 *     the documentation and/or other materials provided with the
 *     distribution.
 *
 *   - Neither the name of Pebble nor the names of its contributors may
 *     be used to endorse or promote products derived from this software
 *     without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */
package net.sourceforge.pebble.util.importer;

import net.sourceforge.pebble.dao.DAOFactory;
import net.sourceforge.pebble.dao.file.FileDAOFactory;
import net.sourceforge.pebble.domain.Blog;
import net.sourceforge.pebble.domain.BlogEntry;
import net.sourceforge.pebble.domain.BlogService;
import org.w3c.dom.Document;
import org.w3c.dom.Node;
import org.w3c.dom.NodeList;
import org.xml.sax.ErrorHandler;
import org.xml.sax.SAXException;
import org.xml.sax.SAXParseException;

import javax.xml.parsers.DocumentBuilder;
import javax.xml.parsers.DocumentBuilderFactory;
import java.io.File;
import java.text.SimpleDateFormat;
import java.util.Date;

/**
 * Simple utility to import posts Radio Userland into Pebble.
 *
 * @author    Simon Brown
 */
public class RadioUserlandImporter {
    //#radiouserlandimporter.java:57: method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter.net.sourceforge.pebble.util.importer.RadioUserlandImporter()
    //#radiouserlandimporter.java:57: end of method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter.net.sourceforge.pebble.util.importer.RadioUserlandImporter()

  /**
   * Starts the importer.
   */
  public static void main(String[] args) throws Exception {
    File root = new File(args[0]);
    //#radiouserlandimporter.java:63: method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter.main(String[])
    //#input(void main(String[])): args
    //#input(void main(String[])): args.length
    //#input(void main(String[])): args[0]
    //#input(void main(String[])): args[1]
    //#input(void main(String[])): args[2]
    //#pre[1] (void main(String[])): args != null
    //#pre[2] (void main(String[])): args.length >= 3
    //#pre[3] (void main(String[])): init'ed(args[0])
    //#pre[4] (void main(String[])): init'ed(args[1])
    //#pre[5] (void main(String[])): init'ed(args[2])
    //#presumption(void main(String[])): java.io.File:listFiles(...)@64 != null
    //#presumption(void main(String[])): sources.length@64 <= 4_294_967_295
    //#presumption(void main(String[])): sources[i]@64 != null
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void main(String[])): Effects-of-calling:java.io.File:getName
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void main(String[])): Effects-of-calling:java.io.PrintStream:println
    //#unanalyzed(void main(String[])): Effects-of-calling:javax.xml.parsers.DocumentBuilderFactory:newInstance
    //#unanalyzed(void main(String[])): Effects-of-calling:javax.xml.parsers.DocumentBuilderFactory:setValidating
    //#unanalyzed(void main(String[])): Effects-of-calling:javax.xml.parsers.DocumentBuilderFactory:setNamespaceAware
    //#unanalyzed(void main(String[])): Effects-of-calling:javax.xml.parsers.DocumentBuilderFactory:setIgnoringElementContentWhitespace
    //#unanalyzed(void main(String[])): Effects-of-calling:javax.xml.parsers.DocumentBuilderFactory:setIgnoringComments
    //#unanalyzed(void main(String[])): Effects-of-calling:javax.xml.parsers.DocumentBuilderFactory:newDocumentBuilder
    //#unanalyzed(void main(String[])): Effects-of-calling:javax.xml.parsers.DocumentBuilder:setErrorHandler
    //#unanalyzed(void main(String[])): Effects-of-calling:java.text.SimpleDateFormat
    //#unanalyzed(void main(String[])): Effects-of-calling:javax.xml.parsers.DocumentBuilder:parse
    //#unanalyzed(void main(String[])): Effects-of-calling:org.w3c.dom.Document:getDocumentElement
    //#unanalyzed(void main(String[])): Effects-of-calling:org.w3c.dom.Node:getChildNodes
    //#unanalyzed(void main(String[])): Effects-of-calling:org.w3c.dom.NodeList:getLength
    //#unanalyzed(void main(String[])): Effects-of-calling:org.w3c.dom.NodeList:item
    //#unanalyzed(void main(String[])): Effects-of-calling:org.w3c.dom.Node:getNodeName
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void main(String[])): Effects-of-calling:org.w3c.dom.Node:getAttributes
    //#unanalyzed(void main(String[])): Effects-of-calling:org.w3c.dom.NamedNodeMap:getNamedItem
    //#unanalyzed(void main(String[])): Effects-of-calling:org.w3c.dom.Node:getNodeValue
    //#unanalyzed(void main(String[])): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void main(String[])): Effects-of-calling:java.text.SimpleDateFormat:parse
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setTitle
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setBody
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:setDate
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogService
    //#unanalyzed(void main(String[])): Effects-of-calling:net.sourceforge.pebble.domain.BlogService:putBlogEntry
    File sources[] = root.listFiles();
    DAOFactory.setConfiguredFactory(new FileDAOFactory());
    //#radiouserlandimporter.java:65: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.dao.file.FileDAOFactory()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void main(String[])
    //#    unanalyzed callee: void net.sourceforge.pebble.dao.file.FileDAOFactory()
    //#radiouserlandimporter.java:65: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.dao.DAOFactory:setConfiguredFactory(DAOFactory)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void main(String[])
    //#    unanalyzed callee: void net.sourceforge.pebble.dao.DAOFactory:setConfiguredFactory(DAOFactory)
    Blog blog = new Blog(args[1]);
    //#radiouserlandimporter.java:66: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.Blog(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void main(String[])
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.Blog(String)
    blog.setProperty(Blog.TIMEZONE_KEY, args[2]);
    //#radiouserlandimporter.java:67: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.Blog:setProperty(String, String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void main(String[])
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.Blog:setProperty(String, String)

    for (int i = 0; i < sources.length; i++) {
      importFile(blog, sources[i]);
    }
  }
    //#radiouserlandimporter.java:72: end of method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter.main(String[])

  private static void importFile(Blog blog, File source) throws Exception {
    System.out.println("Importing " + source.getName());
    //#radiouserlandimporter.java:75: method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter.importFile(Blog, File)
    //#input(void importFile(Blog, File)): blog
    //#input(void importFile(Blog, File)): java.lang.System.out
    //#input(void importFile(Blog, File)): source
    //#pre[2] (void importFile(Blog, File)): source != null
    //#presumption(void importFile(Blog, File)): java.lang.System.out != null
    //#presumption(void importFile(Blog, File)): javax.xml.parsers.DocumentBuilder:parse(...)@104 != null
    //#presumption(void importFile(Blog, File)): javax.xml.parsers.DocumentBuilderFactory:newDocumentBuilder(...)@82 != null
    //#presumption(void importFile(Blog, File)): javax.xml.parsers.DocumentBuilderFactory:newInstance(...)@77 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Document:getDocumentElement(...)@105 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.NamedNodeMap:getNamedItem(...)@114 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.NamedNodeMap:getNamedItem(...)@115 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.NamedNodeMap:getNamedItem(...)@116 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.NamedNodeMap:getNamedItem(...)@118 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.NamedNodeMap:getNamedItem(...)@119 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.NamedNodeMap:getNamedItem(...)@124 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.NamedNodeMap:getNamedItem(...)@125 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getAttributes(...)@113 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getAttributes(...)@114 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getAttributes(...)@115 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getAttributes(...)@116 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getAttributes(...)@118 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getAttributes(...)@119 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getAttributes(...)@124 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getAttributes(...)@125 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getChildNodes(...)@106 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getNodeName(...)@112 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getNodeName(...)@124 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getNodeValue(...)@115 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getNodeValue(...)@118 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getNodeValue(...)@124 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.Node:getNodeValue(...)@125 != null
    //#presumption(void importFile(Blog, File)): org.w3c.dom.NodeList:item(...)@109 != null
    //#test_vector(void importFile(Blog, File)): java.lang.String:equals(...)@112: {0}, {1}
    //#test_vector(void importFile(Blog, File)): java.lang.String:equals(...)@115: {0}, {1}
    //#test_vector(void importFile(Blog, File)): java.lang.String:equals(...)@118: {0}, {1}
    //#test_vector(void importFile(Blog, File)): java.lang.String:equals(...)@124: {0}, {1}
    // create a factory and builder - an abstraction for an XML parser
    DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance();
    factory.setValidating(false);
    factory.setNamespaceAware(true);
    factory.setIgnoringElementContentWhitespace(true);
    factory.setIgnoringComments(true);
    DocumentBuilder builder = factory.newDocumentBuilder();
    builder.setErrorHandler(new ErrorHandler() {
    //#radiouserlandimporter.java:83: method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter$1.net.sourceforge.pebble.util.importer.RadioUserlandImporter$1()
    //#radiouserlandimporter.java:83: end of method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter$1.net.sourceforge.pebble.util.importer.RadioUserlandImporter$1()
      public void warning(SAXParseException e) throws SAXException {
        System.out.println("Warning : " + e.getMessage());
    //#radiouserlandimporter.java:85: method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter$1.warning(SAXParseException)
    //#radiouserlandimporter.java:85: Warning: method not available
    //#    -- call on String org.xml.sax.SAXParseException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1
    //#    method: void warning(SAXParseException)
    //#    unanalyzed callee: String org.xml.sax.SAXParseException:getMessage()
    //#radiouserlandimporter.java:85: ?use of default init
    //#    init'ed(java/lang/System.out)
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1
    //#    method: void warning(SAXParseException)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(java/lang/System.out)
    //#    VN: java.lang.System.out
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid  Uncertain
    //#radiouserlandimporter.java:85: ?null dereference
    //#    java/lang/System.out != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1
    //#    method: void warning(SAXParseException)
    //#    basic block: Entry_BB_1
    //#    assertion: java/lang/System.out != null
    //#    VN: java.lang.System.out
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad  Uncertain
    //#radiouserlandimporter.java:85: ?check always fails: void warning(SAXParseException) always ends with an exception
    //#input(void warning(SAXParseException)): e
    //#pre[1] (void warning(SAXParseException)): (soft) e != null
        throw e;
    //#radiouserlandimporter.java:86: end of method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter$1.warning(SAXParseException)
      }

      public void error(SAXParseException e) throws SAXException {
        System.out.println("Error : " + e.getMessage());
    //#radiouserlandimporter.java:90: method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter$1.error(SAXParseException)
    //#radiouserlandimporter.java:90: Warning: method not available
    //#    -- call on String org.xml.sax.SAXParseException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1
    //#    method: void error(SAXParseException)
    //#    unanalyzed callee: String org.xml.sax.SAXParseException:getMessage()
    //#radiouserlandimporter.java:90: ?use of default init
    //#    init'ed(java/lang/System.out)
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1
    //#    method: void error(SAXParseException)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(java/lang/System.out)
    //#    VN: java.lang.System.out
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid  Uncertain
    //#radiouserlandimporter.java:90: ?null dereference
    //#    java/lang/System.out != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1
    //#    method: void error(SAXParseException)
    //#    basic block: Entry_BB_1
    //#    assertion: java/lang/System.out != null
    //#    VN: java.lang.System.out
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad  Uncertain
    //#radiouserlandimporter.java:90: ?check always fails: void error(SAXParseException) always ends with an exception
    //#input(void error(SAXParseException)): e
    //#pre[1] (void error(SAXParseException)): (soft) e != null
        throw e;
    //#radiouserlandimporter.java:91: end of method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter$1.error(SAXParseException)
      }

      public void fatalError(SAXParseException e) throws SAXException {
        System.out.println("Fatal : " + e.getMessage());
    //#radiouserlandimporter.java:95: method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter$1.fatalError(SAXParseException)
    //#radiouserlandimporter.java:95: Warning: method not available
    //#    -- call on String org.xml.sax.SAXParseException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1
    //#    method: void fatalError(SAXParseException)
    //#    unanalyzed callee: String org.xml.sax.SAXParseException:getMessage()
    //#radiouserlandimporter.java:95: ?use of default init
    //#    init'ed(java/lang/System.out)
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1
    //#    method: void fatalError(SAXParseException)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(java/lang/System.out)
    //#    VN: java.lang.System.out
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid  Uncertain
    //#radiouserlandimporter.java:95: ?null dereference
    //#    java/lang/System.out != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1
    //#    method: void fatalError(SAXParseException)
    //#    basic block: Entry_BB_1
    //#    assertion: java/lang/System.out != null
    //#    VN: java.lang.System.out
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad  Uncertain
    //#radiouserlandimporter.java:95: ?check always fails: void fatalError(SAXParseException) always ends with an exception
    //#input(void fatalError(SAXParseException)): e
    //#pre[1] (void fatalError(SAXParseException)): (soft) e != null
        throw e;
    //#radiouserlandimporter.java:96: end of method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter$1.fatalError(SAXParseException)
      }
    });

    SimpleDateFormat sdf = new SimpleDateFormat("dd MMM yyyy HH:mm:ss");
    String title = "No title";
    String body = "";
    Date date = null;
    Document doc = builder.parse(source);
    Node root = doc.getDocumentElement();
    //#radiouserlandimporter.java:105: Warning: method not available
    //#    -- call on Element org.w3c.dom.Document:getDocumentElement()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: Element org.w3c.dom.Document:getDocumentElement()
    NodeList nodes = root.getChildNodes();
    //#radiouserlandimporter.java:106: Warning: method not available
    //#    -- call on NodeList org.w3c.dom.Node:getChildNodes()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: NodeList org.w3c.dom.Node:getChildNodes()
    System.out.println(nodes.getLength());
    //#radiouserlandimporter.java:107: Warning: method not available
    //#    -- call on int org.w3c.dom.NodeList:getLength()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: int org.w3c.dom.NodeList:getLength()
    for (int i = 0; i < nodes.getLength(); i++) {
    //#radiouserlandimporter.java:108: Warning: method not available
    //#    -- call on int org.w3c.dom.NodeList:getLength()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: int org.w3c.dom.NodeList:getLength()
      Node n = nodes.item(i);
    //#radiouserlandimporter.java:109: Warning: method not available
    //#    -- call on Node org.w3c.dom.NodeList:item(int)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: Node org.w3c.dom.NodeList:item(int)
      System.out.println(n.getNodeName());
    //#radiouserlandimporter.java:110: Warning: method not available
    //#    -- call on String org.w3c.dom.Node:getNodeName()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: String org.w3c.dom.Node:getNodeName()

      if (n.getNodeName().equals("string")) {
    //#radiouserlandimporter.java:112: Warning: method not available
    //#    -- call on String org.w3c.dom.Node:getNodeName()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: String org.w3c.dom.Node:getNodeName()
        System.out.println(n.getAttributes().getNamedItem("name"));
    //#radiouserlandimporter.java:113: Warning: method not available
    //#    -- call on NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#radiouserlandimporter.java:113: Warning: method not available
    //#    -- call on Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
        System.out.println(n.getAttributes().getNamedItem("name").getNodeValue());
    //#radiouserlandimporter.java:114: Warning: method not available
    //#    -- call on NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#radiouserlandimporter.java:114: Warning: method not available
    //#    -- call on Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#radiouserlandimporter.java:114: Warning: method not available
    //#    -- call on String org.w3c.dom.Node:getNodeValue()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: String org.w3c.dom.Node:getNodeValue()
        if (n.getAttributes().getNamedItem("name").getNodeValue().equals("title")) {
    //#radiouserlandimporter.java:115: Warning: method not available
    //#    -- call on NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#radiouserlandimporter.java:115: Warning: method not available
    //#    -- call on Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#radiouserlandimporter.java:115: Warning: method not available
    //#    -- call on String org.w3c.dom.Node:getNodeValue()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: String org.w3c.dom.Node:getNodeValue()
          title = n.getAttributes().getNamedItem("value").getNodeValue();
    //#radiouserlandimporter.java:116: Warning: method not available
    //#    -- call on NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#radiouserlandimporter.java:116: Warning: method not available
    //#    -- call on Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#radiouserlandimporter.java:116: Warning: method not available
    //#    -- call on String org.w3c.dom.Node:getNodeValue()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: String org.w3c.dom.Node:getNodeValue()
          System.out.println("Title : " + title);
        } else if (n.getAttributes().getNamedItem("name").getNodeValue().equals("text")) {
    //#radiouserlandimporter.java:118: Warning: method not available
    //#    -- call on NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#radiouserlandimporter.java:118: Warning: method not available
    //#    -- call on Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#radiouserlandimporter.java:118: Warning: method not available
    //#    -- call on String org.w3c.dom.Node:getNodeValue()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: String org.w3c.dom.Node:getNodeValue()
          body = n.getAttributes().getNamedItem("value").getNodeValue();
    //#radiouserlandimporter.java:119: Warning: method not available
    //#    -- call on NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#radiouserlandimporter.java:119: Warning: method not available
    //#    -- call on Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#radiouserlandimporter.java:119: Warning: method not available
    //#    -- call on String org.w3c.dom.Node:getNodeValue()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: String org.w3c.dom.Node:getNodeValue()
          System.out.println("Body : " + body);
        }
      }

      if (n.getNodeName().equals("date") && n.getAttributes().getNamedItem("name").getNodeValue().equals("when")) {
    //#radiouserlandimporter.java:124: Warning: method not available
    //#    -- call on String org.w3c.dom.Node:getNodeName()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: String org.w3c.dom.Node:getNodeName()
    //#radiouserlandimporter.java:124: Warning: method not available
    //#    -- call on NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#radiouserlandimporter.java:124: Warning: method not available
    //#    -- call on Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#radiouserlandimporter.java:124: Warning: method not available
    //#    -- call on String org.w3c.dom.Node:getNodeValue()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: String org.w3c.dom.Node:getNodeValue()
        date = sdf.parse((n.getAttributes().getNamedItem("value").getNodeValue()).substring(4));
    //#radiouserlandimporter.java:125: Warning: method not available
    //#    -- call on NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: NamedNodeMap org.w3c.dom.Node:getAttributes()
    //#radiouserlandimporter.java:125: Warning: method not available
    //#    -- call on Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: Node org.w3c.dom.NamedNodeMap:getNamedItem(String)
    //#radiouserlandimporter.java:125: Warning: method not available
    //#    -- call on String org.w3c.dom.Node:getNodeValue()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: String org.w3c.dom.Node:getNodeValue()
        System.out.println("Date : " + date);
      }
    }

    BlogEntry entry = new BlogEntry(blog);
    //#radiouserlandimporter.java:130: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry(Blog)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry(Blog)
    entry.setTitle(title);
    //#radiouserlandimporter.java:131: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setTitle(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setTitle(String)
    entry.setBody(body);
    //#radiouserlandimporter.java:132: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setBody(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setBody(String)
    entry.setDate(date);
    //#radiouserlandimporter.java:133: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setDate(Date)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setDate(Date)

    BlogService service = new BlogService();
    //#radiouserlandimporter.java:135: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogService()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogService()
    service.putBlogEntry(entry);
    //#radiouserlandimporter.java:136: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogService:putBlogEntry(BlogEntry)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
    //#    method: void importFile(Blog, File)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogService:putBlogEntry(BlogEntry)
  }
    //#radiouserlandimporter.java:137: end of method: void net.sourceforge.pebble.util.importer.RadioUserlandImporter.importFile(Blog, File)

}
    //#output(net.sourceforge.pebble.util.importer.RadioUserlandImporter$1__static_init): __Descendant_Table[net/sourceforge/pebble/util/importer/RadioUserlandImporter$1]
    //#output(net.sourceforge.pebble.util.importer.RadioUserlandImporter$1__static_init): __Dispatch_Table.error(Lorg/xml/sax/SAXParseException;)V
    //#output(net.sourceforge.pebble.util.importer.RadioUserlandImporter$1__static_init): __Dispatch_Table.fatalError(Lorg/xml/sax/SAXParseException;)V
    //#output(net.sourceforge.pebble.util.importer.RadioUserlandImporter$1__static_init): __Dispatch_Table.warning(Lorg/xml/sax/SAXParseException;)V
    //#post(net.sourceforge.pebble.util.importer.RadioUserlandImporter$1__static_init): __Descendant_Table[net/sourceforge/pebble/util/importer/RadioUserlandImporter$1] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.util.importer.RadioUserlandImporter$1__static_init): __Dispatch_Table.error(Lorg/xml/sax/SAXParseException;)V == &error
    //#post(net.sourceforge.pebble.util.importer.RadioUserlandImporter$1__static_init): __Dispatch_Table.fatalError(Lorg/xml/sax/SAXParseException;)V == &fatalError
    //#post(net.sourceforge.pebble.util.importer.RadioUserlandImporter$1__static_init): __Dispatch_Table.warning(Lorg/xml/sax/SAXParseException;)V == &warning
    //#radiouserlandimporter.java:: end of method: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1.net.sourceforge.pebble.util.importer.RadioUserlandImporter$1__static_init
    //#radiouserlandimporter.java:: end of class: net.sourceforge.pebble.util.importer.RadioUserlandImporter$1
    //#output(net.sourceforge.pebble.util.importer.RadioUserlandImporter__static_init): __Descendant_Table[net/sourceforge/pebble/util/importer/RadioUserlandImporter]
    //#post(net.sourceforge.pebble.util.importer.RadioUserlandImporter__static_init): __Descendant_Table[net/sourceforge/pebble/util/importer/RadioUserlandImporter] == &__Dispatch_Table
    //#radiouserlandimporter.java:: end of method: net.sourceforge.pebble.util.importer.RadioUserlandImporter.net.sourceforge.pebble.util.importer.RadioUserlandImporter__static_init
    //#radiouserlandimporter.java:: end of class: net.sourceforge.pebble.util.importer.RadioUserlandImporter
