@Override public String toString() { String posString = positionInfo != null ? positionInfo.toString(true) + ": " : ""; return posString + msg; } }
private void recordInfo(JsonPointer ptr, JsonLocation start, JsonLocation end) { PositionInfo pos = new PositionInfo(ptr, start, end); locations.put(ptr, pos); }
public static Optional<PositionEndpoint> getStartPosition(JsonOverlay<?> overlay) { return overlay._getPositionInfo().map(info -> info.getStart()); }
/* package */ Optional<PositionInfo> _getPositionInfo() { if (positionInfo == null) { JsonPointer ptr = JsonPointer.compile(_getPathFromRoot()); positionInfo = refMgr.getPositionInfo(ptr); positionInfo.ifPresent(info -> info.setDocumentUrl(_getDocumentUrl(true))); } return positionInfo; }
public Optional<PositionEndpoint> getStartPosition() { return overlay._getPositionInfo().map(info -> info.getStart()); }
@Override public String toString() { String posString = positionInfo != null ? positionInfo.toString(true) + ": " : ""; return posString + msg; } }
public String toString(boolean startOnly) { return startOnly ? String.format("%s[%s]", documentUrl, start) : toString(); }