class documentation
class ProjectManager(object):
The project manager class exposes basic methods to manage scenarios, record them, replay them and start a REVEN server to analyse them.
| Method | __init__ |
Undocumented |
| Method | auto |
Undocumented |
| Method | auto |
Undocumented |
| Method | cancel |
Undocumented |
| Method | commit |
Undocumented |
| Method | connect |
Use this method in a `with` pattern to get a `RevenServer` instance connected to the specified scenario name. |
| Method | create |
Undocumented |
| Method | delete |
Undocumented |
| Method | delete |
Undocumented |
| Method | delete |
Undocumented |
| Method | delete |
Undocumented |
| Method | delete |
Undocumented |
| Method | delete |
Undocumented |
| Method | delete |
Undocumented |
| Method | delete |
Undocumented |
| Method | eject |
Undocumented |
| Method | eject |
Undocumented |
| Method | export |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | get |
Undocumented |
| Method | import |
Undocumented |
| Method | insert |
Undocumented |
| Method | insert |
Undocumented |
| Method | load |
Undocumented |
| Method | replay |
Undocumented |
| Method | save |
Undocumented |
| Method | start |
Undocumented |
| Method | start |
Undocumented |
| Method | start |
Undocumented |
| Method | start |
Undocumented |
| Method | stop |
Undocumented |
| Method | stop |
Undocumented |
| Method | update |
Undocumented |
| Method | update |
Undocumented |
| Method | upload |
Undocumented |
| Instance Variable | client |
Undocumented |
| Instance Variable | document |
Undocumented |
| Property | hostname |
Property: The hostname of this project manager |
| Property | port |
Property: The port of this project manager |
| Static Method | _init |
Undocumented |
| Method | _do |
Undocumented |
| Method | _request |
Undocumented |
| Instance Variable | _url |
Undocumented |
def connect(self, name, ephemeral=True):
Use this method in a `with` pattern to get a `RevenServer` instance connected to the specified scenario name.
This avoids having to use port numbers to connect to a server.
A new server will be started if there is no server for this scenario. If ephemeral is set to True (the default) and a new server is started by this call, then disposing of the connection will stop the server.
Examples
>>> # Using the 'with' syntax >>> with pm.connect("ddref") as server: ... print(server.trace.transition_count)
>>> # From the command line, it can be easier to do: >>> connection = Connection(pm, "ddref") >>> server = connection.server >>> print(server.trace.transition_count) >>> connection.disconnect() # to stop the server if we started it
>>> # If you want to keep the server >>> host = None >>> port = None >>> with pm.connect("ddref", ephemeral=False) as server: ... # save the port for later use ... host = server.host ... port = server.port ... # The REVEN server is still accessible here ... server = reven2.RevenServer(host, port) ... print(server.trace.transition_count)
| Parameters | |
name:str | Undocumented |
ephemeral:bool | Undocumented |
| Returns | |
Connection | Undocumented |