Update PECodeGenerator.java

This commit is contained in:
Jens Kristian Villadsen 2024-11-18 22:41:03 +01:00 committed by GitHub
parent 1321ae421e
commit d3745e4093
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -845,7 +845,7 @@ public class PECodeGenerator {
private PEGenClass genClass(PEDefinition source) {
PEGenClass cls = new PEGenClass();
cls.name = source.getProfile().getName();
cls.name = Utilities.javaTokenize(source.getProfile().getName(), true);
cls.base = source.getProfile().getType();
cls.doco = source.documentation();
cls.url = source.getProfile().getVersionedUrl();