org.pitest.mutationtest.engine.gregor.MutationContext Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of pitest Show documentation

Mutation testing system for Java.

There is a newer version: 1.16.1

package org.pitest.mutationtest.engine.gregor;

import org.pitest.mutationtest.engine.MutationIdentifier;
import org.pitest.mutationtest.engine.gregor.blocks.BlockCounter;

public interface MutationContext extends BlockCounter {

  void registerCurrentLine(int line);

  ClassInfo getClassInfo();

  MutationIdentifier registerMutation(MethodMutatorFactory factory,
      String description);

  boolean shouldMutate(MutationIdentifier newId);

  void disableMutations(String reason);

  void enableMutatations(String reason);

}