/// <summary>
/// Reads an integer from the stream.
/// </summary>
/// <param name="name">Name of the element to read.</param>
/// <returns>The read integer.</returns>
public int ReadInt(string name)
{
return(codec.ReadInt(name));
}
/// <summary>
/// Reads an integer from the stream.
/// </summary>
/// <param name="name">Name of the element to read.</param>
/// <returns>The read integer.</returns>
public int ReadInt(string name)
{
return(codec.ReadInt(name));
}
