Package org.mpi_sws.jmc.annotations

Annotation Interface JmcIgnoreInstrumentation

@Target(TYPE)
@Retention(RUNTIME)
public @interface JmcIgnoreInstrumentation

This annotation is used to mark methods or classes that should be ignored by the JMC instrumentation. It can be applied to classes only.