This page contains a (almost complete) formal specification of the syntax of the driver program. An example is also available from the Example Section:

DriverInput

Statement
DriverInput Statement

Statement

IFConfig
Select
%consolidate
%print_statistics
%statistics_only
%timer_start
%timer_stop
%output_on
%output_off
%output_to  // to standard output
%output_to filename (C-style string)
%pre_process_limit
%print_statistics format (C-style string)
%clear
%clear_recycle
%pre_process_limit = Number

IFConfig

ifconfig Number Predicate

Predicate

Constraint
Predicate Or Constraint
Predicate And Constraint

Or

||
|
\/

And

&&
,
/\

Constraint

Name Operator LiteralValue
Name any Type  // any-value constraint

Name

{A-Za-z}{A-Za-z/.-}*

Operator

=
<
>
=*  // prefix
*=  // suffix
**  // substring

LiteralValue

C-style integer literal
C-style string literal
C-style double literal
true
false

Number

C-style integer literal

Type

integer
string
boolean
double
any

Select

select Message

Message

Attribute
Message Attribute

Attribute

Name = LiteralValue