File | annotation.str |
Author | unknown |
Since | unknown |
Primitives for getting and setting term annotations.
The preferred way to access annotations, however,is through the term syntax t1{t2}, which allows matching andbuilding terms with annotations.
General | |
Lines of code | 73 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 1 (0% documented) |
Overlay number | 0 |
Strategy number | 8 (50% documented) |
Rule number | 5 (60% documented) |
DynamicRule number | 0 |
Constructor summary |
||
Anno(ATerm , ATerm ) | n/a | annotation.str |
Strategy summary |
||
catch-annos | n/a | annotation.str |
get-annos | Alias of get-annotations | annotation.str |
has-annos | Succeeds if a term has annotations | annotation.str |
has-annotation | n/a | annotation.str |
if-annotation(Strategy s1, Strategy s2) | n/a | annotation.str |
preserve-annotation(Strategy s) | Alias of preserve-annos | annotation.str |
set-annos | Alias of set-annotations | annotation.str |
strip-annos | n/a | annotation.str |
Rule summary |
||
get-annotations | Returns the list of annotations of the current term | annotation.str |
preserve-annos(Strategy s) | n/a | annotation.str |
rm-annotations | n/a | annotation.str |
set-anno | n/a | annotation.str |
set-annotations | Sets the annotations of the given term t to the annotations a | annotation.str |
Strategy details |
|||||||||
ATerm | get-annos | ||||||||
Alias of get-annotations. |
|||||||||
ATerm | has-annos | ||||||||
Succeeds if a term has annotations. |
|||||||||
ATerm | preserve-annotation(Strategy s) | ||||||||
Alias of preserve-annos |
|||||||||
ATerm | set-annos | ||||||||
Alias of set-annotations. |
|||||||||
Rule details |
|||||||||||
ATerm | get-annotations | ||||||||||
Returns the list of annotations of the current term. |
|||||||||||
ATerm | rm-annotations | ||||||||||
No information available.
|
|||||||||||
ATerm | set-annotations | ||||||||||
Sets the annotations of the given term t to the annotations a. |
|||||||||||