/// <summary>
/// Disposes object
/// </summary>
/// <param name="disposing">Flag indicating whether managed resources should be disposed</param>
protected virtual void Dispose(bool disposing)
{
if (!this._disposed)
{
if (disposing)
{
// Dispose managed objects
if (_session40 != null)
{
_session40.Dispose();
_session40 = null;
}
if (_session41 != null)
{
_session41.Dispose();
_session41 = null;
}
if (_session80 != null)
{
_session80.Dispose();
_session80 = null;
}
if (_session81 != null)
{
_session81.Dispose();
_session81 = null;
}
}
// Dispose unmanaged objects
_disposed = true;
}
}
/// <summary>
/// Converts platform specific Session to platfrom neutral Session
/// </summary>
/// <param name="session">Platform specific Session</param>
internal Session(HighLevelAPI81.Session session)
{
if (session == null)
throw new ArgumentNullException("session");
_session81 = session;
}