src/main/java/org/vaadin/console/ansi/ANSICodeConverter.java
branchconsoleWithANSI
changeset 15 ea825ba6336b
equal deleted inserted replaced
14:f6b22b2ab1b9 15:ea825ba6336b
       
     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 }