Z3
Static Public Member Functions
Log Class Reference

Static Public Member Functions

static boolean open (String filename)
 
static void close ()
 
static void append (String s) throws Z3Exception
 
static boolean isOpen ()
 

Detailed Description

Interaction logging for Z3.

Note that this is a global, static log and if multiple Context objects are created, it logs the interaction with all of them.

Definition at line 25 of file Log.java.

Member Function Documentation

static void append ( String  s) throws Z3Exception
inlinestatic

Appends the user-provided string s to the interaction log.

Exceptions
Z3Exception

Definition at line 55 of file Log.java.

56  {
57  if (!m_is_open)
58  throw new Z3Exception("Log cannot be closed.");
59  Native.appendLog(s);
60  }
static void close ( )
inlinestatic

Closes the interaction log.

Definition at line 44 of file Log.java.

45  {
46  m_is_open = false;
47  Native.closeLog();
48  }
static boolean isOpen ( )
inlinestatic

Checks whether the interaction log is opened.

Returns
True if the interaction log is open, false otherwise.

Definition at line 67 of file Log.java.

68  {
69  return m_is_open;
70  }
static boolean open ( String  filename)
inlinestatic

Open an interaction log file.

Parameters
filenamethe name of the file to open
Returns
True if opening the log file succeeds, false otherwise.

Definition at line 35 of file Log.java.

36  {
37  m_is_open = true;
38  return Native.openLog(filename) == 1;
39  }