Closed hankem closed 6 months ago
Some classes store a int lineNumber field next to a SourceCodeLocation. This PR eliminates the redundancy, which suggests more degrees of freedom than there actually are.
int lineNumber
SourceCodeLocation
Some classes store a
int lineNumber
field next to aSourceCodeLocation
. This PR eliminates the redundancy, which suggests more degrees of freedom than there actually are.