equal
deleted
inserted
replaced
37 } |
37 } |
38 } |
38 } |
39 |
39 |
40 private val purge_pos = Map( |
40 private val purge_pos = Map( |
41 Markup.DEF_LINE -> Markup.LINE, |
41 Markup.DEF_LINE -> Markup.LINE, |
42 Markup.DEF_COLUMN -> Markup.COLUMN, |
|
43 Markup.DEF_OFFSET -> Markup.OFFSET, |
42 Markup.DEF_OFFSET -> Markup.OFFSET, |
44 Markup.DEF_END_OFFSET -> Markup.END_OFFSET, |
43 Markup.DEF_END_OFFSET -> Markup.END_OFFSET, |
45 Markup.DEF_FILE -> Markup.FILE, |
44 Markup.DEF_FILE -> Markup.FILE, |
46 Markup.DEF_ID -> Markup.ID) |
45 Markup.DEF_ID -> Markup.ID) |
47 |
46 |