Protocol info manages the current message id and a list of requests. Public variables:
A dictionary mapping message ids to request locks.
The Protocol object itself.
def __init__(self, protocol):
Constructs a ProtocolInfo object from the Protocol itself.
Returns the next available message id.
getNextId(self)
def getNextId(self):