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