File | Repository.str |
Author | unknown |
Since | unknown |
General | |
Lines of code | 30 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 3 (0% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Constructor summary |
||
Import(ATerm ) | n/a | Repository.str |
Imported(ATerm ) | n/a | Repository.str |
Repository(ATerm ) | n/a | Repository.str |
Tool(ATerm ) | n/a | Repository.str |
XTC(ATerm ) | n/a | Repository.str |
Strategy summary |
||
xtc-import | n/a | Repository.str |
xtc-load | n/a | Repository.str |
xtc-location | Returns the location of the XTC repository | Repository.str |
xtc-read | n/a | Repository.str |
Strategy details |
|||||||||||
ATerm | xtc-location | ||||||||||
Returns the location of the XTC repository.
|
|||||||||||