Z3
Log.java
Go to the documentation of this file.
1
18package com.microsoft.z3;
19
26public final class Log
27{
28 private static boolean m_is_open = false;
29
36 public static boolean open(String filename)
37 {
38 m_is_open = true;
39 return Native.openLog(filename) == 1;
40 }
41
45 public static void close()
46 {
47 m_is_open = false;
48 Native.closeLog();
49 }
50
56 public static void append(String s)
57 {
58 if (!m_is_open)
59 throw new Z3Exception("Log cannot be closed.");
60 Native.appendLog(s);
61 }
62
68 public static boolean isOpen()
69 {
70 return m_is_open;
71 }
72}
static void close()
Definition: Log.java:45
static boolean isOpen()
Definition: Log.java:68
static boolean open(String filename)
Definition: Log.java:36
static void append(String s)
Definition: Log.java:56
def String(name, ctx=None)
Definition: z3py.py:10693