Platform Interface: java.lang.ClassLoader

wrapper java.lang.ClassLoader {
  wrapper ClassLoader () {
      // Should disallow this?
      RJavaClass.createClassLoader ();
      #;
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science