Code

Add column to location#42

Code

Merged

michael-schwarz merged 6 commits intodevelopgoblint/cil:developfrom line-offsetgoblint/cil:line-offsetCopy head branch name to clipboardJul 22, 2021

+38-22

Commits

Commits on Jul 16, 2021

• Return linestart from Errormsg.getPosition

  sim642

  committed
  c660332

• Add lineoffset to locations

  sim642

  committed
  c60069b

Commits on Jul 21, 2021

• Improve Errormsg.getPosition documentation

  sim642

  committed
  cd26e69

• Rename location.lineoffset -> column

  sim642

  committed
  42ca8d2

• Update location comparisons to consider column

  sim642

  committed
  34be227

• Add column debugging to convLoc

  sim642

  committed
  48b3b19