diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-10-03 12:59:47 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-10-03 12:59:47 +0000 |
| commit | 35b9067ed439c64aa639a6be8669378b648f83fb (patch) | |
| tree | aea6fdd15fa246887c3fb8389f96f442d0f9f650 /src/GF/Canon/GFCC/doc | |
| parent | 1a86f3bb4ccc8f984c06083d162e4ca6be722483 (diff) | |
more commands in gfcc
Diffstat (limited to 'src/GF/Canon/GFCC/doc')
| -rw-r--r-- | src/GF/Canon/GFCC/doc/gfcc.txt | 24 |
1 files changed, 16 insertions, 8 deletions
diff --git a/src/GF/Canon/GFCC/doc/gfcc.txt b/src/GF/Canon/GFCC/doc/gfcc.txt index 62ddfc1cd..38e722169 100644 --- a/src/GF/Canon/GFCC/doc/gfcc.txt +++ b/src/GF/Canon/GFCC/doc/gfcc.txt @@ -497,12 +497,15 @@ GFCC generation is a part of the [developers' version http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/GF/doc/darcs.html] of GF since September 2006. To invoke the compiler, the flag ``-printer=gfcc`` to the command -``pm = print_multi`` is used. It is wise to recompile the grammar with -the ``values`` optimization, and to ``strip`` the grammar before -GFCC translation. Here is an example, performed in +``pm = print_multi`` is used. It is wise to recompile the grammar from +source, since previously compiled libraries may not obey the canonical +order of records. To ``strip`` the grammar before +GFCC translation removes unnecessary interface references. +Here is an example, performed in [example/bronzeage ../../../../../examples/bronzeage]. ``` i -src -path=.:prelude:resource-1.0/* -optimize=values BronzeageEng.gf + i -src -path=.:prelude:resource-1.0/* -optimize=values BronzeageGer.gf strip pm -printer=gfcc | wf bronze.gfcc ``` @@ -520,7 +523,7 @@ The reference interpreter written in Haskell consists of the following files: AbsGFCC.hs -- abstrac syntax of gfcc ErrM.hs -- error monad used internally LexGFCC.hs -- lexer of gfcc files - ParGFCC.hs -- parser of gfcc files + ParGFCC.hs -- parser of gfcc files and syntax trees PrintGFCC.hs -- printer of gfcc files and syntax trees -- hand-written files @@ -542,11 +545,16 @@ in ``GF/src``. To run it, type ``` The available commands are - ``gr <Cat> <Int>``: generate a number of random trees in category. - with their linearizations in all languages + and show their linearizations in all languages +- ``grt <Cat> <Int>``: generate a number of random trees in category. + and show the trees and their linearizations in all languages - ``gt <Cat> <Int>``: generate a number of trees in category from smallest, - with their linearizations in all languages -- ``p <Cat> <String>``: "parse", i.e. generate trees until match or time-out -- ``<Tree>``: linearize tree in all languages + and show their linearizations in all languages +- ``gtt <Cat> <Int>``: generate a number of trees in category from smallest, + and show the trees and their linearizations in all languages +- ``p <Int> <Cat> <String>``: "parse", i.e. generate trees until match or + until the given number have been generated +- ``<Tree>``: linearize tree in all languages, also showing full records - ``quit``: terminate the system cleanly |