Package edm.edom3

Interface EDMLocalStream

    • Method Detail

      • setCompressionType

        void setCompressionType​(int ctype)
        Get compression type
        Parameters:
        ctype - compression type
        See Also:
        EDMConstants.CompressionTypes
      • setFileFormat

        void setFileFormat​(int s)
        Set file format
        Parameters:
        s - file format
        See Also:
        EDMConstants.FileFormats
      • getXMLEncoding

        java.lang.String getXMLEncoding()
        Get encoding for XML
        Returns:
        encoding name, null if none
      • setXMLEncoding

        void setXMLEncoding​(java.lang.String s)
        Set encoding for XML
        Parameters:
        s - encoding name, null if none
      • getRealPrecision

        long getRealPrecision()
        Get real precision
        Returns:
        real precision
      • setRealPrecision

        void setRealPrecision​(long s)
        Set real precision
        Parameters:
        s - real precision
      • getFile

        java.io.File getFile()
        Get a File object for the local stream if applicable
        Returns:
        thre wrapped file, null of not applicable
      • getInputStream

        java.io.InputStream getInputStream()
                                    throws EdmiException,
                                           java.io.IOException
        Get stream for piping from EDM to user program.
        Returns:
        input stream for user application
        Throws:
        java.io.IOException - if no input stream available for this EDMStream
        EdmiException - if other error
      • getOutputStream

        java.io.OutputStream getOutputStream()
                                      throws EdmiException,
                                             java.io.IOException
        Get stream for piping from user program to EDM.
        Returns:
        output stream for user application
        Throws:
        java.io.IOException - if no input stream available for this EDMStream
        EdmiException - if other error
      • isInputToEDM

        boolean isInputToEDM()
        Finds if stream is input to EDM or output from EDM
        Returns:
        true if stream is input to EDM