| author | indvdum |
| Tue, 31 May 2011 15:52:03 +0400 | |
| branch | consoleWithANSI |
| changeset 15 | ea825ba6336b |
| permissions | -rw-r--r-- |
| indvdum@15 | 1 |
package org.vaadin.console.ansi; |
| indvdum@15 | 2 |
|
| indvdum@15 | 3 |
/** |
| indvdum@15 | 4 |
* Interface for ANSI-code-TO-CSS converter. |
| indvdum@15 | 5 |
* |
| indvdum@15 | 6 |
* @author indvdum |
| indvdum@15 | 7 |
* 31.05.2011 13:45:28 |
| indvdum@15 | 8 |
* |
| indvdum@15 | 9 |
*/ |
| indvdum@15 | 10 |
public interface ANSICodeConverter {
|
| indvdum@15 | 11 |
/** |
| indvdum@15 | 12 |
* Pattern for one ANSI escape sequence. |
| indvdum@15 | 13 |
*/ |
| indvdum@15 | 14 |
public String ANSI_PATTERN = "(\033\\[)([0-9a-zA-Z;]+)(m)"; |
| indvdum@15 | 15 |
|
| indvdum@15 | 16 |
/** |
| indvdum@15 | 17 |
* Converting ANSI escape sequence to space-separated CSS classes. |
| indvdum@15 | 18 |
* |
| indvdum@15 | 19 |
* @param ansiEscapeSequence ANSI escape sequence |
| indvdum@15 | 20 |
* @return CSS classes separated by spaces for this ANSI escape sequence |
| indvdum@15 | 21 |
*/ |
| indvdum@15 | 22 |
public String convertANSIToCSS(String ansiEscapeSequence); |
| indvdum@15 | 23 |
} |