@Internal public interface MutationDetector extends java.lang.AutoCloseable
The AutoCloseable aspect of this interface allows use in a try-with-resources style,
where the implementing class may choose to perform a final mutation check upon AutoCloseable.close().
| Modifier and Type | Method and Description |
|---|---|
void |
verifyUnmodified() |
void verifyUnmodified()
throws IllegalMutationException
IllegalMutationException - if illegal mutations are detected.