Package org.jcsp.net

Class XMLNodeFactory

  • All Implemented Interfaces:
    java.io.Serializable, NodeFactory

    public class XMLNodeFactory
    extends java.lang.Object
    implements NodeFactory

    Factory for node instantiation based on an XML-like file.

    The factory uses its own XML parser that supports a sub-set of XML. The current implementation will parse a file compatible with jcsp-config.dtd. The parser does not current test conformance to this DTD. It does not currently support XML comments.

    An example of using this class can be seen in CNS.

    See Also:
    Serialized Form
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private JCSPConfig config  
    • Constructor Summary

      Constructors 
      Constructor Description
      XMLNodeFactory​(java.io.File xmlFile)
      Constructs an XMLNodeFactory that uses the specified file.
      XMLNodeFactory​(java.lang.String filename)
      Constructs an XMLNodeFactory that uses the specified file.
      XMLNodeFactory​(java.net.URL xmlFile)
      Constructs an XMLNodeFactory that uses the specified file.
    • Constructor Detail

      • XMLNodeFactory

        public XMLNodeFactory​(java.lang.String filename)
                       throws java.io.IOException
        Constructs an XMLNodeFactory that uses the specified file.
        Parameters:
        filename - the file name of the config file to use.
        Throws:
        java.io.IOException
      • XMLNodeFactory

        public XMLNodeFactory​(java.io.File xmlFile)
                       throws java.io.IOException
        Constructs an XMLNodeFactory that uses the specified file.
        Parameters:
        xmlFile - a File object pointing to the XML file to use.
        Throws:
        java.io.IOException
      • XMLNodeFactory

        public XMLNodeFactory​(java.net.URL xmlFile)
                       throws java.io.IOException
        Constructs an XMLNodeFactory that uses the specified file.
        Parameters:
        xmlFile - a URL object pointing to the XML file to use.
        Throws:
        java.io.IOException