Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(113)

Side by Side Diff: pkg/kernel/runtime/reify/types.dart

Issue 2830353002: Replace 'the the' with 'the' (Closed)
Patch Set: Created 3 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « pkg/kernel/lib/transformations/async.dart ('k') | pkg/testing/lib/src/chain.dart » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file
2 // for details. All rights reserved. Use of this source code is governed by a 2 // for details. All rights reserved. Use of this source code is governed by a
3 // BSD-style license that can be found in the LICENSE file. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 /// Notation: 5 /// Notation:
6 /// 6 ///
7 /// * `[[T]]` is the runtime representation of type `T` (that is, `T` reified). 7 /// * `[[T]]` is the runtime representation of type `T` (that is, `T` reified).
8 library kernel.transformations.reify.runtime.types; 8 library kernel.transformations.reify.runtime.types;
9 9
10 import 'declarations.dart' show Class; 10 import 'declarations.dart' show Class;
(...skipping 411 matching lines...) Expand 10 before | Expand all | Expand 10 after
422 String toString() => "{ $typeA, $typeB }"; 422 String toString() => "{ $typeA, $typeB }";
423 } 423 }
424 424
425 /// Represents a type variable aka type parameter. 425 /// Represents a type variable aka type parameter.
426 /// 426 ///
427 /// For example, this class: 427 /// For example, this class:
428 /// 428 ///
429 /// class Box<T> {} 429 /// class Box<T> {}
430 /// 430 ///
431 /// Defines one type variable. In the type `Box<int>`, there are no type 431 /// Defines one type variable. In the type `Box<int>`, there are no type
432 /// variables. However, `int` is a type argument to the the type 432 /// variables. However, `int` is a type argument to the type
433 /// parameter/variable `T`. 433 /// parameter/variable `T`.
434 class TypeVariable extends ReifiedType { 434 class TypeVariable extends ReifiedType {
435 final int _id; 435 final int _id;
436 436
437 // TODO(ahe): Do we need to reify bounds? 437 // TODO(ahe): Do we need to reify bounds?
438 ReifiedType bound; 438 ReifiedType bound;
439 439
440 TypeVariable(this._id) : super(Kind.Variable); 440 TypeVariable(this._id) : super(Kind.Variable);
441 441
442 bool _isMoreSpecificThan(ReifiedType type) { 442 bool _isMoreSpecificThan(ReifiedType type) {
(...skipping 226 matching lines...) Expand 10 before | Expand all | Expand 10 after
669 a._isMoreSpecificThan(b); 669 a._isMoreSpecificThan(b);
670 } 670 }
671 671
672 /// If [type] is a type variable, return its bound. Otherwise `null`. 672 /// If [type] is a type variable, return its bound. Otherwise `null`.
673 ReifiedType getBoundOrNull(ReifiedType type) { 673 ReifiedType getBoundOrNull(ReifiedType type) {
674 if (type == null) return null; 674 if (type == null) return null;
675 if (!type._isVariable) return null; 675 if (!type._isVariable) return null;
676 TypeVariable tv = type; 676 TypeVariable tv = type;
677 return tv.bound; 677 return tv.bound;
678 } 678 }
OLDNEW
« no previous file with comments | « pkg/kernel/lib/transformations/async.dart ('k') | pkg/testing/lib/src/chain.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698