SessionManager

Object
- SessionManager

All Implemented Interfaces:

Closeable, AutoCloseable
```
public class SessionManager
extends Object
implements Closeable
```
A SessionManager is a component which handles the threading interaction with the Session.

Field Summary

Fields
Modifier and Type Field Description

static Logger debug
Debug tracer common to all Simplify classes.

static int prover_instantiate_count

Constructor Summary

Constructors
Constructor Description

SessionManager()

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static @Nullable SessionManager`	`attemptProverStartup()`
`void`	`close()`	Shutdown this session.
`static void`	`debugln(String s)`	log debug message
`static void`	`main(String[] args)`	Entry point for testing.
`void`	`request(Cmd command)`	Performs the given command, or times out if too much time elapses.

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - debug
```
public static final Logger debug
```
    Debug tracer common to all Simplify classes.
  - prover_instantiate_count
```
public static int prover_instantiate_count
```
- Constructor Detail
  - SessionManager
```
public SessionManager()
```
- Method Detail
  - debugln
```
public static void debugln(String s)
```
    log debug message
    
    Parameters:
    
    s - message to log
  - request
```
public void request(Cmd command)
             throws TimeoutException
```
    Performs the given command, or times out if too much time elapses.
    
    Throws:
    
    TimeoutException
  - close
```
public void close(@GuardSatisfied SessionManager this)
```
    Shutdown this session. No further commands may be executed.
    
    Specified by:
    
    close in interface AutoCloseable
    
    Specified by:
    
    close in interface Closeable
  - attemptProverStartup
```
public static @Nullable SessionManager attemptProverStartup()
```
  - main
```
public static void main(String[] args)
                 throws TimeoutException
```
    Entry point for testing.
    
    Parameters:
    
    args - command-line arguments
    
    Throws:
    
    TimeoutException - if SessionManager times out