A | ||
---|---|---|
annotation | Primitives for getting and setting term annotations | annotation.str |
B | ||
bag | This module contains strategies for handling bags | bag.str |
C | ||
char | Character based in-/output | char.str |
collect | Collecting subterms | collect.str |
common | Get and set values in the configuration table | common.str |
common | Some primitives for the manipulation of terms | common.str |
common | This module defines generic strategies for packing a set of modules reachable from a root module and for flattening a set of modules into a single program | common.str |
common | n/a | common.str |
common | This module contains basic functionality for manipulating lists | common.str |
common | n/a | common.str |
conditional | Conditionals | conditional.str |
cons | Overlay for pairs | cons.str |
cons | Lists are represented by means of the constructors Nil and Cons | cons.str |
D | ||
date-format | This module offers strategies to format a ComponentTime to a String | date-format.str |
dir | Strategies for exploring directories | dir.str |
dynamic-rules | n/a | dynamic-rules.str |
E | ||
environment | Traversals that carry an environment | environment.str |
error | n/a | error.str |
error | Error handling for system strategies | error.str |
F | ||
fallback-posix | n/a | fallback-posix.str |
file | n/a | file.str |
file | n/a | file.str |
file | Portable file operations | file.str |
file | This module provides standard fallbacks to important Stratego strategies | file.str |
file-abstractions | n/a | file-abstractions.str |
filter | This module contains strategies for filtering and partitioning lists | filter.str |
fixpoint | A collection of strategies that keeps traversing a term until no more applications of some strategy to the nodes can be found | fixpoint.str |
free-variables | n/a | free-variables.str |
G | ||
graph | A generic algorithm for mapping a graph to a collection of nodes reachable from a given root node | graph.str |
I | ||
index | This module contains strategies for working on lists using indexes | index.str |
indexed | Interface to ATerm's IndexedSets | indexed.str |
integer | Integer arithmetic and comparison | integer.str |
integer | This module contains a collection of strategies for working with lists of integers | integer.str |
iteration | Various iteration strategies | iteration.str |
K | ||
keep | n/a | keep.str |
L | ||
libstrategolib | Obsolete: import libstratego-lib | libstrategolib.str |
list | This module defines a collection of generic one-pass traversals over lists | list.str |
list-environment | Traversals that carry an environment | list-environment.str |
log | Strategies for logging | log.str |
lookup | n/a | lookup.str |
M | ||
memo | The memo operator makes a strategy into a memoizing strategy that looks up the term to be transformed in a memo table and only computes the transformation if the term is not found | memo.str |
modules | CHANGES (by Joost Visser) | modules.str |
N | ||
nested | n/a | nested.str |
O | ||
option | n/a | option.str |
options | This module contains strategies for handling command line options and simple serialization/unserialization of ATerms | options.str |
P | ||
parenthesize | This module defines a generic strategy for placing parentheses in abstract syntax trees based on priority and associativity declarations | parenthesize.str |
parse-options | Strategies for handling command-line options | parse-options.str |
pipe-abstractions | n/a | pipe-abstractions.str |
pipe-abstractions | n/a | pipe-abstractions.str |
placeholder | Primitives for ATerm placeholders | placeholder.str |
process | Run-time process information | process.str |
process | n/a | process.str |
process-abstractions | n/a | process-abstractions.str |
properties | n/a | properties.str |
R | ||
real | This module contains strategies for operating on real numbers | real.str |
rename | Renaming of bound variables is determined by the shape of variables and binding constructs | rename.str |
S | ||
scoped-finite-map | n/a | scoped-finite-map.str |
set | n/a | set.str |
share | The ATerm library preserves maximal sharing of subterms through hash-consing | share.str |
signal | Information in this module is taken from the GNU core-utils manual, process control section | signal.str |
simple | This module contains generic one-pass traversals over terms | simple.str |
sort | This module contains strategies for sorting lists | sort.str |
stacktrace | n/a | stacktrace.str |
stats | n/a | stats.str |
stratego-lib-c99 | n/a | stratego-lib-c99.str |
stratego-lib-generic | n/a | stratego-lib-generic.str |
stratego-lib-posix | n/a | stratego-lib-posix.str |
stratego-lib-posix-xsi | n/a | stratego-lib-posix-xsi.str |
string | This module contains strategies for operating on strings | string.str |
substitution | n/a | substitution.str |
sunit | sunit: Unit Testing Framework | sunit.str |
T | ||
term | Term input and output | term.str |
time | The primitive \verb|dtime| returns the CPU time in seconds since the last call to \verb|dtime| | time.str |
time | n/a | time.str |
time | n/a | time.str |
U | ||
unification | Syntactic unification, no variable bindings are taken into account | unification.str |
V | ||
verbose | Verbosity management | verbose.str |
Z | ||
zip | n/a | zip.str |
zip | Zipping two lists into a list of pairs is a useful operation in many situations | zip.str |