Class SpecificationReader

java.lang.Object
net.sf.opendse.io.SpecificationReader

public class SpecificationReader extends Object
The SpecificationReader reads a Specification from an InputStream or file.
  • Constructor Details

    • SpecificationReader

      public SpecificationReader()
      Default constructor with the default class dictionary.
    • SpecificationReader

      public SpecificationReader(ClassDictionary classDict)
      Constructor to work with a custom class dictionary.
      Parameters:
      classDict - the custom class dictionary
  • Method Details

    • read

      public Specification read(String filename)
      Read specification from a file.
      Parameters:
      filename - the file name
      Returns:
      the specification
    • read

      public Specification read(File file)
      Read specification from a file.
      Parameters:
      file - the file
      Returns:
      the specification
    • read

      public Specification read(InputStream in)
      Read specification from an input stream.
      Parameters:
      in - the input stream
      Returns:
      the specification
    • toSpecification

      public Specification toSpecification(nu.xom.Element eSpecification)
      Convert an XML element to a specification
      Parameters:
      eSpecification - the XML element
      Returns:
      the specification