Chromium Code Reviews| OLD | NEW |
|---|---|
| (Empty) | |
| 1 // Copyright (c) 2014, 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 LICESNE file. | |
| 4 | |
| 5 library mirrors.reader; | |
| 6 | |
| 7 import 'dart:mirrors'; | |
| 8 import 'mirrors_visitor.dart'; | |
| 9 | |
| 10 class ReadError { | |
| 11 final String tag; | |
| 12 final exception; | |
| 13 final StackTrace stackTrace; | |
| 14 | |
| 15 ReadError(this.tag, this.exception, this.stackTrace); | |
| 16 } | |
| 17 | |
| 18 class MirrorsReader extends MirrorsVisitor { | |
| 19 /// Produce verbose output. | |
| 20 final bool verbose; | |
| 21 /// Include stack trace in the error report. | |
| 22 final bool includeStackTrace; | |
| 23 | |
| 24 bool fatalError = false; | |
| 25 Set<Mirror> visited = new Set<Mirror>(); | |
| 26 Set<TypeMirror> declarations = new Set<TypeMirror>(); | |
| 27 Set<TypeMirror> instantiations = new Set<TypeMirror>(); | |
| 28 List<ReadError> errors = <ReadError>[]; | |
| 29 List<Mirror> queue = <Mirror>[]; | |
| 30 | |
| 31 MirrorsReader({this.verbose: false, this.includeStackTrace: false}); | |
| 32 | |
| 33 void checkMirrorSystem(MirrorSystem mirrorSystem) { | |
| 34 visitMirrorSystem(mirrorSystem); | |
| 35 if (!errors.isEmpty) { | |
| 36 Set<String> errorMessages = new Set<String>(); | |
| 37 for (ReadError error in errors) { | |
| 38 String text = 'Mirrors read error: ${error.tag}=${error.exception}'; | |
| 39 if (includeStackTrace) { | |
| 40 text = '$text\n${error.stackTrace}'; | |
| 41 } | |
| 42 if (errorMessages.add(text)) { | |
| 43 print(text); | |
| 44 } | |
| 45 } | |
| 46 throw 'Unexpected errors occurred reading mirrors.'; | |
| 47 } | |
| 48 } | |
| 49 | |
| 50 // Skip mirrors so that each mirror is only visited once. | |
| 51 bool skipMirror(Mirror mirror) { | |
| 52 if (fatalError) return true; | |
| 53 if (mirror is TypeMirror) { | |
| 54 if (mirror.isOriginalDeclaration) { | |
| 55 // Visit the declation once. | |
| 56 return !declarations.add(mirror); | |
| 57 } else { | |
| 58 // Visit only one instantiation. | |
| 59 return !instantiations.add(mirror.originalDeclaration); | |
| 60 } | |
| 61 } | |
| 62 return !visited.add(mirror); | |
| 63 } | |
| 64 | |
| 65 reportError(var receiver, String tag, var exception, StackTrace stackTrace) { | |
| 66 String errorTag = '${receiver.runtimeType}.$tag'; | |
| 67 errors.add(new ReadError(errorTag, exception, stackTrace)); | |
| 68 } | |
| 69 | |
| 70 visitUnsupported(var receiver, String tag, | |
| 71 UnsupportedError exception, | |
| 72 StackTrace stackTrace) { | |
| 73 if (verbose) print('visitUnsupported:$receiver.$tag:$exception'); | |
| 74 if (!expectUnsupported(receiver, tag, exception) && | |
| 75 !allowUnsupported(receiver, tag, exception)) { | |
| 76 reportError(receiver, tag, exception, stackTrace); | |
| 77 } | |
| 78 } | |
| 79 | |
| 80 /// Override to specify that access is expected to be unsupported. | |
| 81 bool expectUnsupported(var receiver, String tag, | |
| 82 UnsupportedError exception) => false; | |
| 83 | |
| 84 /// Override to allow unsupported access. | |
| 85 bool allowUnsupported(var receiver, String tag, | |
| 86 UnsupportedError exception) => false; | |
| 87 | |
| 88 /// Evaluates the function [f]. Subclasses can override this to handle | |
| 89 /// specific exceptions. | |
| 90 evaluate(f()) => f(); | |
| 91 | |
| 92 visit(var receiver, String tag, var value) { | |
| 93 if (value is Function) { | |
| 94 try { | |
| 95 var result = evaluate(value); | |
| 96 if (expectUnsupported(receiver, tag, null)) { | |
| 97 reportError(receiver, tag, 'Expected UnsupportedError.', null); | |
| 98 } | |
| 99 return visit(receiver, tag, result); | |
| 100 } on UnsupportedError catch (e, s) { | |
| 101 visitUnsupported(receiver, tag, e, s); | |
| 102 } on OutOfMemoryError catch (e, s) { | |
| 103 reportError(receiver, tag, e, s); | |
| 104 fatalError = true; | |
| 105 } on StackOverflowError catch (e, s) { | |
| 106 reportError(receiver, tag, e, s); | |
| 107 fatalError = true; | |
| 108 } catch (e, s) { | |
| 109 reportError(receiver, tag, e, s); | |
| 110 } | |
| 111 } else { | |
| 112 if (value is Mirror) { | |
| 113 if (!skipMirror(value)) { | |
| 114 if (verbose) print('visit:$receiver.$tag=$value'); | |
| 115 bool drain = queue.isEmpty; | |
| 116 queue.add(value); | |
| 117 if (drain) { | |
| 118 while (!queue.isEmpty) { | |
| 119 visitMirror(queue.removeLast()); | |
| 120 } | |
| 121 } | |
| 122 } | |
| 123 } else if (value is MirrorSystem) { | |
| 124 visitMirrorSystem(value); | |
| 125 } else if (value is SourceLocation) { | |
| 126 visitSourceLocation(value); | |
| 127 } else if (value is Iterable) { | |
|
rmacnak
2014/02/06 18:19:21
I think we should merge in the immutable_collectio
Johnni Winther
2014/02/07 10:00:57
Added a TODO.
| |
| 128 value.forEach((e) { | |
| 129 visit(receiver, tag, e); | |
| 130 }); | |
| 131 } else if (value is Map) { | |
| 132 value.forEach((k, v) { | |
| 133 visit(receiver, tag, k); | |
| 134 visit(receiver, tag, v); | |
| 135 }); | |
| 136 } | |
| 137 } | |
| 138 return value; | |
| 139 } | |
| 140 | |
| 141 visitMirrorSystem(MirrorSystem mirrorSystem) { | |
| 142 visit(mirrorSystem, 'dynamicType', () => mirrorSystem.dynamicType); | |
| 143 visit(mirrorSystem, 'voidType', () => mirrorSystem.voidType); | |
| 144 visit(mirrorSystem, 'libraries', () => mirrorSystem.libraries); | |
| 145 } | |
| 146 | |
| 147 visitClassMirror(ClassMirror mirror) { | |
| 148 super.visitClassMirror(mirror); | |
| 149 visit(mirror, 'declarations', () => mirror.declarations); | |
| 150 bool hasReflectedType = | |
| 151 visit(mirror, 'hasReflectedType', () => mirror.hasReflectedType); | |
| 152 visit(mirror, 'instanceMembers', () => mirror.instanceMembers); | |
| 153 visit(mirror, 'mixin', () => mirror.mixin); | |
| 154 if (hasReflectedType) { | |
| 155 visit(mirror, 'reflectedType', () => mirror.reflectedType); | |
| 156 } | |
| 157 visit(mirror, 'staticMembers', () => mirror.staticMembers); | |
| 158 visit(mirror, 'superclass', () => mirror.superclass); | |
| 159 visit(mirror, 'superinterfaces', () => mirror.superinterfaces); | |
| 160 } | |
| 161 | |
| 162 visitDeclarationMirror(DeclarationMirror mirror) { | |
| 163 super.visitDeclarationMirror(mirror); | |
| 164 visit(mirror, 'isPrivate', () => mirror.isPrivate); | |
| 165 visit(mirror, 'isTopLevel', () => mirror.isTopLevel); | |
| 166 visit(mirror, 'location', () => mirror.location); | |
| 167 visit(mirror, 'metadata', () => mirror.metadata); | |
| 168 visit(mirror, 'owner', () => mirror.owner); | |
| 169 visit(mirror, 'qualifiedName', () => mirror.qualifiedName); | |
| 170 visit(mirror, 'simpleName', () => mirror.simpleName); | |
| 171 } | |
| 172 | |
| 173 visitFunctionTypeMirror(FunctionTypeMirror mirror) { | |
| 174 super.visitFunctionTypeMirror(mirror); | |
| 175 visit(mirror, 'callMethod', () => mirror.callMethod); | |
| 176 visit(mirror, 'parameters', () => mirror.parameters); | |
| 177 visit(mirror, 'returnType', () => mirror.returnType); | |
| 178 } | |
| 179 | |
| 180 visitInstanceMirror(InstanceMirror mirror) { | |
| 181 super.visitInstanceMirror(mirror); | |
| 182 bool hasReflectee = | |
| 183 visit(mirror, 'hasReflectee', () => mirror.hasReflectee); | |
| 184 if (hasReflectee) { | |
| 185 visit(mirror, 'reflectee', () => mirror.reflectee); | |
| 186 } | |
| 187 visit(mirror, 'type', () => mirror.type); | |
| 188 } | |
| 189 | |
| 190 visitLibraryMirror(LibraryMirror mirror) { | |
| 191 super.visitLibraryMirror(mirror); | |
| 192 visit(mirror, 'declarations', () => mirror.declarations); | |
| 193 visit(mirror, 'topLevelMembers', () => mirror.topLevelMembers); | |
| 194 visit(mirror, 'uri', () => mirror.uri); | |
| 195 } | |
| 196 | |
| 197 visitMethodMirror(MethodMirror mirror) { | |
| 198 super.visitMethodMirror(mirror); | |
| 199 visit(mirror, 'constructorName', () => mirror.constructorName); | |
| 200 visit(mirror, 'isAbstract', () => mirror.isAbstract); | |
| 201 visit(mirror, 'isConstConstructor', () => mirror.isConstConstructor); | |
| 202 visit(mirror, 'isConstructor', () => mirror.isConstructor); | |
| 203 visit(mirror, 'isFactoryConstructor', | |
| 204 () => mirror.isFactoryConstructor); | |
| 205 visit(mirror, 'isGenerativeConstructor', | |
| 206 () => mirror.isGenerativeConstructor); | |
| 207 visit(mirror, 'isGetter', () => mirror.isGetter); | |
| 208 visit(mirror, 'isOperator', () => mirror.isOperator); | |
| 209 visit(mirror, 'isRedirectingConstructor', | |
| 210 () => mirror.isRedirectingConstructor); | |
| 211 visit(mirror, 'isRegularMethod', () => mirror.isRegularMethod); | |
| 212 visit(mirror, 'isSetter', () => mirror.isSetter); | |
| 213 visit(mirror, 'isStatic', () => mirror.isStatic); | |
| 214 visit(mirror, 'isSynthetic', () => mirror.isSynthetic); | |
| 215 visit(mirror, 'parameters', () => mirror.parameters); | |
| 216 visit(mirror, 'returnType', () => mirror.returnType); | |
| 217 visit(mirror, 'source', () => mirror.source); | |
| 218 } | |
| 219 | |
| 220 visitParameterMirror(ParameterMirror mirror) { | |
| 221 super.visitParameterMirror(mirror); | |
| 222 bool hasDefaultValue = | |
| 223 visit(mirror, 'hasDefaultValue', () => mirror.hasDefaultValue); | |
| 224 if (hasDefaultValue) { | |
| 225 visit(mirror, 'defaultValue', () => mirror.defaultValue); | |
| 226 } | |
| 227 visit(mirror, 'isNamed', () => mirror.isNamed); | |
| 228 visit(mirror, 'isOptional', () => mirror.isOptional); | |
| 229 visit(mirror, 'type', () => mirror.type); | |
| 230 } | |
| 231 | |
| 232 visitSourceLocation(SourceLocation location) { | |
| 233 | |
| 234 } | |
| 235 | |
| 236 visitTypedefMirror(TypedefMirror mirror) { | |
| 237 super.visitTypedefMirror(mirror); | |
| 238 visit(mirror, 'referent', () => mirror.referent); | |
| 239 } | |
| 240 | |
| 241 visitTypeMirror(TypeMirror mirror) { | |
| 242 super.visitTypeMirror(mirror); | |
| 243 visit(mirror, 'isOriginalDeclaration', | |
| 244 () => mirror.isOriginalDeclaration); | |
| 245 visit(mirror, 'originalDeclaration', () => mirror.originalDeclaration); | |
| 246 visit(mirror, 'typeArguments', () => mirror.typeArguments); | |
| 247 visit(mirror, 'typeVariables', () => mirror.typeVariables); | |
| 248 } | |
| 249 | |
| 250 visitTypeVariableMirror(TypeVariableMirror mirror) { | |
| 251 super.visitTypeVariableMirror(mirror); | |
| 252 visit(mirror, 'upperBound', () => mirror.upperBound); | |
| 253 } | |
| 254 | |
| 255 visitVariableMirror(VariableMirror mirror) { | |
| 256 super.visitVariableMirror(mirror); | |
| 257 visit(mirror, 'isConst', () => mirror.isConst); | |
| 258 visit(mirror, 'isFinal', () => mirror.isFinal); | |
| 259 visit(mirror, 'isStatic', () => mirror.isStatic); | |
| 260 visit(mirror, 'type', () => mirror.type); | |
| 261 } | |
| 262 } | |
| OLD | NEW |