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 }
static void appendLog(String a0)
Definition: Native.java:3089
static boolean open(String filename)
Definition: Log.java:36
static int openLog(String a0)
Definition: Native.java:3083
static void close()
Definition: Log.java:45
static void closeLog()
Definition: Native.java:3094
static boolean isOpen()
Definition: Log.java:68
static void append(String s)
Definition: Log.java:56