equal
deleted
inserted
replaced
36 val POSITION_PROPERTIES = |
36 val POSITION_PROPERTIES = |
37 Set(LINE, COLUMN, OFFSET, END_LINE, END_COLUMN, END_OFFSET, FILE, ID) |
37 Set(LINE, COLUMN, OFFSET, END_LINE, END_COLUMN, END_OFFSET, FILE, ID) |
38 |
38 |
39 val POSITION = "position" |
39 val POSITION = "position" |
40 val LOCATION = "location" |
40 val LOCATION = "location" |
|
41 |
|
42 |
|
43 /* hidden text */ |
|
44 |
|
45 val HIDDEN = "hidden" |
41 |
46 |
42 |
47 |
43 /* logical entities */ |
48 /* logical entities */ |
44 |
49 |
45 val TCLASS = "tclass" |
50 val TCLASS = "tclass" |