Index: pkg/compiler/lib/src/util/indentation.dart |
diff --git a/pkg/compiler/lib/src/util/indentation.dart b/pkg/compiler/lib/src/util/indentation.dart |
deleted file mode 100644 |
index 6206bd6793926b5d07f71b7973ec6d0fe4f056dc..0000000000000000000000000000000000000000 |
--- a/pkg/compiler/lib/src/util/indentation.dart |
+++ /dev/null |
@@ -1,53 +0,0 @@ |
-// Copyright (c) 2014, 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. |
- |
-part of dart2js.util; |
- |
-/// Indentation utility class. Should be used as a mixin in most cases. |
-class Indentation { |
- /// The current indentation string. |
- String get indentation { |
- // Lazily add new indentation strings as required. |
- for (int i = _indentList.length; i <= _indentLevel; i++) { |
- _indentList.add(_indentList[i - 1] + indentationUnit); |
- } |
- return _indentList[_indentLevel]; |
- } |
- |
- /// The current indentation level. |
- int _indentLevel = 0; |
- |
- /// A cache of all indentation strings used so far. |
- /// Always at least of length 1. |
- List<String> _indentList = <String>[""]; |
- |
- /// The indentation unit, defaulting to two spaces. May be overwritten. |
- String _indentationUnit = " "; |
- String get indentationUnit => _indentationUnit; |
- set indentationUnit(String value) { |
- if (value != _indentationUnit) { |
- _indentationUnit = value; |
- _indentList = <String>[""]; |
- } |
- } |
- |
- /// Increases the current level of indentation. |
- void indentMore() { |
- _indentLevel++; |
- } |
- |
- /// Decreases the current level of indentation. |
- void indentLess() { |
- _indentLevel--; |
- } |
- |
- /// Calls [f] with one more indentation level, restoring indentation context |
- /// upon return of [f] and returning its result. |
- indentBlock(Function f) { |
- indentMore(); |
- var result = f(); |
- indentLess(); |
- return result; |
- } |
-} |