Skip to content

rip custom productElementLabel - use standard productElementName instead #204

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Feb 16, 2023

Conversation

mpollmeier
Copy link
Contributor

Not sure about the exact history, but I guess back in the days we
simply didn't notice that Product.productElementName exists, and
therefor added StoredNode.productElementLabel and tweaked the pretty
printer in joern. This can be done much simpler...

Not sure about the exact history, but I guess back in the days we
simply didn't notice that `Product.productElementName` exists, and
therefor added `StoredNode.productElementLabel` and tweaked the pretty
printer in joern. This can be done much simpler...
@mpollmeier mpollmeier requested a review from maltek February 16, 2023 11:26
@mpollmeier
Copy link
Contributor Author

i prepared the changes in joern locally already..

@maltek
Copy link
Contributor

maltek commented Feb 16, 2023

maybe the idea was that the label can be an even prettier string than the field name?

@mpollmeier mpollmeier merged commit c514e90 into master Feb 16, 2023
@delete-merged-branch delete-merged-branch bot deleted the michael/rip-product-element-labels branch February 16, 2023 13:12
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.

2 participants