.\" Manual page for mcrl2parse version 201202.0 (Release). .\"
.\" Generated from mcrl2parse --generate-man-page. .\"
.TH MCRL2PARSE "1" "April 2012" "mcrl2parse mCRL2 toolset 201202.0 (Release)" "User Commands"
.SH NAME
mcrl2parse \- parses a string containing an mCRL2 data structure
.SH SYNOPSIS
.B mcrl2parse
[\fIOPTION\fR]... [\fIINFILE\fR]
.SH DESCRIPTION
Parses the text in the file INFILE. If INFILE is not present, standard input is 
used.
.SH OPTIONS
.TP
\fIOPTION\fR can be any of the following:
.TP
\fB-a\fR, \fB--aterm-format\fR
compare the results in aterm format
.TP
\fB-p\fR, \fB--check-parser\fR
compare the results of the old and new parser
.TP
\fB-P\fR, \fB--check-printer\fR
compare the results of the old and new pretty printer
.TP
\fB-e\fR[\fIEXPR\fR], \fB--expression\fR[=\fIEXPR\fR]
parse EXPR instead of a file
.TP
\fB-f\fR[\fINAME\fR], \fB--filetype\fR[=\fINAME\fR]
input has the file type NAME:
  \&'actfrm\&'    for an action formula
  \&'besexpr\&'   for a BES expression
  \&'besspec\&'   for a BES specification
  \&'dataexpr\&'  for a data expression
  \&'dataspec\&'  for a data specification
  \&'mcrl2spec\&' for an mCRL2 specification (default)
  \&'multact\&'   for a multi action
  \&'pbesexpr\&'  for a PBES expression
  \&'pbesspec\&'  for a PBES specification
  \&'procexpr\&'  for a process expression
  \&'regfrm\&'    for a regular formula
  \&'sortexpr\&'  for a sort expression
  \&'statefrm\&'  for a state formula

.TP
\fB--partial-parses\fR
allow partial parses
.TP
\fB-t\fR, \fB--print-tree\fR
print parse tree
.TP
\fB--timings\fR[=\fIFILE\fR]
append timing measurements to FILE\&. Measurements are written to standard error 
if no FILE is provided
.TP
\fB-w\fR, \fB--warn\fR
generate warnings
.TP
Standard options:
.TP
\fB-q\fR, \fB--quiet\fR
do not display warning messages
.TP
\fB-v\fR, \fB--verbose\fR
display short intermediate messages
.TP
\fB-d\fR, \fB--debug\fR
display detailed intermediate messages
.TP
\fB--log-level\fR=\fILEVEL\fR
display intermediate messages up to and including level
.TP
\fB-h\fR, \fB--help\fR
display help information
.TP
\fB--version\fR
display version information

.SH AUTHOR
Written by Wieger Wesselink.
.SH "REPORTING BUGS"
Report bugs at <http://www.mcrl2.org/issuetracker>.
.SH COPYRIGHT
Copyright \(co 2012 Technische Universiteit Eindhoven.
.br
This is free software.  You may redistribute copies of it under the
terms of the Boost Software License <http://www.boost.org/LICENSE_1_0.txt>.
There is NO WARRANTY, to the extent permitted by law.
.SH "SEE ALSO"
See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/mcrl2parse>.