diff options
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/HelpFile.hs | 12 | ||||
| -rw-r--r-- | src/GF/Shell/PShell.hs | 7 | ||||
| -rw-r--r-- | src/GF/Shell/ShellCommands.hs | 6 |
3 files changed, 18 insertions, 7 deletions
diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index 84069ec2b..6a95ff7bf 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/06/10 21:04:01 $ +-- > CVS $Date: 2005/06/20 16:14:19 $ -- > CVS $Author: aarne $ --- > CVS $Revision: 1.5 $ +-- > CVS $Revision: 1.6 $ -- -- Help on shell commands. Generated from HelpFile by 'make help'. -- PLEASE DON'T EDIT THIS FILE. @@ -310,6 +310,14 @@ txtHelpFile = "\n flags:" ++ "\n -c compute the resulting new tree to normal form" ++ "\n" ++ + "\nvt, visualize_tree: vt Tree" ++ + "\n Shows the abstract syntax tree via dot and gv (via temporary files" ++ + "\n grphtmp.dot, grphtmp.ps)." ++ + "\n flags:" ++ + "\n -c show categories only (no functions)" ++ + "\n -f show functions only (no categories)" ++ + "\n -g show as graph (sharing uses of the same function)" ++ + "\n" ++ "\n-- subshells" ++ "\n" ++ "\nes, editing_session: es" ++ diff --git a/src/GF/Shell/PShell.hs b/src/GF/Shell/PShell.hs index 169e7315f..b555317aa 100644 --- a/src/GF/Shell/PShell.hs +++ b/src/GF/Shell/PShell.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/05/20 14:34:11 $ --- > CVS $Author: bringert $ --- > CVS $Revision: 1.24 $ +-- > CVS $Date: 2005/06/20 16:14:20 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.25 $ -- -- parsing GF shell commands. AR 11\/11\/2001 ----------------------------------------------------------------------------- @@ -145,6 +145,7 @@ pCommand ws = case ws of "px" : [] -> aUnit CPrintCanonXML "pm" : [] -> aUnit CPrintMultiGrammar "vg" : [] -> aUnit CShowGrammarGraph + "vt" : s -> aTerm CShowTreeGraph s "sg" : [] -> aUnit CPrintSourceGrammar "po" : [] -> aUnit CPrintGlobalOptions "pl" : [] -> aUnit CPrintLanguages diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs index 687d57bee..e2b809b21 100644 --- a/src/GF/Shell/ShellCommands.hs +++ b/src/GF/Shell/ShellCommands.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/06/10 21:04:01 $ +-- > CVS $Date: 2005/06/20 16:14:20 $ -- > CVS $Author: aarne $ --- > CVS $Revision: 1.37 $ +-- > CVS $Revision: 1.38 $ -- -- The datatype of shell commands and the list of their options. ----------------------------------------------------------------------------- @@ -75,6 +75,7 @@ data Command = | CPrintMultiGrammar | CPrintSourceGrammar | CShowGrammarGraph + | CShowTreeGraph | CPrintGramlet | CPrintCanonXML | CPrintCanonXMLStruct @@ -190,6 +191,7 @@ optionsOfCommand co = case co of CSpeakAloud -> flags "language" CPutString -> both "utf8" "filter length" CShowTerm -> flags "printer" + CShowTreeGraph -> opts "c f g" CSystemCommand _ -> none CPrintGrammar -> both "utf8" "printer lang" |