Name

baffle — converts between textual and binary ATerm formats

Synopsis

baffle [-i file] [-o file] [-h] [-v] [-c] [-rb | -rt | -rs] [-wb | -wt | -ws]

Description

ATerms are expressions according to the grammar given below. These expressions may be stored as compressed binaries (BAF), compressed text files (TAF) or plain text files. The baffle tool is used to convert between these storage formats.

  t  := bt                 -- basic term
       | bt { t }          -- annotated term

  bt := C                  -- constant
       | C(t1,...,tn)      -- n-ary constructor
       | (t1,...,tn)       -- n-ary tuple
       | [t1,...,tn]       -- list
       | "ccc"             -- quoted string
       | int               -- integer
       | real              -- floating point number
       | blob              -- binary large object

Options

I/O Options

-i filename

Input is given in filename. Default is stdin.

-o filename

Output should be written to filename. Default is stdout.

-c

Check the validity of the input term.

-rb

Read the term as compressed binary (BAF). Default is auto-detect.

-rt

Read the term as plain text. Default is auto-detect.

-rs

Read the term as compressed text (TAF). Default is auto-detect.

-wb

Write the output term as compressed binary (BAF). This is the default.

-ws

Write the output as compressed text (TAF). Default is compressed binary.

-wt

Write the output as plain text. Default is compressed binary.

Debugging Options

-h

Display help screen for command line options.

-v

Display program version.

Examples

Given a binary compressed (BAF) term in input.trm, converting it to plain text can be done as follows:

$ baffle -i input.trm -o output.trm -wt