public class Rewrite extends Object implements Operation
| Modifier and Type | Class and Description |
|---|---|
static class |
Rewrite.Builder
Builder for Rewrite.
|
| Modifier and Type | Method and Description |
|---|---|
static Rewrite.Builder |
builder()
Create a new builder for Rewrite.
|
boolean |
equals(Object o) |
Index |
fragReuseIndex()
Get the fragment reuse index.
|
List<RewriteGroup> |
groups()
Get the rewrite groups.
|
int |
hashCode() |
String |
name()
We use this name to align with the Rust operation enum underlying in JNI.
|
List<RewrittenIndex> |
rewrittenIndices()
Get the rewritten indices.
|
String |
toString() |
public String name()
Operationpublic List<RewriteGroup> groups()
public List<RewrittenIndex> rewrittenIndices()
public Index fragReuseIndex()
public static Rewrite.Builder builder()
Copyright © 2025. All rights reserved.