File | location.str |
Author | unknown |
Since | unknown |
Strategies to handle the location of terms.These strategies can only be used on terms that are annotated with theirposition-info, i.e. are parsed with the option --preserve-positions
General | |
Lines of code | 68 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 12 (33% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Strategy summary |
||
format-location-string(ATerm message) | Formats a given string with information about the current term | location.str |
get-end-column | n/a | location.str |
get-end-line | n/a | location.str |
get-filename | n/a | location.str |
get-length | n/a | location.str |
get-offset | n/a | location.str |
get-raw-area-in-file | For internal purposes only | location.str |
get-raw-posinfo | n/a | location.str |
get-specific-child(ATerm pos) | n/a | location.str |
get-start-column | n/a | location.str |
get-start-line | Several getter-methods | location.str |
has-position-info | Checks for position info annotations | location.str |
Strategy details |
|||||||||||||||
ATerm | format-location-string(ATerm message) | ||||||||||||||
Formats a given string with information about the current term.Within the string the following 'holes' are filled with the appropiate information from the location of the term:- [STARTLINE] - [STARTCOLUMN]- [ENDLINE] - [ENDCOLUMN]- [OFFSET] - [LENGTH]- [FILENAME]Note that the holes should be wrapped in '[' and ']'.
|
|||||||||||||||
ATerm | get-raw-area-in-file | ||||||||||||||
For internal purposes only |
|||||||||||||||
ATerm | get-start-line | ||||||||||||||
Several getter-methods |
|||||||||||||||
ATerm | has-position-info | ||||||||||||||
Checks for position info annotations |
|||||||||||||||