rascal
rascal copied to clipboard
xml attribute locations
- Using jsoup 1.17.1 which can track attribute locations
- minor refactoring for clarity
Thanks!
- Found a bug in the jsoup implementation, so I'm waiting for that fix and a release.
- If we ever want to lift these
nodeto parse trees we also need the locations of the names of the attributes. So I'm thinking to extend thesrcsmap tomap[str label, tuple[loc name, loc val] src]
See https://github.com/jhy/jsoup/issues/1933