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