annotation

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.




Statistics


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
File annotation.str
Author unknown
Since unknown
 

Alias of get-annotations.



 
ATerm has-annos
File annotation.str
Author unknown
Since unknown
 

Succeeds if a term has annotations.



 
ATerm preserve-annotation(Strategy s)
File annotation.str
Author unknown
Since unknown
 

Alias of preserve-annos



 
ATerm set-annos
File annotation.str
Author unknown
Since unknown
 

Alias of set-annotations.



 

Rule details


ATerm get-annotations
File annotation.str
Author unknown
Since unknown
 

Returns the list of annotations of the current term.



 
ATerm rm-annotations
File annotation.str
Author unknown
Since unknown
 

No information available.


todo The xs variable is a hack for issue STR-382.

 
ATerm set-annotations
File annotation.str
Author unknown
Since unknown
 

Sets the annotations of the given term t to the annotations a.