Re:Pure Java Typesetting System
by brazzy on Monday January 23, 2023 @05:00PM
(#34495721)
> Class files don't actually care about file names
But URLClassLoader does, which definitely has something to do with this.
True, before you get there, you'd first need it to compile - but modern JDKs have a compiler API that allows customization via the StandardJavaFileManager interface, and that looks like it should be able to do the job to make source file names follow a different convention.
But URLClassLoader does, which definitely has something to do with this.
True, before you get there, you'd first need it to compile - but modern JDKs have a compiler API that allows customization via the StandardJavaFileManager interface, and that looks like it should be able to do the job to make source file names follow a different convention.