NAME
baffle - Aterm-conversion
SYNOPSIS
baffle [ -i input ] [ -o output ] [ -c ] [ -v ] [ -rb ] [ -rt ] [ -rs ] [ -wb ] [ -wt ] [ -ws ]
DESCRIPTION
This manual page briefly describes the baffle commands.
baffle includes some scripts, they can be used to connect a process producing one Aterm format to a process which expects another. These scripts just set up baffle with the appropriate switches and redirect stdin and stdout accordingly.
These scripts are appropriately called trm2baf, baf2trm, trm2taf, taf2trm, baf2taf, taf2baf and trmcat.
OPTIONS
- -i input
-
Read input from file input
- -o output
-
write output to file output
- -c
-
Check validity of input-term
- -v
-
print version information
- -h
-
Display help
- -wb -wt -ws
-
Choose between BAF, TEXTE, and TAF output
- -rb -rt -rs
-
Choose between BAF, TEXTE, and TAF input
SEE ALSO
AUTHOR
This manual page was written by Julien LEMOINE <[email protected]>. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover Texts.