src/main/java/org/vaadin/console/ansi/ANSICodeConverter.java
branchconsoleWithANSI
changeset 15 ea825ba6336b
     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 +}