Microsoft.Cci.MutableCodeModel.ForStatement.ObjectInvariant C# (CSharp) Метод

    private void ObjectInvariant() {
      Contract.Invariant(this.body != null);
      Contract.Invariant(this.condition != null);
      Contract.Invariant(this.incrementStatements != null);
      Contract.Invariant(this.initStatements != null);
    }