Z3 |

Log.java
Go to the documentation of this file.
1
18 package com.microsoft.z3;
19
26 public 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}
com.microsoft.z3.Log
Definition: Log.java:27
com.microsoft.z3.Log.close
static void close()
Definition: Log.java:45
com.microsoft.z3.Log.isOpen
static boolean isOpen()
Definition: Log.java:68
com.microsoft.z3.Log.open
static boolean open(String filename)
Definition: Log.java:36
com.microsoft.z3.Log.append
static void append(String s)
Definition: Log.java:56
com.microsoft.z3.Z3Exception
Definition: Z3Exception.java:26
z3py.String
def String(name, ctx=None)
Definition: z3py.py:10693