| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | |
| 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. | |
| 4 | |
| 5 library dev_compiler.runtime.dart_logging_runtime; | |
| 6 | |
| 7 import 'dart:mirrors' as mirrors; | |
| 8 | |
| 9 import 'dart_runtime.dart' as rt; | |
| 10 export 'dart_runtime.dart' show Arity, getArity, type; | |
| 11 | |
| 12 import 'package:stack_trace/stack_trace.dart'; | |
| 13 | |
| 14 // Logging / updating CastRecords for cases that alway pass in Dart and DDC | |
| 15 // is expensive. They are also less interesting, so filter out by default. | |
| 16 const bool _skipSuccess = true; | |
| 17 | |
| 18 class CastRecord { | |
| 19 final Type runtimeType; | |
| 20 final Type staticType; | |
| 21 | |
| 22 /// True if the dev_compiler would allow this cast. Otherwise false. | |
| 23 final bool soundCast; | |
| 24 | |
| 25 /// True if Dart checked mode would allow this cast. Otherwise false. | |
| 26 final bool dartCast; | |
| 27 | |
| 28 CastRecord(this.runtimeType, this.staticType, this.soundCast, this.dartCast); | |
| 29 } | |
| 30 | |
| 31 // Register a handler to process CastRecords. The default (see below) just | |
| 32 // prints a summary at the end. | |
| 33 typedef void CastRecordHandler(String key, CastRecord record); | |
| 34 CastRecordHandler castRecordHandler = _record; | |
| 35 | |
| 36 var _cache = <Type, Map<Type, CastRecord>>{}; | |
| 37 | |
| 38 Map<Type, CastRecord> _cacheGen() => <Type, CastRecord>{}; | |
| 39 | |
| 40 void _addToCache(Type runtimeType, Type staticType, CastRecord record) { | |
| 41 _cache.putIfAbsent(runtimeType, _cacheGen)[staticType] = record; | |
| 42 } | |
| 43 | |
| 44 CastRecord _lookupInCache(Type runtimeType, Type staticType) { | |
| 45 var subcache = _cache[runtimeType]; | |
| 46 if (subcache == null) return null; | |
| 47 return subcache[staticType]; | |
| 48 } | |
| 49 | |
| 50 var _successCache = <Type, Set<Type>>{}; | |
| 51 | |
| 52 dynamic cast(dynamic obj, Type fromType, Type staticType, | |
| 53 [String kind, String key, bool dartIs, bool isGround]) { | |
| 54 var runtimeType = obj.runtimeType; | |
| 55 // Short-circuit uninteresting cases. | |
| 56 if (_skipSuccess && _successCache.containsKey(staticType)) { | |
| 57 if (_successCache[staticType].contains(runtimeType)) { | |
| 58 return obj; | |
| 59 } | |
| 60 } | |
| 61 | |
| 62 if (key == null) { | |
| 63 // If no key is past in, use the caller's frame as a key. | |
| 64 final trace = new Trace.current(1); | |
| 65 final frame = trace.frames.first; | |
| 66 key = frame.toString(); | |
| 67 } | |
| 68 | |
| 69 CastRecord record = _lookupInCache(runtimeType, staticType); | |
| 70 if (record == null) { | |
| 71 bool soundCast = true; | |
| 72 bool dartCast = true; | |
| 73 // TODO(vsm): Use instanceOf once we settle on nullability. | |
| 74 try { | |
| 75 rt.cast(obj, staticType); | |
| 76 } catch (e) { | |
| 77 soundCast = false; | |
| 78 } | |
| 79 if (obj == null) { | |
| 80 dartCast = true; | |
| 81 } else { | |
| 82 // TODO(vsm): We could avoid mirror code by requiring the caller to pass | |
| 83 // in obj is TypeLiteral as a parameter. We can't do that once we have a | |
| 84 // Type object instead. | |
| 85 final staticMirror = mirrors.reflectType(staticType); | |
| 86 final instanceMirror = mirrors.reflect(obj); | |
| 87 final classMirror = instanceMirror.type; | |
| 88 dartCast = classMirror.isSubtypeOf(staticMirror); | |
| 89 } | |
| 90 if (_skipSuccess && dartCast && soundCast) { | |
| 91 _successCache | |
| 92 .putIfAbsent(staticType, () => new Set<Type>()) | |
| 93 .add(runtimeType); | |
| 94 return obj; | |
| 95 } | |
| 96 record = new CastRecord(runtimeType, staticType, soundCast, dartCast); | |
| 97 _addToCache(runtimeType, staticType, record); | |
| 98 } | |
| 99 castRecordHandler(key, record); | |
| 100 return obj; | |
| 101 } | |
| 102 | |
| 103 dynamic wrap(Function build(Function _), Function f, Type fromType, Type toType, | |
| 104 String kind, String key, bool dartIs) { | |
| 105 if (f == null) return null; | |
| 106 return build(f); | |
| 107 } | |
| 108 | |
| 109 // The default handler simply records all CastRecords and prints a summary | |
| 110 // at the end. | |
| 111 final _recordMap = new Map<String, List<CastRecord>>(); | |
| 112 void _record(String key, CastRecord record) { | |
| 113 _recordMap.putIfAbsent(key, () => <CastRecord>[]).add(record); | |
| 114 } | |
| 115 | |
| 116 String summary({bool clear: true}) { | |
| 117 final buffer = new StringBuffer(); | |
| 118 _recordMap.forEach((String key, List<CastRecord> records) { | |
| 119 int success = 0; | |
| 120 int mismatch = 0; | |
| 121 int error = 0; | |
| 122 int failure = 0; | |
| 123 Type staticType = null; | |
| 124 var runtimeTypes = new Set<Type>(); | |
| 125 for (var record in records) { | |
| 126 if (staticType == null) { | |
| 127 staticType = record.staticType; | |
| 128 } else { | |
| 129 // Are these canonicalized? | |
| 130 // assert(staticType == record.staticType); | |
| 131 } | |
| 132 runtimeTypes.add(record.runtimeType); | |
| 133 if (record.soundCast) { | |
| 134 if (record.dartCast) { | |
| 135 success++; | |
| 136 } else { | |
| 137 error++; | |
| 138 } | |
| 139 } else { | |
| 140 if (record.dartCast) { | |
| 141 mismatch++; | |
| 142 } else { | |
| 143 failure++; | |
| 144 } | |
| 145 } | |
| 146 } | |
| 147 final total = success + mismatch + error + failure; | |
| 148 assert(total != 0); | |
| 149 if (success < total) { | |
| 150 buffer.writeln('Key $key:'); | |
| 151 buffer.writeln(' - static type: $staticType'); | |
| 152 buffer.writeln(' - runtime types: $runtimeTypes'); | |
| 153 final category = (String cat, int val) => | |
| 154 buffer.writeln(' - $cat: $val (${val / total})'); | |
| 155 category('success', success); | |
| 156 category('failure', failure); | |
| 157 category('mismatch', mismatch); | |
| 158 category('error', error); | |
| 159 } | |
| 160 }); | |
| 161 if (clear) { | |
| 162 _recordMap.clear(); | |
| 163 } | |
| 164 return buffer.toString(); | |
| 165 } | |
| OLD | NEW |