Validate that int values that we write to summaries are >= 0.

pkg/analyzer/lib/src/summary/format.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 //
 // This file has been automatically generated.  Please do not edit it manually.
 // To regenerate the file, use the script "pkg/analyzer/tool/generate_files".
 
 library analyzer.src.summary.format;
 
 import 'base.dart' as base;
@@ skipping 268 matching lines @@
 
   @override
   int get dependency => _dependency ?? 0;
 
   /**
    * Index into [LinkedLibrary.dependencies] for the library in which the
    * entity is defined.
    */
   void set dependency(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _dependency = _value;
   }
 
   @override
   int get unit => _unit ?? 0;
 
   /**
    * Integer index indicating which unit in the exported library contains the
    * definition of the entity.  As with indices into [LinkedLibrary.units],
    * zero represents the defining compilation unit, and nonzero values
    * represent parts in the order of the corresponding `part` declarations.
    */
   void set unit(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _unit = _value;
   }
 
   @override
   ReferenceKind get kind => _kind ?? ReferenceKind.classOrEnum;
 
   /**
    * The kind of the entity being referred to.
    */
   void set kind(ReferenceKind _value) {
@@ skipping 163 matching lines @@
 
   @override
   List<int> get importDependencies => _importDependencies ?? const <int>[];
 
   /**
    * For each import in [UnlinkedUnit.imports], an index into [dependencies]
    * of the library being imported.
    */
   void set importDependencies(List<int> _value) {
     assert(!_finished);
+    assert(_value == null || _value.every((e) => e >= 0));
     _importDependencies = _value;
   }
 
   @override
   List<LinkedExportName> get exportNames => _exportNames ?? const <LinkedExportName>[];
 
   /**
    * Information about entities in the export namespace of the library that are
    * not in the public namespace of the library (that is, entities that are
    * brought into the namespace via `export` directives).
    *
    * Sorted by name.
    */
   void set exportNames(List<LinkedExportNameBuilder> _value) {
     assert(!_finished);
     _exportNames = _value;
   }
 
   @override
   int get numPrelinkedDependencies => _numPrelinkedDependencies ?? 0;
 
   /**
    * The number of elements in [dependencies] which are not "linked"
    * dependencies (that is, the number of libraries in the direct imports plus
    * the transitive closure of exports, plus the library itself).
    */
   void set numPrelinkedDependencies(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _numPrelinkedDependencies = _value;
   }
 
   LinkedLibraryBuilder({List<LinkedUnitBuilder> units, List<LinkedDependencyBuilder> dependencies, List<int> importDependencies, List<LinkedExportNameBuilder> exportNames, int numPrelinkedDependencies})
     : _units = units,
       _dependencies = dependencies,
       _importDependencies = importDependencies,
       _exportNames = exportNames,
       _numPrelinkedDependencies = numPrelinkedDependencies;
 
@@ skipping 169 matching lines @@
 
   @override
   int get dependency => _dependency ?? 0;
 
   /**
    * Index into [LinkedLibrary.dependencies] indicating which imported library
    * declares the entity being referred to.
    */
   void set dependency(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _dependency = _value;
   }
 
   @override
   ReferenceKind get kind => _kind ?? ReferenceKind.classOrEnum;
 
   /**
    * The kind of the entity being referred to.  For the pseudo-type `dynamic`,
    * the kind is [ReferenceKind.classOrEnum].
    */
   void set kind(ReferenceKind _value) {
     assert(!_finished);
     _kind = _value;
   }
 
   @override
   int get unit => _unit ?? 0;
 
   /**
    * Integer index indicating which unit in the imported library contains the
    * definition of the entity.  As with indices into [LinkedLibrary.units],
    * zero represents the defining compilation unit, and nonzero values
    * represent parts in the order of the corresponding `part` declarations.
    */
   void set unit(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _unit = _value;
   }
 
   @override
   int get numTypeParameters => _numTypeParameters ?? 0;
 
   /**
    * If the entity being referred to is generic, the number of type parameters
    * it accepts.  Otherwise zero.
    */
   void set numTypeParameters(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _numTypeParameters = _value;
   }
 
   @override
   String get name => _name ?? '';
 
   /**
    * If this [LinkedReference] doesn't have an associated [UnlinkedReference],
    * name of the entity being referred to.  The empty string refers to the
    * pseudo-type `dynamic`.
@@ skipping 448 matching lines @@
 
   /**
    * If this [TypeRef] is contained within [LinkedUnit.types], slot id (which
    * is unique within the compilation unit) identifying the target of type
    * propagation or type inference with which this [TypeRef] is asociated.
    *
    * Otherwise zero.
    */
   void set slot(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _slot = _value;
   }
 
   @override
   int get reference => _reference ?? 0;
 
   /**
    * Index into [UnlinkedUnit.references] for the type being referred to, or
    * zero if this is a reference to a type parameter.
    *
    * Note that since zero is also a valid index into
    * [UnlinkedUnit.references], we cannot distinguish between references to
    * type parameters and references to types by checking [reference] against
    * zero.  To distinguish between references to type parameters and references
    * to types, check whether [paramReference] is zero.
    */
   void set reference(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _reference = _value;
   }
 
   @override
   int get paramReference => _paramReference ?? 0;
 
   /**
    * If this is a reference to a type parameter, one-based index into the list
    * of [UnlinkedTypeParam]s currently in effect.  Indexing is done using De
    * Bruijn index conventions; that is, innermost parameters come first, and
    * if a class or method has multiple parameters, they are indexed from right
    * to left.  So for instance, if the enclosing declaration is
    *
    *     class C<T,U> {
    *       m<V,W> {
    *         ...
    *       }
    *     }
    *
    * Then [paramReference] values of 1, 2, 3, and 4 represent W, V, U, and T,
    * respectively.
    *
    * If the type being referred to is not a type parameter, [paramReference] is
    * zero.
    */
   void set paramReference(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _paramReference = _value;
   }
 
   @override
   List<TypeRef> get typeArguments => _typeArguments ?? const <TypeRef>[];
 
   /**
    * If this is an instantiation of a generic type, the type arguments used to
    * instantiate it.  Trailing type arguments of type `dynamic` are omitted.
    */
@@ skipping 166 matching lines @@
   }
 
   @override
   int get nameOffset => _nameOffset ?? 0;
 
   /**
    * Offset of the class name relative to the beginning of the file.
    */
   void set nameOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _nameOffset = _value;
   }
 
   @override
   UnlinkedDocumentationComment get documentationComment => _documentationComment;
 
   /**
    * Documentation comment for the class, or `null` if there is no
    * documentation comment.
    */
