| 112 | } |
| 113 | |
| 114 | static protected void printlnDecorated(String prefix, String message, Object text, String suffix) { |
| 115 | String tt = toString(text); |
| 116 | |
| 117 | if (tt.startsWith("<<") && indent.get().length()>4) |
| 118 | indent.set(indent.get().substring(4)); |
| 119 | |
| 120 | if (tt.startsWith("-- ") && tt.endsWith(" --")) |
| 121 | { |
| 122 | System.out.println("\n"+indent.get()+ prefix + "------------------------------------------------------------------------------------" + suffix); |
| 123 | System.out.format("%s%s%25s :: %s%s\n", indent.get(),prefix, message, tt, suffix); |
| 124 | System.out.println(indent.get() + prefix +"------------------------------------------------------------------------------------" + suffix+"\n"); |
| 125 | } else System.out.format("%s%s%25s :: %s%s\n", indent.get(), prefix, message, tt, suffix); |
| 126 | |
| 127 | |
| 128 | if (tt.startsWith(">>")) |
| 129 | indent.set(" "+indent.get()); |
| 130 | } |
| 131 | |
| 132 | static public void red(String message, Object text) { |
| 133 | printlnDecorated("\033[31m", message, text, "\033[0m"); |