[cp-patches] [generics] RFC : implementation of java.lang.instrument package

[Nicolas Geoffray]

Hi everyone,

I implemented (implement is not really appropriate as it's minor files
with interfaces and exceptions) the java.lang.instrument.* files of
the 1.5 API.

Implementation is not complete. It needs a class extending the 
Instrumentation
class (see http://java.sun.com/j2se/1.5.0/docs/api/).

Where this class should be : 
gnu/java/lang/instrument/InstrumentationImpl.java?

Cheers,
Nicolas

2005-11-23  Nicolas Geoffray <address@hidden>
        
        * java/lang/instrument: New directory.
        * java/lang/instrument/ClassDefinition.java:
        New file.
        * java/lang/instrument/ClassFileTransformer.java:
        New file.
        * java/lang/instrument/IllegalClassFormatException.java:
        New file.
        * java/lang/instrument/Instrumentation.java:
        New file.
        * java/lang/instrument/UnmodifiableClassException.java:
        New file.


/* ClassDefinition.java -- Class that binds a class with a new class file
   Copyright (C) 2005  Free Software Foundation, Inc.

This file is part of GNU Classpath.

GNU Classpath is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.

GNU Classpath is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with GNU Classpath; see the file COPYING.  If not, write to the
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301 USA.

Linking this library statically or dynamically with other modules is
making a combined work based on this library.  Thus, the terms and
conditions of the GNU General Public License cover the whole
combination.

As a special exception, the copyright holders of this library give you
permission to link this library with independent modules to produce an
executable, regardless of the license terms of these independent
modules, and to copy and distribute the resulting executable under
terms of your choice, provided that you also meet, for each linked
independent module, the terms and conditions of the license of that
module.  An independent module is a module which is not derived from
or based on this library.  If you modify this library, you may extend
this exception to your version of the library, but you are not
obligated to do so.  If you do not wish to do so, delete this
exception statement from your version. */


package java.lang.instrument;

/**
 * This class binds a class that will be redefined with a new
 * class file.
 *
 * @author Nicolas Geoffray (address@hidden)
 * @see Instrumentation#redefineClasses(java.lang.instrument.ClassDefinition[])
 * @since 1.5
 */
public final class ClassFileTransformer
{

  /* The class it's related */
  private Class theClass;

  /* The new bytecode of theClass */
  private byte[] theClassFile;

  /**
   * @param theClass the Class that will be redefined
   * @param theClassFile the new class file
   * @throws NullPointerException if one of the argument is null
   */
  ClassDefinition(Class<?> theClass, byte[] theClassFile){
    if(theClass == null || theClassFile == null)
      throw new NullPointerException();
    this.theClass = theClass;
    this.theClassFile = theClassFile;
  }

  /**
   * @return the Class
   */
  public Class<?> getDefinitionClass(){
    return theClass;
  }

  /**
   * @return the bytes
   */
  public byte[] getDefinitionClassFile(){
    return theClassFile;
  }

}

/* ClassFileTransformer.java -- Implementation of this interface is used by an 
agent to
   transform class files.
   Copyright (C) 2005  Free Software Foundation, Inc.

This file is part of GNU Classpath.

GNU Classpath is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.

GNU Classpath is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with GNU Classpath; see the file COPYING.  If not, write to the
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301 USA.

Linking this library statically or dynamically with other modules is
making a combined work based on this library.  Thus, the terms and
conditions of the GNU General Public License cover the whole
combination.

As a special exception, the copyright holders of this library give you
permission to link this library with independent modules to produce an
executable, regardless of the license terms of these independent
modules, and to copy and distribute the resulting executable under
terms of your choice, provided that you also meet, for each linked
independent module, the terms and conditions of the license of that
module.  An independent module is a module which is not derived from
or based on this library.  If you modify this library, you may extend
this exception to your version of the library, but you are not
obligated to do so.  If you do not wish to do so, delete this
exception statement from your version. */


package java.lang.instrument;

/**
 * This interface should be implemented by classes wishing to transform
 * classes bytecode when defining or redefining classes.
 *
 * @author Nicolas Geoffray (address@hidden)
 * @see Instrumentation
 * @see 
Instrumentation#addTransformer(java.lang.instrument.ClassFileTransformer)
 * @see 
Instrumentation#removeTransformer(java.lang.instrument.ClassFileTransformer)
 * @since 1.5
 */
public interface ClassFileTransformer
{

  /**
   * Implementation of this method transforms a class by redefining its
   * bytecodes. Once a ClassFileTransformer object registers itself to the
   * Instrumentation object, this method will be called each time a class is
   * defined (<code> ClassLoader.defineClass </code> or redefined
   * (<code>Instrumentation.redefineClasses</code>)
   * @param loader the loader of the class
   * @param className the name of the class with packages separated with "/"
   * @param classBeingRedefined the class being redefined if it's the case,
   * null otherwise
   * @param protectionDomain the protection domain of the class being defined or
   * redefined
   * @param classfileBuffer the input byte buffer in class file format
   * 
   * @return a class file buffer or null when no transformation has been 
performed
   * 
   * @throws IllegalClassFormatException if the byte buffer does not represent
   * a well-formed class file
   * @see 
Instrumentation#redefineClasses(java.lang.instrument.ClassDefinition[])
   *
   */


  byte[] transform(ClassLoader loader,
                 String className,
                 Class<?> classBeingRedefined,
                 ProtectionDomain protectionDomain,
                 byte[] classfileBuffer)
                 throws IllegalClassFormatException;
}

/* IllegalClassFormatException.java -- thrown when an array of byte does
   not represent a valid class file
   Copyright (C) 2005  Free Software Foundation, Inc.

This file is part of GNU Classpath.

GNU Classpath is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.

GNU Classpath is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with GNU Classpath; see the file COPYING.  If not, write to the
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301 USA.

Linking this library statically or dynamically with other modules is
making a combined work based on this library.  Thus, the terms and
conditions of the GNU General Public License cover the whole
combination.

As a special exception, the copyright holders of this library give you
permission to link this library with independent modules to produce an
executable, regardless of the license terms of these independent
modules, and to copy and distribute the resulting executable under
terms of your choice, provided that you also meet, for each linked
independent module, the terms and conditions of the license of that
module.  An independent module is a module which is not derived from
or based on this library.  If you modify this library, you may extend
this exception to your version of the library, but you are not
obligated to do so.  If you do not wish to do so, delete this
exception statement from your version. */


package java.lang.instrument;

/**
 * @author Nicolas Geoffray (address@hidden)
 * @since 1.5
 */
public class IllegalClassFormatException extends Exception
{
  
  /**
   * Compatible with JDK 1.5+.
   */
  private static final long serialVersionUID = -3841736710924794009L;

  /**
   * Create an exception without a message.
   */
  public IllegalClassFormatException(){
  }
  
  /**
   * Create an exception with a message.
   *
   * @param s the message
   */
  public IllegalClassFormatException(String s)
  {
    super(s);
  }
}
/* Instrumentation.java -- Implementation of this interface is used to
   instrument Java bytecode.
   Copyright (C) 2005  Free Software Foundation, Inc.

This file is part of GNU Classpath.

GNU Classpath is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.

GNU Classpath is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with GNU Classpath; see the file COPYING.  If not, write to the
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301 USA.

Linking this library statically or dynamically with other modules is
making a combined work based on this library.  Thus, the terms and
conditions of the GNU General Public License cover the whole
combination.

As a special exception, the copyright holders of this library give you
permission to link this library with independent modules to produce an
executable, regardless of the license terms of these independent
modules, and to copy and distribute the resulting executable under
terms of your choice, provided that you also meet, for each linked
independent module, the terms and conditions of the license of that
module.  An independent module is a module which is not derived from
or based on this library.  If you modify this library, you may extend
this exception to your version of the library, but you are not
obligated to do so.  If you do not wish to do so, delete this
exception statement from your version. */


package java.lang.instrument;

/**
 * An Instrumentation object has a transformer that will
 * be called each time a class is defined or redefined.
 * The object is given to a <code>premain</code> function
 * that is called before the <code>main</code> function.
 *
 * @author Nicolas Geoffray (address@hidden)
 * @since 1.5
 */
public interface Instrumentation
{
  
  /**
   * Adds a <code>ClassFileTransformer</class> object
   * to the instrumentation. Each time a class is defined
   * or redefined, the <code>transform</code> method of the
   * <code>transformer</code> object is called.
   * 
   * @param transformer the transformer to add
   * @throws NullPointerException if transformer is null
   */
  void addTransformer(ClassFileTransformer transformer);
  
  /**
   * Removes the given transformer from the set of transformers
   * this Instrumentation object has.
   * 
   * @param transformer the transformer to remove
   * @return true if the transformer was found and removed, false if
   * the transformer was not found
   * @throws NullPointerException if transformer is null
   */
  boolean removeTransformer(ClassFileTransformer transformer);

  /**
   * Returns if the current JVM supports class redefinition
   * 
   * @return true if the current JVM supports class redefinition
   */
  boolean isRedefineClassesSupported();

  /**
   * Redefine classes present in the definitions array, with
   * the corresponding class files.
   *
   * @param definitions an array of classes to redefine
   * 
   * @throws ClassNotFoundException if a class cannot be found 
   * @throws UnmodifiableClassException if a class cannot be modified 
   * @throws UnsupportedOperationException if the JVM does not support
   * redefinition or the redefinition made unsupported changes
   * @throws ClassFormatError if a class file is not valid
   * @throws NoClassDefFoundError if a class name is not equal to the name
   * in the class file specified
   * @throws UnsupportedClassVersionError if the class file version numbers
   * are unsupported
   * @throws ClassCircularityError if circularity occured with the new
   * classes
   * @throws LinkageError if a linkage error occurs 
   * @throws NullPointerException if the definitions array is null, or any
   * of its element
   *
   * @see isRedefineClassesSupported()
   * @see addTransformer(java.lang.instrument.ClassFileTransformer)
   * @see ClassFileTransformer
   */
  void redefineClasses(ClassDefinition[] definitions)
                     throws ClassNotFoundException,
                            UnmodifiableClassException;


  /**
   * Get all the classes loaded by the JVM.
   * 
   * @return an array containing all the classes loaded by the JVM. The array
   * is empty if no class is loaded.
   */
  Class[] getAllLoadedClasses();

  /**
   * Get all the classes loaded by a given class loader
   * 
   * @param loader the loader
   * 
   * @return an array containing all the classes loaded by the given loader.
   * The array is empty if no class was loaded by the loader.
   */
  Class[] getInitiatedClasses(ClassLoader loader);

  /**
   * Get the size of an object. It contains the size of all fields.
   * 
   * @param objectToSize the object
   * @return the size of the object
   * @throws NullPointerException if objectToSize is null.
   */
  long getObjectSize(Object objectToSize);
}
/* UnmodifiableClassException.java -- thrown when attempting to redefine
   an unmodifiable class
   Copyright (C) 2005  Free Software Foundation, Inc.

This file is part of GNU Classpath.

GNU Classpath is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.

GNU Classpath is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with GNU Classpath; see the file COPYING.  If not, write to the
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301 USA.

Linking this library statically or dynamically with other modules is
making a combined work based on this library.  Thus, the terms and
conditions of the GNU General Public License cover the whole
combination.

As a special exception, the copyright holders of this library give you
permission to link this library with independent modules to produce an
executable, regardless of the license terms of these independent
modules, and to copy and distribute the resulting executable under
terms of your choice, provided that you also meet, for each linked
independent module, the terms and conditions of the license of that
module.  An independent module is a module which is not derived from
or based on this library.  If you modify this library, you may extend
this exception to your version of the library, but you are not
obligated to do so.  If you do not wish to do so, delete this
exception statement from your version. */


package java.lang.instrument;

/**
 * @author Nicolas Geoffray (address@hidden)
 * @since 1.5
 */
public class UnmodifiableClassException extends Exception
{
  /**
   * Compatible with JDK 1.5+.
   */
  private static final long serialVersionUID = 1716652643585309178L

  /**
   * Create an exception without a message.
   */
  public UnmodifiableClassException(){
  }
  
  /**
   * Create an exception with a message.
   *
   * @param s the message
   */
  public UnmodifiableClassException(String s)
  {
    super(s);
  }
}