@@ skipping 511 matching lines @@
   @override
   List<int> get ints => _ints ?? const <int>[];
 
   /**
    * Sequence of 32-bit integers consumed by the operations `pushArgument`,
    * `pushInt`, `shiftOr`, `concatenate`, `invokeConstructor`, `makeList`, and
    * `makeMap`.
    */
   void set ints(List<int> _value) {
     assert(!_finished);
+    assert(_value == null || _value.every((e) => e >= 0));
     _ints = _value;
   }
 
   @override
   List<double> get doubles => _doubles ?? const <double>[];
 
   /**
    * Sequence of 64-bit doubles consumed by the operation `pushDouble`.
    */
   void set doubles(List<double> _value) {
@@ skipping 205 matching lines @@
 
   @override
   int get offset => _offset ?? 0;
 
   /**
    * Offset of the beginning of the documentation comment relative to the
    * beginning of the file.
    */
   void set offset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _offset = _value;
   }
 
   @override
   int get length => _length ?? 0;
 
   /**
    * Length of the documentation comment (prior to replacing '\r\n' with '\n').
    */
   void set length(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _length = _value;
   }
 
   UnlinkedDocumentationCommentBuilder({String text, int offset, int length})
     : _text = text,
       _offset = offset,
       _length = length;
 
   fb.Offset finish(fb.Builder fbBuilder) {
     assert(!_finished);
@@ skipping 105 matching lines @@
   }
 
   @override
   int get nameOffset => _nameOffset ?? 0;
 
   /**
    * Offset of the enum name relative to the beginning of the file.
    */
   void set nameOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _nameOffset = _value;
   }
 
   @override
   UnlinkedDocumentationComment get documentationComment => _documentationComment;
 
   /**
    * Documentation comment for the enum, or `null` if there is no documentation
    * comment.
    */
@@ skipping 149 matching lines @@
   }
 
   @override
   int get nameOffset => _nameOffset ?? 0;
 
   /**
    * Offset of the enum value name relative to the beginning of the file.
    */
   void set nameOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _nameOffset = _value;
   }
 
   @override
   UnlinkedDocumentationComment get documentationComment => _documentationComment;
 
   /**
    * Documentation comment for the enum value, or `null` if there is no
    * documentation comment.
    */
@@ skipping 133 matching lines @@
   int get nameOffset => _nameOffset ?? 0;
 
   /**
    * Offset of the executable name relative to the beginning of the file.  For
    * named constructors, this excludes the class name and excludes the ".".
    * For unnamed constructors, this is the offset of the class name (i.e. the
    * offset of the second "C" in "class C { C(); }").
    */
   void set nameOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _nameOffset = _value;
   }
 
   @override
   UnlinkedDocumentationComment get documentationComment => _documentationComment;
 
   /**
    * Documentation comment for the executable, or `null` if there is no
    * documentation comment.
    */
