dartfmt pkg/compiler

pkg/compiler/lib/src/types/abstract_value_domain.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library dart2js.abstract_value_domain;
 
 import '../constants/values.dart';
 import '../dart_types.dart';
 import '../elements/elements.dart';
 import '../universe/selector.dart' show Selector;
 
-enum AbstractBool {
-  True, False, Maybe, Nothing
-}
+enum AbstractBool { True, False, Maybe, Nothing }
 
 /// A value in an abstraction of runtime values.
 abstract class AbstractValue {}
 
 /// A system that implements an abstraction over runtime values and provides
 /// access to interprocedural analysis results.
 // TODO(johnniwinther): Consider extracting the inference result access from
 // this interface.
 abstract class AbstractValueDomain {
   AbstractValue get dynamicType;
@@ skipping 95 matching lines @@
 
   bool isDefinitelyFixedArray(AbstractValue t, {bool allowNull: false});
 
   bool isDefinitelyExtendableArray(AbstractValue t, {bool allowNull: false});
 
   bool isDefinitelyIndexable(AbstractValue t, {bool allowNull: false});
 
   bool isDefinitelyMutableIndexable(AbstractValue t, {bool allowNull: false});
 
   bool isDefinitelyFixedLengthIndexable(AbstractValue t,
-                                        {bool allowNull: false});
+      {bool allowNull: false});
 
   bool isDefinitelyIntercepted(AbstractValue t, {bool allowNull});
 
   bool isDefinitelySelfInterceptor(AbstractValue t, {bool allowNull: false});
 
   /// Given a class from the interceptor hierarchy, returns an [AbstractValue]
   /// matching all values with that interceptor (or a subtype thereof).
   AbstractValue getInterceptorSubtypes(ClassElement class_);
 
   bool areDisjoint(AbstractValue leftType, AbstractValue rightType);
 
   bool isMorePreciseOrEqual(AbstractValue t1, AbstractValue t2);
 
-  AbstractBool isSubtypeOf(AbstractValue value,
-                           DartType type,
-                           {bool allowNull});
+  AbstractBool isSubtypeOf(AbstractValue value, DartType type,
+      {bool allowNull});
 
   /// Returns whether [value] is one of the falsy values: false, 0, -0, NaN,
   /// the empty string, or null.
   AbstractBool boolify(AbstractValue value);
 
   AbstractBool strictBoolify(AbstractValue type);
 
   /// Create a type mask containing at least all subtypes of [type].
   AbstractValue subtypesOf(DartType type);
 
   /// Returns a subset of [receiver] containing at least the types
   /// that can respond to [selector] without throwing.
   AbstractValue receiverTypeFor(Selector selector, AbstractValue receiver);
 
   /// The result of an index operation on [value], or the dynamic type if
   /// unknown.
   AbstractValue elementTypeOfIndexable(AbstractValue value);
 
   /// The length property of [value], or `null` if unknown.
   int getContainerLength(AbstractValue value);
 
   /// Returns the type of the entry of [container] at a given index.
   /// Returns `null` if unknown.
-  AbstractValue indexWithConstant(AbstractValue container,
-                                  ConstantValue indexValue);
+  AbstractValue indexWithConstant(
+      AbstractValue container, ConstantValue indexValue);
 }