78 lines
2.9 KiB
Java
78 lines
2.9 KiB
Java
|
// 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.JsonSubTypes;
|
||
|
|
import com.fasterxml.jackson.annotation.JsonTypeInfo;
|
||
|
|
import java.util.Optional;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Types of inline text annotations.
|
||
|
|
*/
|
||
|
|
@JsonTypeInfo(use = JsonTypeInfo.Id.NAME, property = "annotation_type", visible = false)
|
||
|
|
@JsonSubTypes({
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.Bold.class, name = "bold"),
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.Italic.class, name = "italic"),
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.Underline.class, name = "underline"),
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.Strikethrough.class, name = "strikethrough"),
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.Code.class, name = "code"),
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.Subscript.class, name = "subscript"),
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.Superscript.class, name = "superscript"),
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.Link.class, name = "link"),
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.Highlight.class, name = "highlight"),
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.Color.class, name = "color"),
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.FontSize.class, name = "font_size"),
|
||
|
|
@JsonSubTypes.Type(value = AnnotationKind.Custom.class, name = "custom")
|
||
|
|
})
|
||
|
|
@com.fasterxml.jackson.annotation.JsonIgnoreProperties(ignoreUnknown = true)
|
||
|
|
public sealed interface AnnotationKind {
|
||
|
|
|
||
|
|
record Bold() implements AnnotationKind {
|
||
|
|
}
|
||
|
|
|
||
|
|
record Italic() implements AnnotationKind {
|
||
|
|
}
|
||
|
|
|
||
|
|
record Underline() implements AnnotationKind {
|
||
|
|
}
|
||
|
|
|
||
|
|
record Strikethrough() implements AnnotationKind {
|
||
|
|
}
|
||
|
|
|
||
|
|
record Code() implements AnnotationKind {
|
||
|
|
}
|
||
|
|
|
||
|
|
record Subscript() implements AnnotationKind {
|
||
|
|
}
|
||
|
|
|
||
|
|
record Superscript() implements AnnotationKind {
|
||
|
|
}
|
||
|
|
|
||
|
|
record Link(
|
||
|
|
@JsonProperty("url") String url,
|
||
|
|
@JsonProperty("title") Optional<String> title
|
||
|
|
) implements AnnotationKind {
|
||
|
|
}
|
||
|
|
|
||
|
|
/** Highlighted text (PDF highlights, HTML {@code <mark>}). */
|
||
|
|
record Highlight() implements AnnotationKind {
|
||
|
|
}
|
||
|
|
|
||
|
|
/** Text color (CSS-compatible value, e.g. "#ff0000", "red"). */
|
||
|
|
record Color(@JsonProperty("value") String value) implements AnnotationKind { }
|
||
|
|
|
||
|
|
/** Font size with units (e.g. "12pt", "1.2em", "16px"). */
|
||
|
|
record FontSize(@JsonProperty("value") String value) implements AnnotationKind { }
|
||
|
|
|
||
|
|
/** Extensible annotation for format-specific styling. */
|
||
|
|
record Custom(
|
||
|
|
@JsonProperty("name") String name,
|
||
|
|
@JsonProperty("value") Optional<String> value
|
||
|
|
) implements AnnotationKind {
|
||
|
|
}
|
||
|
|
}
|