Z3
src/api/java/Log.java
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 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines