1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/main/java/org/vaadin/console/ansi/ANSICodeConverter.java Tue May 31 15:52:03 2011 +0400
1.3 @@ -0,0 +1,23 @@
1.4 +package org.vaadin.console.ansi;
1.5 +
1.6 +/**
1.7 + * Interface for ANSI-code-TO-CSS converter.
1.8 + *
1.9 + * @author indvdum
1.10 + * 31.05.2011 13:45:28
1.11 + *
1.12 + */
1.13 +public interface ANSICodeConverter {
1.14 + /**
1.15 + * Pattern for one ANSI escape sequence.
1.16 + */
1.17 + public String ANSI_PATTERN = "(\033\\[)([0-9a-zA-Z;]+)(m)";
1.18 +
1.19 + /**
1.20 + * Converting ANSI escape sequence to space-separated CSS classes.
1.21 + *
1.22 + * @param ansiEscapeSequence ANSI escape sequence
1.23 + * @return CSS classes separated by spaces for this ANSI escape sequence
1.24 + */
1.25 + public String convertANSIToCSS(String ansiEscapeSequence);
1.26 +}