Details
Description
Currently, Definition.getOrigin() is used in various places for logging purposes. This formats information about the containing Source in a friendly way. However, the Source itself does not have an obvious way to get this same information. I propose moving the implementation of this method to SourceImpl and forwarding the Definition call there.