Interface MutationDetector

  • All Superinterfaces:
    java.lang.AutoCloseable

    @Internal
    public interface MutationDetector
    extends java.lang.AutoCloseable
    An object for detecting illegal mutations.

    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().