java/sql-dk/src/info/globalcode/sql/dk/formatting/TabularFormatter.java
branchv_0
changeset 76 fe23cea7542f
parent 43 2813d3409afd
child 79 e19a13ed19a9
equal deleted inserted replaced
75:43aa4625ab7e 76:fe23cea7542f
    33 	private static final String HEADER_TYPE_PREFIX = " (";
    33 	private static final String HEADER_TYPE_PREFIX = " (";
    34 	private static final String HEADER_TYPE_SUFFIX = ")";
    34 	private static final String HEADER_TYPE_SUFFIX = ")";
    35 	private ColorfulPrintWriter out;
    35 	private ColorfulPrintWriter out;
    36 	private boolean firstResult = true;
    36 	private boolean firstResult = true;
    37 	private int[] columnWidth;
    37 	private int[] columnWidth;
       
    38 	private final boolean asciiNostalgia = false;
    38 
    39 
    39 	public TabularFormatter(FormatterContext formatterContext) {
    40 	public TabularFormatter(FormatterContext formatterContext) {
    40 		super(formatterContext);
    41 		super(formatterContext);
    41 		out = new ColorfulPrintWriter(formatterContext.getOutputStream());
    42 		out = new ColorfulPrintWriter(formatterContext.getOutputStream());
    42 	}
    43 	}
   200 			out.println();
   201 			out.println();
   201 		}
   202 		}
   202 	}
   203 	}
   203 
   204 
   204 	private void printTableBorder(String border) {
   205 	private void printTableBorder(String border) {
       
   206 		if (asciiNostalgia) {
       
   207 			border = border.replaceAll("─", "-");
       
   208 			border = border.replaceAll("│", "|");
       
   209 			border = border.replaceAll("[╭┬╮├┼┤╰┴╯]", "+");
       
   210 		}
       
   211 		
   205 		out.print(TerminalColor.Green, border);
   212 		out.print(TerminalColor.Green, border);
   206 	}
   213 	}
   207 
   214 
   208 	private void printTableIndent() {
   215 	private void printTableIndent() {
   209 		out.print(" ");
   216 		out.print(" ");