@@ skipping 426 matching lines @@
   int _uriEnd;
 
   @override
   int get offset => _offset ?? 0;
 
   /**
    * Offset of the "export" keyword.
    */
   void set offset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _offset = _value;
   }
 
   @override
   int get uriOffset => _uriOffset ?? 0;
 
   /**
    * Offset of the URI string (including quotes) relative to the beginning of
    * the file.
    */
   void set uriOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _uriOffset = _value;
   }
 
   @override
   int get uriEnd => _uriEnd ?? 0;
 
   /**
    * End of the URI string (including quotes) relative to the beginning of the
    * file.
    */
   void set uriEnd(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _uriEnd = _value;
   }
 
   UnlinkedExportNonPublicBuilder({int offset, int uriOffset, int uriEnd})
     : _offset = offset,
       _uriOffset = uriOffset,
       _uriEnd = uriEnd;
 
   fb.Offset finish(fb.Builder fbBuilder) {
     assert(!_finished);
@@ skipping 213 matching lines @@
 
   @override
   int get offset => _offset ?? 0;
 
   /**
    * If [isImplicit] is false, offset of the "import" keyword.  If [isImplicit]
    * is true, zero.
    */
   void set offset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _offset = _value;
   }
 
   @override
   int get prefixReference => _prefixReference ?? 0;
 
   /**
    * Index into [UnlinkedUnit.references] of the prefix declared by this
    * import declaration, or zero if this import declaration declares no prefix.
    *
    * Note that multiple imports can declare the same prefix.
    */
   void set prefixReference(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _prefixReference = _value;
   }
 
   @override
   List<UnlinkedCombinator> get combinators => _combinators ?? const <UnlinkedCombinator>[];
 
   /**
    * Combinators contained in this import declaration.
    */
   void set combinators(List<UnlinkedCombinatorBuilder> _value) {
@@ skipping 25 matching lines @@
 
   @override
   int get uriOffset => _uriOffset ?? 0;
 
   /**
    * Offset of the URI string (including quotes) relative to the beginning of
    * the file.  If [isImplicit] is true, zero.
    */
   void set uriOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _uriOffset = _value;
   }
 
   @override
   int get uriEnd => _uriEnd ?? 0;
 
   /**
    * End of the URI string (including quotes) relative to the beginning of the
    * file.  If [isImplicit] is true, zero.
    */
   void set uriEnd(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _uriEnd = _value;
   }
 
   @override
   int get prefixOffset => _prefixOffset ?? 0;
 
   /**
    * Offset of the prefix name relative to the beginning of the file, or zero
    * if there is no prefix.
    */
   void set prefixOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _prefixOffset = _value;
   }
 
   UnlinkedImportBuilder({String uri, int offset, int prefixReference, List<UnlinkedCombinatorBuilder> combinators, bool isDeferred, bool isImplicit, int uriOffset, int uriEnd, int prefixOffset})
     : _uri = uri,
       _offset = offset,
       _prefixReference = prefixReference,
       _combinators = combinators,
       _isDeferred = isDeferred,
       _isImplicit = isImplicit,
