Record Class InputEdit

java.lang.Object
java.lang.Record
io.github.treesitter.jtreesitter.InputEdit

@NullMarked public record InputEdit(int startByte, int oldEndByte, int newEndByte, Point startPoint, Point oldEndPoint, Point newEndPoint) extends Record
An edit to a text document.