Z3
Log.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
25 public final class Log
26 {
27  private static boolean m_is_open = false;
28 
35  public static boolean open(String filename)
36  {
37  m_is_open = true;
38  return Native.openLog(filename) == 1;
39  }
40 
44  public static void close()
45  {
46  m_is_open = false;
47  Native.closeLog();
48  }
49 
55  public static void append(String s) throws Z3Exception
56  {
57  if (!m_is_open)
58  throw new Z3Exception("Log cannot be closed.");
59  Native.appendLog(s);
60  }
61 
67  public static boolean isOpen()
68  {
69  return m_is_open;
70  }
71 }
static void appendLog(String a0)
Definition: Native.java:2966
static boolean open(String filename)
Definition: Log.java:35
static int openLog(String a0)
Definition: Native.java:2960
static void close()
Definition: Log.java:44
static void closeLog()
Definition: Native.java:2971
static boolean isOpen()
Definition: Log.java:67
static void append(String s)
Definition: Log.java:55