src/main/java/org/vaadin/console/ansi/ANSICodeConverter.java
author indvdum
Tue, 31 May 2011 15:52:03 +0400
branchconsoleWithANSI
changeset 15 ea825ba6336b
permissions -rw-r--r--
+ console 1.2.0-SNAPSHOT
     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 }