/// <summary> Creates a queue node with the given contents </summary>
//@ requires contents != null;
//@ assignable m_Contents, m_Next;
//@ ensures m_Contents == contents;
//@ ensures m_Next == null;
public QueueXmlNode(Queue enclosingInstance, System.Object contents)
{
InitBlock(enclosingInstance);
m_Contents = contents;
next(null);
}
private void InitBlock(Queue enclosingInstance)
{
this.enclosingInstance = enclosingInstance;
}