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 to check what the compiler is actually seeing after syntactic expansions, as well as for checking what assertions the assertion normalizer is producing from the original assertions in the file.
fileinfo -asr <filename.asr>
: pretty prints the contents of <filename.asr>
fileinfo [-v] [-m] <-a|-c|-e> <filename> [libdir1] ... [libdirN]
-v : verbose output (e.g., lists all files read)
-m : restrict info to current module
-a : print assertions
-c : print code and interface (imports/exports, etc.)
-e : print only errors - useful to check syntax of assertions in file
fileinfo -h
: print this information
-a option is selected, fileinfo prints the assertions (only code-oriented assertions -- not comment-oriented assertions) in the file after normalization. If the -c option is selected fileinfo prints the file interface, the declarations contained in the file, and the actual code. If the -e option is selected fileinfo prints only any sintactic and import-export errors found in the file, including the assertions.
filename must be the name of a Prolog or CIAO source file.
-m option is selected, only the information related to the current module is printed.
-v option produces verbose output. This is very useful for debugging, since all the files accessed during assertion normalization are listed.
-asr usage,
fileinfo can be used to print the contents of a .asr file in human-readable form.
Go to the first, previous, next, last section, table of contents.