made some methods on SourceLocManager public so I could get a canonical file object out of a SourceLoc to use as a key in a map to attach annotations to locations at the file granularity
made some methods on SourceLocManager public so I could get a canonical file object out of a SourceLoc to use as a key in a map to attach annotations to locations at the file granularity


angavrilov/olmar,angavrilov/olmar,angavrilov/olmar,angavrilov/olmar