Author(s): Manuel Hermenegildo.
Version: 0.5#6 (1999/4/15, 20:33:6 MEST)
A simple program for printing assertion information ( predicate declarations, property declarations, type declarations, etc.) and printing code-related information ( imports, exports, libraries used, etc.) on a file. The file should be a single Ciao or Prolog source file. It uses the Ciao compiler's pass one to do it. This program is specially useful for example for checking what assertions the assertion normalizer is producing from the original assertions in the file or to check what the compiler is actually seeing after some of the syntactic expansions (but before goal translations).
fileinfo -asr <filename.asr> : pretty prints the contents of <filename.asr> fileinfo [-v] [-m] <-a|-f|-c|-e> <filename> [libdir1] ... [libdirN] -v : verbose output (e.g., lists all files read) -m : restrict info to current module -a : print assertions -f : print code and interface (imports/exports, etc.) -c : print code only -e : print only errors - useful to check syntax of assertions in file fileinfo -h : print this information Note that system lib paths *must* be given explicitly, e.g. : fileinfo -m -c foo.pl \ /home/clip/System/ciao/lib \ /home/clip/System/ciao/library \
-aoption is selected,
fileinfoprints the assertions (only code-oriented assertions -- not comment-oriented assertions) in the file after normalization. If the
-foption is selected
fileinfoprints the file interface, the declarations contained in the file, and the actual code. The
-coption prints only the code. If the
-eoption is selected
fileinfoprints only any sintactic and import-export errors found in the file, including the assertions.
filenamemust be the name of a Prolog or Ciao source file.
-moption is selected, only the information related to the current module is printed.
-voption produces verbose output. This is very useful for debugging, since all the files accessed during assertion normalization are listed.
fileinfocan be used to print the contents of a
.asrfile in human-readable form.
Go to the first, previous, next, last section, table of contents.