diff options
| author | aarne <aarne@cs.chalmers.se> | 2005-12-01 17:58:31 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2005-12-01 17:58:31 +0000 |
| commit | da22eac1803ea4e29dd88888157918878f75d149 (patch) | |
| tree | 91d01a6110cc9159a93e729a56b68f2d7ad9dfac /src/HelpFile | |
| parent | 56f62f31d88348e25636e13d9f8f57a04c1b0b74 (diff) | |
making apply_transfer work
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/HelpFile b/src/HelpFile index c446d9c2c..d87be7d05 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -22,6 +22,7 @@ i, import: i File .gfe example-based grammar files (only with the -ex option) .ebnf Extended BNF format .cf Context-free (BNF) format + .trc TransferCore format options: -old old: parse in GF<2.0 format (not necessary) -v verbose: give lots of messages @@ -190,6 +191,15 @@ p, parse: p String p -cat=S -mcfg "jag är gammal" -- parse an S with the MCFG rf examples.txt | p -lines -- parse each non-empty line of the file +at, apply_transfer: at (Module.Fun | Fun) + Transfer a term using Fun from Module, or the topmost transfer + module. Transfer modules are given in the .trc format. They are + shown by the 'po' command. + flags: + -lang typecheck the result in this lang instead of default lang + examples: + p -lang=Cncdecimal "123" | at num2bin | l -- convert dec to bin + tt, test_tokenizer: tt String Show the token list sent to the parser when String is parsed. HINT: can be useful when debugging the parser. @@ -559,6 +569,7 @@ q, quit: q -printer=unpar a gfc grammar with parameters eliminated -printer=functiongraph abstract syntax functions in 'dot' format -printer=typegraph abstract syntax categories in 'dot' format + -printer=transfer Transfer language datatype (.tr file format) -printer=gfcm M gfcm file (default for pm) -printer=header M gfcm file with header (for GF embedded in Java) -printer=graph M module dependency graph in 'dot' (graphviz) format |