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 |