WIP: Generate module definitions as well as the class definitions.
NOTE: Not to be merged yet, but wanted to let you see the changes that I needed to make for the jp.JPackage('cern')
style static analysis. I propose that the new API in https://github.com/jpype-project/jpype/issues/933 might be the thing that we eventually target, rather than doing the JPackage
thing.
These definitions can be used from a top-level stub, such as in JPype itself to declare top-level names. For example, in the JPype stubs:
@typing.overload
def JPackage(__package_name: typing.Literal['java']) -> java.module: ...
Would allow type checking of jpype.JPackage('java').lang.String
etc.