| 1 | |
|
| 2 | |
|
| 3 | |
|
| 4 | |
|
| 5 | |
|
| 6 | |
|
| 7 | |
|
| 8 | |
|
| 9 | |
|
| 10 | |
|
| 11 | |
|
| 12 | |
|
| 13 | |
|
| 14 | |
|
| 15 | |
|
| 16 | |
package org.yaml.snakeyaml.error; |
| 17 | |
|
| 18 | |
import org.yaml.snakeyaml.scanner.Constant; |
| 19 | |
|
| 20 | |
|
| 21 | |
|
| 22 | |
|
| 23 | |
|
| 24 | |
public final class Mark { |
| 25 | |
private String name; |
| 26 | |
private int index; |
| 27 | |
private int line; |
| 28 | |
private int column; |
| 29 | |
private String buffer; |
| 30 | |
private int pointer; |
| 31 | |
|
| 32 | |
public Mark(String name, int index, int line, int column, String buffer, int pointer) { |
| 33 | 2231458 | super(); |
| 34 | 2231458 | this.name = name; |
| 35 | 2231458 | this.index = index; |
| 36 | 2231458 | this.line = line; |
| 37 | 2231458 | this.column = column; |
| 38 | 2231458 | this.buffer = buffer; |
| 39 | 2231458 | this.pointer = pointer; |
| 40 | 2231458 | } |
| 41 | |
|
| 42 | |
private boolean isLineBreak(char ch) { |
| 43 | 4587 | return Constant.NULL_OR_LINEBR.has(ch); |
| 44 | |
} |
| 45 | |
|
| 46 | |
public String get_snippet(int indent, int max_length) { |
| 47 | 230 | if (buffer == null) { |
| 48 | 0 | return null; |
| 49 | |
} |
| 50 | 230 | float half = max_length / 2 - 1; |
| 51 | 230 | int start = pointer; |
| 52 | 230 | String head = ""; |
| 53 | 1514 | while ((start > 0) && (!isLineBreak(buffer.charAt(start - 1)))) { |
| 54 | 1292 | start -= 1; |
| 55 | 1292 | if (pointer - start > half) { |
| 56 | 8 | head = " ... "; |
| 57 | 8 | start += 5; |
| 58 | 8 | break; |
| 59 | |
} |
| 60 | |
} |
| 61 | 230 | String tail = ""; |
| 62 | 230 | int end = pointer; |
| 63 | 3258 | while ((end < buffer.length()) && (!isLineBreak(buffer.charAt(end)))) { |
| 64 | 3058 | end += 1; |
| 65 | 3058 | if (end - pointer > half) { |
| 66 | 30 | tail = " ... "; |
| 67 | 30 | end -= 5; |
| 68 | 30 | break; |
| 69 | |
} |
| 70 | |
} |
| 71 | 230 | String snippet = buffer.substring(start, end); |
| 72 | 230 | StringBuilder result = new StringBuilder(); |
| 73 | 1124 | for (int i = 0; i < indent; i++) { |
| 74 | 894 | result.append(" "); |
| 75 | |
} |
| 76 | 230 | result.append(head); |
| 77 | 230 | result.append(snippet); |
| 78 | 230 | result.append(tail); |
| 79 | 230 | result.append("\n"); |
| 80 | 2416 | for (int i = 0; i < indent + pointer - start + head.length(); i++) { |
| 81 | 2186 | result.append(" "); |
| 82 | |
} |
| 83 | 230 | result.append("^"); |
| 84 | 230 | return result.toString(); |
| 85 | |
} |
| 86 | |
|
| 87 | |
public String get_snippet() { |
| 88 | 217 | return get_snippet(4, 75); |
| 89 | |
} |
| 90 | |
|
| 91 | |
@Override |
| 92 | |
public String toString() { |
| 93 | 214 | String snippet = get_snippet(); |
| 94 | 214 | StringBuilder where = new StringBuilder(" in "); |
| 95 | 214 | where.append(name); |
| 96 | 214 | where.append(", line "); |
| 97 | 214 | where.append(line + 1); |
| 98 | 214 | where.append(", column "); |
| 99 | 214 | where.append(column + 1); |
| 100 | 214 | if (snippet != null) { |
| 101 | 214 | where.append(":\n"); |
| 102 | 214 | where.append(snippet); |
| 103 | |
} |
| 104 | 214 | return where.toString(); |
| 105 | |
} |
| 106 | |
|
| 107 | |
public String getName() { |
| 108 | 19 | return name; |
| 109 | |
} |
| 110 | |
|
| 111 | |
|
| 112 | |
|
| 113 | |
|
| 114 | |
public int getLine() { |
| 115 | 2 | return line; |
| 116 | |
} |
| 117 | |
|
| 118 | |
|
| 119 | |
|
| 120 | |
|
| 121 | |
public int getColumn() { |
| 122 | 2 | return column; |
| 123 | |
} |
| 124 | |
|
| 125 | |
|
| 126 | |
|
| 127 | |
|
| 128 | |
public int getIndex() { |
| 129 | 1 | return index; |
| 130 | |
} |
| 131 | |
|
| 132 | |
} |