/// <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; }