83 lines
2.6 KiB
Java
Generated
83 lines
2.6 KiB
Java
Generated
// This file is auto-generated by alef — DO NOT EDIT.
|
|
// alef:hash:4e15143f4af1ae8bafbdb1506ef057da924484c66a19483966333558ad437e75
|
|
// To regenerate: alef generate
|
|
// To verify freshness: alef verify --exit-code
|
|
// Issues & docs: https://github.com/kreuzberg-dev/alef
|
|
package dev.kreuzberg;
|
|
|
|
import com.fasterxml.jackson.annotation.JsonProperty;
|
|
import com.fasterxml.jackson.annotation.JsonInclude;
|
|
import com.fasterxml.jackson.databind.annotation.JsonDeserialize;
|
|
import com.fasterxml.jackson.databind.annotation.JsonPOJOBuilder;
|
|
|
|
/**
|
|
* Byte offset boundary for a page.
|
|
*
|
|
* Tracks where a specific page's content starts and ends in the main content string,
|
|
* enabling mapping from byte positions to page numbers. Offsets are guaranteed to be
|
|
* at valid UTF-8 character boundaries when using standard String methods (push_str, push, etc.).
|
|
*/
|
|
@JsonInclude(JsonInclude.Include.NON_ABSENT)
|
|
@JsonDeserialize(builder = PageBoundary.Builder.class)
|
|
public record PageBoundary(
|
|
/**
|
|
* Byte offset where this page starts in the content string (UTF-8 valid boundary, inclusive)
|
|
*/
|
|
@JsonProperty("byte_start") long byteStart,
|
|
/**
|
|
* Byte offset where this page ends in the content string (UTF-8 valid boundary, exclusive)
|
|
*/
|
|
@JsonProperty("byte_end") long byteEnd,
|
|
/**
|
|
* Page number (1-indexed)
|
|
*/
|
|
@JsonProperty("page_number") int pageNumber
|
|
) {
|
|
public static Builder builder() {
|
|
return new Builder();
|
|
}
|
|
|
|
// CPD-OFF
|
|
@JsonPOJOBuilder(withPrefix = "with", buildMethodName = "build")
|
|
public static final class Builder {
|
|
|
|
@JsonProperty("byte_start")
|
|
private long byteStart = 0;
|
|
@JsonProperty("byte_end")
|
|
private long byteEnd = 0;
|
|
@JsonProperty("page_number")
|
|
private int pageNumber = 0;
|
|
|
|
/** Sets the byteStart field. */
|
|
@JsonProperty("byte_start")
|
|
public Builder withByteStart(final long value) {
|
|
this.byteStart = value;
|
|
return this;
|
|
}
|
|
|
|
/** Sets the byteEnd field. */
|
|
@JsonProperty("byte_end")
|
|
public Builder withByteEnd(final long value) {
|
|
this.byteEnd = value;
|
|
return this;
|
|
}
|
|
|
|
/** Sets the pageNumber field. */
|
|
@JsonProperty("page_number")
|
|
public Builder withPageNumber(final int value) {
|
|
this.pageNumber = value;
|
|
return this;
|
|
}
|
|
|
|
/** Builds the PageBoundary instance. */
|
|
public PageBoundary build() {
|
|
return new PageBoundary(
|
|
byteStart,
|
|
byteEnd,
|
|
pageNumber
|
|
);
|
|
}
|
|
}
|
|
// CPD-ON
|
|
}
|