Correctly handle types that are more complex than arrays in #310

njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.

MIT License

3 stars 5 forks source link

Correctly handle types that are more complex than arrays in #310 #314

Closed kelloggm closed 3 months ago

kelloggm commented 3 months ago

This PR extends #310 to handle other, more complex types. In particular, the goal of this PR was to make sure that we use FQN for all kinds of "internal" types (component types of arrays, bounds of type variables, etc.) in a more principled way than we do in #310.

This should probably be reviewed before or concurrently with #310.