Chromium Code Reviews| Index: dart/sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart |
| diff --git a/dart/sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart b/dart/sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart |
| index 5a2b13f09241141b64030a82b6a6d9e2a0d616be..d149a4af2f4b0db0d66a3f24d6d2331625ab4205 100644 |
| --- a/dart/sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart |
| +++ b/dart/sdk/lib/_internal/compiler/implementation/types/concrete_types_inferrer.dart |
| @@ -407,36 +407,6 @@ class ConcreteTypesEnvironment { |
| return result; |
| } |
| - /** |
|
Johnni Winther
2013/12/03 11:52:31
Run this and the rest the methods in this file by
ngeoffray
2013/12/04 09:59:01
Nicolas -> Paul.
polux
2013/12/04 10:12:44
LGTM
|
| - * Returns true if and only if the environment is compatible with [signature]. |
| - */ |
| - bool matches(FunctionSignature signature) { |
| - Types types = inferrer.compiler.types; |
| - bool paramMatches(ConcreteType concrete, VariableElement parameter) { |
| - DartType parameterType = parameter.variables.type; |
| - if (parameterType.treatAsDynamic || parameterType.treatAsRaw) { |
| - return true; |
| - } |
| - for (BaseType baseType in concrete.baseTypes) { |
| - if (baseType.isUnknown()) return false; |
| - if (baseType.isNull()) continue; |
| - ClassBaseType classType = baseType; |
| - if (!types.isSubtype(classType.element.rawType, |
| - parameterType)) return false; |
| - } |
| - return true; |
| - } |
| - for (VariableElement param in signature.requiredParameters) { |
| - ConcreteType concrete = environment[param]; |
| - if (concrete == null || !paramMatches(concrete, param)) return false; |
| - } |
| - for (VariableElement param in signature.optionalParameters) { |
| - ConcreteType concrete = environment[param]; |
| - if (concrete != null && !paramMatches(concrete, param)) return false; |
| - } |
| - return true; |
| - } |
| - |
| String toString() => "{ this: $typeOfThis, env: $environment }"; |
| } |
| @@ -513,10 +483,6 @@ class DynamicTypeMask implements TypeMask { |
| throw new UnsupportedError(""); |
| } |
| - bool containsOnlyNull(Compiler compiler) { |
| - throw new UnsupportedError(""); |
| - } |
| - |
| bool containsOnlyBool(Compiler compiler) { |
| throw new UnsupportedError(""); |
| } |
| @@ -545,10 +511,6 @@ class DynamicTypeMask implements TypeMask { |
| throw new UnsupportedError(""); |
| } |
| - Iterable<ClassElement> containedClasses(Compiler compiler) { |
| - throw new UnsupportedError(""); |
| - } |
| - |
| TypeMask union(TypeMask other, Compiler compiler) { |
| throw new UnsupportedError(""); |
| } |
| @@ -557,10 +519,6 @@ class DynamicTypeMask implements TypeMask { |
| throw new UnsupportedError(""); |
| } |
| - bool understands(Selector selector, Compiler compiler) { |
| - throw new UnsupportedError(""); |
| - } |
| - |
| bool canHit(Element element, Selector selector, Compiler compiler) { |
| throw new UnsupportedError(""); |
| } |
| @@ -1075,10 +1033,6 @@ class ConcreteTypesInferrer extends TypesInferrer { |
| void clear() {} |
| - Iterable<Element> getCallersOf(Element element) { |
| - throw new UnsupportedError(""); |
| - } |
| - |
| bool isCalledOnce(Element element) { |
| throw new UnsupportedError(""); |
| } |