| // Copyright (c) 2011, 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. |
| |
| package com.google.dart.compiler.util; |
| |
| /** |
| * Interface used for printing text output. |
| */ |
| public interface TextOutput { |
| |
| int getPosition(); |
| |
| int getLine(); |
| |
| int getColumn(); |
| |
| void indentIn(); |
| |
| void indentOut(); |
| |
| void newline(); |
| |
| void newlineOpt(); |
| |
| void print(char c); |
| |
| void print(char[] s); |
| |
| void print(String s); |
| |
| void printOpt(char c); |
| |
| void printOpt(char[] s); |
| |
| void printOpt(String s); |
| } |