pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation
http://pietrobraione.github.io/jbse/
GNU General Public License v3.0
101 stars 29 forks source link

Expose all stored field signatures of an Objekt #56

Closed alessandropellegrini closed 1 year ago

alessandropellegrini commented 3 years ago

This patch allows to get all stored field signatures of an object. The use case here is when someone want, e.g., to inspect an Enum and retrieve all possible constants.

pietrobraione commented 2 years ago

Your use case is unclear. Why isn't enough to get the Enum's Klass object, and then reading its fields with getStoredFieldSignatures()?

pietrobraione commented 1 year ago

Change rejected