@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.