/// <summary> Inserts an already created (and initialized) protocol into the protocol list. Sets the links
/// to the protocols above and below correctly and adjusts the linked list of protocols accordingly.
/// Note that this method may change the value of top_prot or bottom_prot.
/// </summary>
/// <param name="prot">The protocol to be inserted. Before insertion, a sanity check will ensure that none
/// of the existing protocols have the same name as the new protocol.
/// </param>
/// <param name="position">Where to place the protocol with respect to the neighbor_prot (ABOVE, BELOW)
/// </param>
/// <param name="neighbor_prot">The name of the neighbor protocol. An exception will be thrown if this name
/// is not found
/// </param>
/// <exception cref=""> Exception Will be thrown when the new protocol cannot be created, or inserted.
/// </exception>
public virtual void insertProtocol(Protocol prot, int position, string neighbor_prot)
{
conf.insertProtocol(prot, position, neighbor_prot, this);
}
