Module index (API)

[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]

Module index


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
W
with n/a with.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