Microsoft.Cci.ILToCodeModel.PopReplacer.ObjectInvariant C# (CSharp) Method

    private void ObjectInvariant() {
      Contract.Invariant(this.statements != null);
      Contract.Invariant(this.i >= 0);
      Contract.Invariant(this.i < this.statements.Count);
    }