Go to the documentation of this file.00001
00018 package com.microsoft.z3;
00019
00025 public final class Log
00026 {
00027 private static boolean m_is_open = false;
00028
00035 public static boolean open(String filename)
00036 {
00037 m_is_open = true;
00038 return Native.openLog(filename) == 1;
00039 }
00040
00044 public static void close()
00045 {
00046 m_is_open = false;
00047 Native.closeLog();
00048 }
00049
00055 public static void append(String s) throws Z3Exception
00056 {
00057 if (!m_is_open)
00058 throw new Z3Exception("Log cannot be closed.");
00059 Native.appendLog(s);
00060 }
00061
00067 public static boolean isOpen()
00068 {
00069 return m_is_open;
00070 }
00071 }