Z3
src
api
java
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
}
com.microsoft.z3.Log
Definition:
Log.java:27
com.microsoft.z3.Log.close
static void close()
Definition:
Log.java:45
com.microsoft.z3.Log.isOpen
static boolean isOpen()
Definition:
Log.java:68
com.microsoft.z3.Log.open
static boolean open(String filename)
Definition:
Log.java:36
com.microsoft.z3.Log.append
static void append(String s)
Definition:
Log.java:56
com.microsoft.z3.Native
Definition:
Native.java:4
com.microsoft.z3.Native.closeLog
static void closeLog()
Definition:
Native.java:3802
com.microsoft.z3.Native.appendLog
static void appendLog(String a0)
Definition:
Native.java:3797
com.microsoft.z3.Native.openLog
static int openLog(String a0)
Definition:
Native.java:3791
com.microsoft.z3.Z3Exception
Definition:
Z3Exception.java:26
z3py.String
def String(name, ctx=None)
Definition:
z3py.py:10085
Generated on Sun Apr 24 2022 02:30:08 for Z3 by
1.9.3