@@ skipping 218 matching lines @@
   }
 
   @override
   int get nameOffset => _nameOffset ?? 0;
 
   /**
    * Offset of the parameter name relative to the beginning of the file.
    */
   void set nameOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _nameOffset = _value;
   }
 
   @override
   TypeRef get type => _type;
 
   /**
    * If [isFunctionTyped] is `true`, the declared return type.  If
    * [isFunctionTyped] is `false`, the declared type.  Absent if
    * [isFunctionTyped] is `true` and the declared return type is `void`.  Note
@@ skipping 260 matching lines @@
 
   @override
   int get uriOffset => _uriOffset ?? 0;
 
   /**
    * Offset of the URI string (including quotes) relative to the beginning of
    * the file.
    */
   void set uriOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _uriOffset = _value;
   }
 
   @override
   int get uriEnd => _uriEnd ?? 0;
 
   /**
    * End of the URI string (including quotes) relative to the beginning of the
    * file.
    */
   void set uriEnd(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _uriEnd = _value;
   }
 
   UnlinkedPartBuilder({int uriOffset, int uriEnd})
     : _uriOffset = uriOffset,
       _uriEnd = uriEnd;
 
   fb.Offset finish(fb.Builder fbBuilder) {
     assert(!_finished);
     _finished = true;
@@ skipping 93 matching lines @@
 
   @override
   int get numTypeParameters => _numTypeParameters ?? 0;
 
   /**
    * If the entity being referred to is generic, the number of type parameters
    * it accepts.  Otherwise zero.
    */
   void set numTypeParameters(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _numTypeParameters = _value;
   }
 
   UnlinkedPublicNameBuilder({String name, ReferenceKind kind, int numTypeParameters})
     : _name = name,
       _kind = kind,
       _numTypeParameters = numTypeParameters;
 
   fb.Offset finish(fb.Builder fbBuilder) {
     assert(!_finished);
@@ skipping 273 matching lines @@
   /**
    * Prefix used to refer to the entity, or zero if no prefix is used.  This is
    * an index into [UnlinkedUnit.references].
    *
    * Prefix references must always point backward; that is, for all i, if
    * UnlinkedUnit.references[i].prefixReference != 0, then
    * UnlinkedUnit.references[i].prefixReference < i.
    */
   void set prefixReference(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _prefixReference = _value;
   }
 
   UnlinkedReferenceBuilder({String name, int prefixReference})
     : _name = name,
       _prefixReference = prefixReference;
 
   fb.Offset finish(fb.Builder fbBuilder) {
     assert(!_finished);
     _finished = true;
@@ skipping 93 matching lines @@
   }
 
   @override
   int get nameOffset => _nameOffset ?? 0;
 
   /**
    * Offset of the typedef name relative to the beginning of the file.
    */
   void set nameOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _nameOffset = _value;
   }
 
   @override
   UnlinkedDocumentationComment get documentationComment => _documentationComment;
 
   /**
    * Documentation comment for the typedef, or `null` if there is no
    * documentation comment.
    */
@@ skipping 213 matching lines @@
   }
 
   @override
   int get nameOffset => _nameOffset ?? 0;
 
   /**
    * Offset of the type parameter name relative to the beginning of the file.
    */
   void set nameOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _nameOffset = _value;
   }
 
   @override
   TypeRef get bound => _bound;
 
   /**
    * Bound of the type parameter, if a bound is explicitly declared.  Otherwise
    * null.
    */
@@ skipping 129 matching lines @@
 
   @override
   int get libraryNameOffset => _libraryNameOffset ?? 0;
 
   /**
    * Offset of the library name relative to the beginning of the file (or 0 if
    * the library has no name).
    */
   void set libraryNameOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _libraryNameOffset = _value;
   }
 
   @override
   int get libraryNameLength => _libraryNameLength ?? 0;
 
   /**
    * Length of the library name as it appears in the source code (or 0 if the
    * library has no name).
    */
   void set libraryNameLength(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _libraryNameLength = _value;
   }
 
   @override
   UnlinkedDocumentationComment get libraryDocumentationComment => _libraryDocumentationComment;
 
   /**
    * Documentation comment for the library, or `null` if there is no
    * documentation comment.
    */
@@ skipping 478 matching lines @@
   }
 
   @override
   int get nameOffset => _nameOffset ?? 0;
 
   /**
    * Offset of the variable name relative to the beginning of the file.
    */
   void set nameOffset(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _nameOffset = _value;
   }
 
   @override
   UnlinkedDocumentationComment get documentationComment => _documentationComment;
 
   /**
    * Documentation comment for the variable, or `null` if there is no
    * documentation comment.
    */
@@ skipping 80 matching lines @@
   /**
    * If this variable is propagable, nonzero slot id identifying which entry in
    * [LinkedLibrary.types] contains the propagated type for this variable.  If
    * there is no matching entry in [LinkedLibrary.types], then this variable's
    * propagated type is the same as its declared type.
    *
    * Non-propagable variables have a [propagatedTypeSlot] of zero.
    */
   void set propagatedTypeSlot(int _value) {
     assert(!_finished);
+    assert(_value == null || _value >= 0);
     _propagatedTypeSlot = _value;
   }
 
   UnlinkedVariableBuilder({String name, int nameOffset, UnlinkedDocumentationCommentBuilder documentationComment, TypeRefBuilder type, UnlinkedConstBuilder constExpr, bool isStatic, bool isFinal, bool isConst, bool hasImplicitType, int propagatedTypeSlot})
     : _name = name,
       _nameOffset = nameOffset,
       _documentationComment = documentationComment,
       _type = type,
       _constExpr = constExpr,
       _isStatic = isStatic,
@@ skipping 218 matching lines @@
     "type": type,
     "constExpr": constExpr,
     "isStatic": isStatic,
     "isFinal": isFinal,
     "isConst": isConst,
     "hasImplicitType": hasImplicitType,
     "propagatedTypeSlot": propagatedTypeSlot,
   };
 }