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.Z3Exception
Definition:
Z3Exception.java:26
z3py.String
def String(name, ctx=None)
Definition:
z3py.py:10693
Generated on Sat Jun 4 2022 07:10:05 for Z3 by
1.9.3