FileDocCategorySizeDatePackage
HTMLWriter.javaAPI DocAndroid 1.5 API3022Wed May 06 22:41:16 BST 2009com.vladium.emma.report.html.doc

HTMLWriter

public final class HTMLWriter extends Object
author
Vlad Roubtsov, (C) 2003

Fields Summary
private Writer
m_out
Constructors Summary
public HTMLWriter(Writer out)

        if (out == null) throw new IllegalArgumentException ("null input: out");
        
        m_out = out;
    
Methods Summary
public voidclose()

        if (m_out != null)
        {
            try { m_out.close (); } catch (IOException ignore) {}
            m_out = null;
        }
    
public voideol()

        if (m_out != null)
        {
            try
            {
                m_out.write (IConstants.EOL);
            }
            catch (IOException ioe)
            {
                throw new EMMARuntimeException (IAppErrorCodes.REPORT_IO_FAILURE, ioe);
            }
        }
    
public voidflush()

        if (m_out != null)
        {
            try
            {
                m_out.flush ();
            }
            catch (IOException ioe)
            {
                throw new EMMARuntimeException (IAppErrorCodes.REPORT_IO_FAILURE, ioe);
            }
        }
    
public voidwrite(java.lang.String s)

        if ($assert.ENABLED) $assert.ASSERT (s != null, "s = null");
        
        if (m_out != null)
        {
            try
            {
                m_out.write (s);
            }
            catch (IOException ioe)
            {
                throw new EMMARuntimeException (IAppErrorCodes.REPORT_IO_FAILURE, ioe);
            }
        }
    
public voidwrite(char c)

        if (m_out != null)
        {
            try
            {
                m_out.write (c);
            }
            catch (IOException ioe)
            {
                throw new EMMARuntimeException (IAppErrorCodes.REPORT_IO_FAILURE, ioe);
            }
        }