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);
    }
 
    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;
    }
}