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

Side by Side Diff: sdk/lib/_internal/compiler/implementation/compiler.dart

Issue 48383003: Support checking of malbounded types. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Updated cf. comments Created 7 years, 1 month 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 | Annotate | Revision Log
« no previous file with comments | « no previous file | sdk/lib/_internal/compiler/implementation/dart_types.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) 2012, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2012, 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 part of dart2js; 5 part of dart2js;
6 6
7 /** 7 /**
8 * If true, print a warning for each method that was resolved, but not 8 * If true, print a warning for each method that was resolved, but not
9 * compiled. 9 * compiled.
10 */ 10 */
(...skipping 156 matching lines...) Expand 10 before | Expand all | Expand 10 after
167 /// Register an is check to the backend. 167 /// Register an is check to the backend.
168 void registerIsCheck(DartType type, 168 void registerIsCheck(DartType type,
169 Enqueuer enqueuer, 169 Enqueuer enqueuer,
170 TreeElements elements) {} 170 TreeElements elements) {}
171 171
172 /// Register an as check to the backend. 172 /// Register an as check to the backend.
173 void registerAsCheck(DartType type, 173 void registerAsCheck(DartType type,
174 Enqueuer enqueuer, 174 Enqueuer enqueuer,
175 TreeElements elements) {} 175 TreeElements elements) {}
176 176
177 /// Register a runtime type variable bound tests between [typeArgument] and
178 /// [bound].
179 void registerTypeVariableBoundsSubtypeCheck(DartType typeArgument,
180 DartType bound) {}
181
182 /// Registers that a type variable bounds check might occur at runtime.
183 void registerTypeVariableBoundCheck(TreeElements elements) {}
184
177 /// Register that the application may throw a [NoSuchMethodError]. 185 /// Register that the application may throw a [NoSuchMethodError].
178 void registerThrowNoSuchMethod(TreeElements elements) {} 186 void registerThrowNoSuchMethod(TreeElements elements) {}
179 187
180 /// Register that the application may throw a [RuntimeError]. 188 /// Register that the application may throw a [RuntimeError].
181 void registerThrowRuntimeError(TreeElements elements) {} 189 void registerThrowRuntimeError(TreeElements elements) {}
182 190
183 /// Register that the application may throw an 191 /// Register that the application may throw an
184 /// [AbstractClassInstantiationError]. 192 /// [AbstractClassInstantiationError].
185 void registerAbstractClassInstantiation(TreeElements elements) {} 193 void registerAbstractClassInstantiation(TreeElements elements) {}
186 194
(...skipping 1436 matching lines...) Expand 10 before | Expand all | Expand 10 after
1623 1631
1624 void close() {} 1632 void close() {}
1625 1633
1626 toString() => name; 1634 toString() => name;
1627 1635
1628 /// Convenience method for getting an [api.CompilerOutputProvider]. 1636 /// Convenience method for getting an [api.CompilerOutputProvider].
1629 static NullSink outputProvider(String name, String extension) { 1637 static NullSink outputProvider(String name, String extension) {
1630 return new NullSink('$name.$extension'); 1638 return new NullSink('$name.$extension');
1631 } 1639 }
1632 } 1640 }
OLDNEW
« no previous file with comments | « no previous file | sdk/lib/_internal/compiler/implementation/dart_types.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698