code: package java.lang.instrument;
  
  import java.util.List;
  import java.util.Map;
  import java.util.Set;
  import java.util.jar.JarFile;
  
  /* STUB class for 1.6 compilation */
  public interface Instrumentation {
  
      void addTransformer(ClassFileTransformer transformer, boolean canRetransform);
  
      void addTransformer(ClassFileTransformer transformer);
  
      boolean removeTransformer(ClassFileTransformer transformer);
  
      boolean isRetransformClassesSupported();
  
      void retransformClasses(Class<?>... classes) throws UnmodifiableClassException;
  
      boolean isRedefineClassesSupported();
  
      void redefineClasses(ClassDefinition... definitions)
          throws  ClassNotFoundException, UnmodifiableClassException;
  
      boolean isModifiableClass(Class<?> theClass);
  
      long getObjectSize(Object objectToSize);
  
      void appendToBootstrapClassLoaderSearch(JarFile jarfile);
  
      void appendToSystemClassLoaderSearch(JarFile jarfile);
  
      boolean isNativeMethodPrefixSupported();
  
      void setNativeMethodPrefix(ClassFileTransformer transformer, String prefix);
  
      void redefineModule(Module module,
                          Set<Module> extraReads,
                          Map<String, Set<Module>> extraExports,
                          Map<String, Set<Module>> extraOpens,
                          Set<Class<?>> extraUses,
                          Map<Class<?>, List<Class<?>>> extraProvides);
  
      boolean isModifiableModule(Module module);
  }
  