refactor: add supertype conversion for narrow and widen conversion

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

102 stars 29 forks source link

refactor: add supertype conversion for narrow and widen conversion #17

Closed danglotb closed 4 years ago

danglotb commented 6 years ago

Hi,

I propose to refactor conversions, i.e. NarrowingConversion and WideningConversion, by introducing a common supertype Conversion, with all the common code.

The supertype uses templates method to allow sub-classes to specify the behavior.

pietrobraione commented 4 years ago

The proposal would add complexity (one additional class) without bringing any special benefit.