Package com.microsoft.z3

Class Log

java.lang.Object
com.microsoft.z3.Log
public final class Log extends 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
    Description
    Log()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    append(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(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 Details

    • Log

      public Log()

  • Method Details

    • open

      public static boolean open(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(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.