src/api/java/Log.java

Go to the documentation of this file.

package com.microsoft.z3;

public final class Log
{
    private static boolean m_is_open = false;

    public static boolean open(String filename)
    {
        m_is_open = true;
        return Native.openLog(filename) == 1;
    }

    public static void close()
    {
        m_is_open = false;
        Native.closeLog();
    }

    public static void append(String s)
    {
        if (!m_is_open)
            throw new Z3Exception("Log cannot be closed.");
        Native.appendLog(s);
    }

    public static boolean isOpen()
    {
        return m_is_open;
    }
}