| 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 LICENSE file. | |
| 4 | |
| 5 library analyzer.test.enum_test; | |
| 6 | |
| 7 import 'dart:mirrors'; | |
| 8 | |
| 9 import 'package:analyzer/dart/element/element.dart'; | |
| 10 import 'package:analyzer/error/error.dart'; | |
| 11 import 'package:analyzer/src/dart/element/element.dart'; | |
| 12 import 'package:analyzer/src/generated/engine.dart'; | |
| 13 import 'package:analyzer/src/generated/java_core.dart'; | |
| 14 import 'package:analyzer/src/generated/resolver.dart'; | |
| 15 import 'package:analyzer/src/generated/source.dart'; | |
| 16 import 'package:analyzer/src/generated/utilities_dart.dart'; | |
| 17 import 'package:test_reflective_loader/test_reflective_loader.dart'; | |
| 18 import 'package:unittest/unittest.dart'; | |
| 19 | |
| 20 import 'utils.dart'; | |
| 21 | |
| 22 void main() { | |
| 23 initializeTestEnvironment(); | |
| 24 defineReflectiveTests(EnumTest); | |
| 25 } | |
| 26 | |
| 27 @reflectiveTest | |
| 28 class EnumTest { | |
| 29 void test_AnalysisLevel() { | |
| 30 new EnumTester<AnalysisLevel>() | |
| 31 ..check_getters() | |
| 32 ..check_explicit_values(); | |
| 33 } | |
| 34 | |
| 35 void test_CacheState() { | |
| 36 new EnumTester<CacheState>() | |
| 37 ..check_getters() | |
| 38 ..check_explicit_values(); | |
| 39 } | |
| 40 | |
| 41 void test_ElementKind() { | |
| 42 new EnumTester<ElementKind>() | |
| 43 ..check_getters() | |
| 44 ..check_explicit_values(); | |
| 45 } | |
| 46 | |
| 47 void test_ErrorProperty() { | |
| 48 new EnumTester<ErrorProperty>() | |
| 49 ..check_getters() | |
| 50 ..check_explicit_values(); | |
| 51 } | |
| 52 | |
| 53 void test_ErrorSeverity() { | |
| 54 new EnumTester<ErrorSeverity>() | |
| 55 ..check_getters() | |
| 56 ..check_explicit_values(); | |
| 57 } | |
| 58 | |
| 59 void test_ErrorType() { | |
| 60 new EnumTester<ErrorType>() | |
| 61 ..check_getters() | |
| 62 ..check_explicit_values(); | |
| 63 } | |
| 64 | |
| 65 void test_INIT_STATE() { | |
| 66 new EnumTester<INIT_STATE>() | |
| 67 ..check_getters() | |
| 68 ..check_explicit_values(); | |
| 69 } | |
| 70 | |
| 71 void test_Modifier() { | |
| 72 new EnumTester<Modifier>( | |
| 73 ignoreGetters: ["persistedValues", "transientValues"]) | |
| 74 ..check_getters() | |
| 75 ..check_explicit_values(); | |
| 76 } | |
| 77 | |
| 78 void test_ParameterKind() { | |
| 79 new EnumTester<ParameterKind>() | |
| 80 ..check_getters() | |
| 81 ..check_explicit_values(); | |
| 82 } | |
| 83 | |
| 84 void test_RedirectingConstructorKind() { | |
| 85 new EnumTester<RedirectingConstructorKind>() | |
| 86 ..check_getters() | |
| 87 ..check_explicit_values(); | |
| 88 } | |
| 89 | |
| 90 void test_SourceKind() { | |
| 91 new EnumTester<SourceKind>() | |
| 92 ..check_getters() | |
| 93 ..check_explicit_values(); | |
| 94 } | |
| 95 | |
| 96 void test_UriKind() { | |
| 97 new EnumTester<UriKind>() | |
| 98 ..check_getters() | |
| 99 ..check_explicit_values(); | |
| 100 } | |
| 101 } | |
| 102 | |
| 103 /** | |
| 104 * Helper class for testing invariants of enumerated types. | |
| 105 */ | |
| 106 class EnumTester<C extends Enum> { | |
| 107 /** | |
| 108 * Set of getter names which should be ignored when looking for getters | |
| 109 * representing enum values. | |
| 110 */ | |
| 111 Set<String> _ignoreGetters = new Set<String>(); | |
| 112 | |
| 113 EnumTester({List<String> ignoreGetters}) { | |
| 114 // Always ignore a getter called "values". | |
| 115 _ignoreGetters.add('values'); | |
| 116 | |
| 117 if (ignoreGetters != null) { | |
| 118 for (String getterName in ignoreGetters) { | |
| 119 _ignoreGetters.add(getterName); | |
| 120 } | |
| 121 } | |
| 122 } | |
| 123 | |
| 124 /** | |
| 125 * Get a map from getter name to the value returned by the getter, for all | |
| 126 * static getters in [C] whose name isn't in [_ignoreGetters]. | |
| 127 */ | |
| 128 Map<String, C> get _getters { | |
| 129 Map<String, C> result = <String, C>{}; | |
| 130 ClassMirror reflectedClass = reflectClass(C); | |
| 131 reflectedClass.staticMembers.forEach((Symbol symbol, MethodMirror method) { | |
| 132 if (!method.isGetter) { | |
| 133 return; | |
| 134 } | |
| 135 String name = MirrorSystem.getName(symbol); | |
| 136 if (_ignoreGetters.contains(name)) { | |
| 137 return; | |
| 138 } | |
| 139 C value = reflectedClass.getField(symbol).reflectee as C; | |
| 140 result[name] = value; | |
| 141 }); | |
| 142 return result; | |
| 143 } | |
| 144 | |
| 145 /** | |
| 146 * Check invariants on the list of enum values accessible via the static | |
| 147 * getter "values". | |
| 148 */ | |
| 149 void check_explicit_values() { | |
| 150 ClassMirror reflectedClass = reflectClass(C); | |
| 151 List<C> values = reflectedClass.getField(#values).reflectee as List<C>; | |
| 152 Map<C, int> reverseMap = <C, int>{}; | |
| 153 | |
| 154 // Check that "values" is a list of values of type C, with no duplicates. | |
| 155 expect(values, isList); | |
| 156 for (int i = 0; i < values.length; i++) { | |
| 157 C value = values[i]; | |
| 158 expect(value, new isInstanceOf<C>(), reason: 'values[$i]'); | |
| 159 if (reverseMap.containsKey(value)) { | |
| 160 fail('values[$i] and values[${reverseMap[value]}] both equal $value'); | |
| 161 } | |
| 162 reverseMap[value] = i; | |
| 163 } | |
| 164 | |
| 165 // Check that the set of values in the "values" list matches the set of | |
| 166 // values accessible via static fields. | |
| 167 expect(reverseMap.keys.toSet(), equals(_getters.values.toSet())); | |
| 168 | |
| 169 // Make sure the order of the list matches the ordinal numbers. | |
| 170 for (int i = 0; i < values.length; i++) { | |
| 171 expect(values[i].ordinal, equals(i), reason: 'values[$i].ordinal'); | |
| 172 } | |
| 173 } | |
| 174 | |
| 175 /** | |
| 176 * Check invariants on the set of enum values accessible via the static | |
| 177 * getters defined in the class [C] (with the exception of a getter called | |
| 178 * "values"). | |
| 179 */ | |
| 180 void check_getters() { | |
| 181 Map<int, String> ordinals = <int, String>{}; | |
| 182 int numValues = 0; | |
| 183 | |
| 184 _getters.forEach((String name, C value) { | |
| 185 String reason = 'getter: $name'; | |
| 186 ++numValues; | |
| 187 | |
| 188 // Check the type of the value | |
| 189 expect(value, new isInstanceOf<C>(), reason: reason); | |
| 190 | |
| 191 // Check that the name of the getter matches the name stored in the enum. | |
| 192 expect(value.name, equals(name), reason: reason); | |
| 193 | |
| 194 // Check that there are no duplicate ordinals. | |
| 195 if (ordinals.containsKey(value.ordinal)) { | |
| 196 fail( | |
| 197 'Getters $name and ${ordinals[value.ordinal]} have ordinal value ${v
alue.ordinal}'); | |
| 198 } | |
| 199 ordinals[value.ordinal] = name; | |
| 200 }); | |
| 201 | |
| 202 // Check that the set of ordinals runs from 0 to N-1, where N is the number | |
| 203 // of enumerated values. | |
| 204 Set<int> expectedOrdinals = new Set<int>(); | |
| 205 for (int i = 0; i < numValues; i++) { | |
| 206 expectedOrdinals.add(i); | |
| 207 } | |
| 208 expect(ordinals.keys.toSet(), equals(expectedOrdinals)); | |
| 209 } | |
| 210 } | |
| OLD | NEW |