Updates method signature serialization for Nonull formal parameters

ucr-riple / NullAwayAnnotator

A tool to help adapting code bases to NullAway type system.

MIT License

13 stars 6 forks source link

Updates method signature serialization for Nonull formal parameters #213

Closed nimakarimipour closed 11 months ago

nimakarimipour commented 11 months ago

This PR fixes #212 by updating method signature serialization for nonnull formal parameters. It reuses the existing serialization methods for symbols that ensure the correct method signature is printed.