baf2trm - Aterm-conversion Linux Man Page

NAME

baffle - Aterm-conversion

SYNOPSIS

baffle

[

-i

input

] [

-o

output

] [

-c

] [

-v

] [

-rb

] [

-rt

] [

-rs

] [

-wb

] [

-wt

] [

-ws

]

DESCRIPTION

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.

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