com.microsoft.z3

Class Log

java.lang.Object

com.microsoft.z3.Log

public final class Log
extends java.lang.Object

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

Constructor Summary

Constructors

Constructor and Description
Log()

Method Summary

Methods

Modifier and Type	Method and Description
static void	append(java.lang.String s) Appends the user-provided string s to the interaction log.
static void	close() Closes the interaction log.
static boolean	isOpen() Checks whether the interaction log is opened.
static boolean	open(java.lang.String filename) Open an interaction log file.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Log

public Log()

Method Detail

open

public static boolean open(java.lang.String filename)

Open an interaction log file.

Parameters:

filename - the name of the file to open

Returns:

True if opening the log file succeeds, false otherwise.

close

public static void close()

Closes the interaction log.

append

public static void append(java.lang.String s)

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

Throws:

Z3Exception

isOpen

public static boolean isOpen()

Checks whether the interaction log is opened.

Returns:

True if the interaction log is open, false otherwise.