Skip to content

fix: normalize permitted subclass names to dot notation in setPermittedSubclass#614

Open
Darshan-dev57 wants to merge 1 commit intojavapathfinder:java-17from
Darshan-dev57:java-17
Open

fix: normalize permitted subclass names to dot notation in setPermittedSubclass#614
Darshan-dev57 wants to merge 1 commit intojavapathfinder:java-17from
Darshan-dev57:java-17

Conversation

@Darshan-dev57
Copy link
Copy Markdown

Fixes part of #605

setPermittedSubclass() was storing class names in slash notation
(e.g. gov/nasa/jpf/...) instead of dot notation (gov.nasa.jpf...).

This bug was pointed out in the issue comments by @Mahmoud-Khawaja.

The fix applies Types.getClassNameFromTypeName() which is the same
approach already used in setInterface() for consistency.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant