| File | Repository.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 58 |
| Stratego | |
| Module number | 1 (0% documented) |
| Constructor number | 5 (0% documented) |
| Overlay number | 0 |
| Strategy number | 4 (25% 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.
|
|||||||||||