EDMLocalStream

edm.edom3

Interface EDMLocalStream


  • All Superinterfaces:EDMContextDependent, EDMData

    All Known Subinterfaces:EDMFileMapping



    public interface EDMLocalStream
    extends EDMData

    Copyright(C) EPM Technology AS.

    Version:3.0Author:Arne Toen - EPM Technology AS.

    • Method Detail

      • getCompressionType

        int getCompressionType()

        Get compression type

        Returns:compression typeSee Also:EDMConstants.CompressionTypes

      • setCompressionType

        void setCompressionType(int ctype)

        Get compression type

        Parameters:ctype - compression typeSee Also:EDMConstants.CompressionTypes

      • getFileFormat

        int getFileFormat()

        Retrieve file format

        Returns:file formatSee Also:EDMConstants.FileFormats

      • setFileFormat

        void setFileFormat(int s)

        Set file format

        Parameters:s - file formatSee 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 applicationThrows:java.io.IOException - if no input stream available for this EDMStreamEdmiException - 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 applicationThrows:java.io.IOException - if no input stream available for this EDMStreamEdmiException - 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