Module Expr Str ImportFrom alias alias Import alias ImportFrom alias ImportFrom alias ImportFrom alias ImportFrom alias Expr Call AttributeLoad NameLoad attr keyword AttributeLoad NameLoad attr ClassDef bases NameLoad body Expr Str ClassDef bases NameLoad body Expr Str FunctionDef arguments args NameParam NameParam NameParam defaults body Assign AttributeStore NameLoad attr NameLoad Assign TupleStore AttributeStore NameLoad attr AttributeStore NameLoad attr Call NameLoad keyword NameLoad Assign AttributeStore NameLoad attr Call NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Expr Call AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr Str AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam defaults body Expr Str Assign NameStore NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr If Call AttributeLoad AttributeLoad NameLoad attr attr body Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr Expr Call AttributeLoad NameLoad attr Str Return Dict Str Str AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str If AttributeLoad AttributeLoad NameLoad attr attr body Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad AttributeLoad NameLoad attr attr BinOpAdd NameLoad Str Return NameLoad orelse Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body If AttributeLoad AttributeLoad NameLoad attr attr body Return Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad decorator_list decorator_list Assign NameStore Dict FunctionDef arguments args NameParam defaults body Assign AttributeStore NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr Assign AttributeStore NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr Assign AttributeStore NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str Assign NameStore Call AttributeLoad Call NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr Str NameLoad Assign NameStore Call AttributeLoad NameLoad attr Str Assign NameStore Call AttributeLoad NameLoad attr Str Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad Assign NameStore SubscriptLoad NameLoad Index Str If AttributeLoad NameLoad attr body Assign SubscriptStore NameLoad Index Str Call AttributeLoad NameLoad attr SubscriptLoad NameLoad Index Str Assign NameStore Call AttributeLoad Call NameLoad attr NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str Expr Call AttributeLoad NameLoad attr BinOpMod Str NameLoad Assign NameStore Call AttributeLoad Str attr Call AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str If UnaryOpNot NameLoad body Assign NameStore Dict Str Str NameLoad Str orelse If CompareEq Str NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad Assign NameStore Dict Str Str NameLoad Str orelse Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad If UnaryOpNot NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad AttributeLoad NameLoad attr Expr Call AttributeLoad AttributeLoad NameLoad attr attr Dict AttributeLoad NameLoad attr NameLoad If UnaryOpNot Call AttributeLoad NameLoad attr NameLoad body Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr NameLoad Assign NameStore Call AttributeLoad NameLoad attr Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str If CompareIn Str Call AttributeLoad Str attr AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr Str orelse Expr Call AttributeLoad NameLoad attr Str Raise NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad If NameLoad body Expr Call AttributeLoad NameLoad attr Delete SubscriptDel AttributeLoad NameLoad attr Index NameLoad decorator_list decorator_list
N/A N/A 
Connserv
~~~~~~~~
Server for Coq protocol. Clients can connect and request server sessions based
on a userid and a Coq command serialized into JSON::

  {"command":"", "userid":""}

 They then send commands and receive back JSON of
the schema::

  {'userid': self.userid, 'response': res}

 json JSONDecoder JSONEncoder N/A logging multiprocessing Pipe twisted.internet.protocol Protocol base CoqProc parser.gram parser N/A N/A N/A logging basicConfig level N/A logging DEBUG CoqProtocol N/A Protocol N/A N/A 
    Implementation of the Coq Protocol which handles connection and
    disconnection of the server and roudtrips to and from the backend.
     ActiveConn N/A object N/A N/A 
        Talks to the specific backend instance associated with a userid
         __init__ N/A N/A self userid modules N/A N/A N/A N/A self userid userid N/A N/A N/A self here N/A self there N/A Pipe duplex True N/A N/A self proc N/A CoqProc N/A N/A N/A N/A self proc start modules N/A N/A N/A self read N/A N/A N/A logging debug Coqtop Process started %s N/A self proc N/A read N/A N/A self N/A N/A N/A poll results from the coqtop backend N/A res None N/A N/A N/A N/A self proc run N/A self there N/A N/A N/A N/A self here poll N/A N/A res N/A N/A N/A self here recv N/A N/A N/A logging debug Received content from process N/A N/A userid response N/A self userid res N/A send N/A N/A self data N/A N/A N/A send results to our coqtop instance N/A N/A N/A self proc alive N/A N/A N/A N/A logging debug sending stuff N/A N/A N/A N/A self here send N/A data N/A True N/A N/A False N/A quit N/A N/A self N/A N/A N/A N/A N/A self proc alive N/A N/A N/A N/A N/A self proc terminate True N/A N/A N/A active_conns N/A connectionMade N/A N/A self N/A N/A N/A N/A self serialize N/A N/A self factory serialize N/A N/A self modules N/A N/A self factory modules N/A N/A self serialize N/A N/A self factory serialize N/A dataReceived N/A N/A self data N/A N/A N/A 
        Parse data we've recieved and send to proof engine
        Expects JSON will be in the schema {"command":"", "userid":""}
         N/A req_data N/A N/A N/A JSONDecoder decode data N/A N/A N/A logging debug Got: %s req_data N/A command N/A N/A req_data get command N/A userid N/A N/A req_data get userid N/A resp_data N/A N/A self handle_command userid command N/A data N/A resp_data N/A response N/A N/A self serialize N/A N/A N/A resp_data N/A response N/A N/A self do_parse N/A resp_data N/A response N/A data N/A N/A N/A JSONEncoder encode resp_data N/A N/A N/A N/A self transport write data N/A N/A N/A N/A self transport loseConnection N/A do_parse N/A N/A self output N/A N/A N/A Parse coqtop results and serialize N/A N/A N/A logging debug N/A Unformatted Output: %s output N/A output N/A N/A join N/A N/A output splitlines N/A result N/A N/A parser parse output N/A result N/A handle_command N/A N/A self userid command N/A N/A N/A When a command is received send it to the specific backend for the
        given userid N/A N/A command N/A N/A resp_dict N/A userid response userid N/A N/A N/A quit command N/A N/A N/A N/A self cleanup_session userid N/A resp_dict N/A userid response userid Exited N/A N/A active_sess N/A N/A N/A self active_conns get userid N/A N/A active_sess N/A N/A active_sess N/A N/A self ActiveConn userid N/A self modules N/A N/A N/A N/A self active_conns update N/A N/A active_sess userid active_sess N/A N/A N/A N/A active_sess send command N/A N/A N/A N/A logging error Command could not be sent N/A N/A N/A self cleanup_session userid N/A resp_dict N/A N/A active_sess read N/A resp_dict N/A connectionLost N/A N/A self reason N/A N/A N/A When the connection closes log the exit status N/A N/A ConnectionDone N/A N/A join N/A reason parents N/A N/A N/A N/A logging debug Connection closed cleanly N/A N/A N/A N/A logging debug Connection didn't close correctly N/A reason N/A cleanup_session N/A N/A self userid N/A N/A N/A Close out sessions and remove the userid from the tracking table N/A active_sess N/A N/A N/A self active_conns get userid N/A active_sess N/A N/A N/A N/A active_sess quit N/A N/A N/A self active_conns N/A userid N/A N/A