From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:54:35 +0000 Subject: changed names of resource-1.3; added a note on homepage on release --- old-examples/unix/Unix.gf | 43 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 old-examples/unix/Unix.gf (limited to 'old-examples/unix/Unix.gf') diff --git a/old-examples/unix/Unix.gf b/old-examples/unix/Unix.gf new file mode 100644 index 000000000..ea5e2c2af --- /dev/null +++ b/old-examples/unix/Unix.gf @@ -0,0 +1,43 @@ +abstract Unix = Char ** { + + cat + S ; -- whole command line + Command ; -- one command + File ; -- file name + Word ; -- string e.g. in grep + [Word] {1} ; -- + + fun + +-- Catch-all: command dictated letter by letter. + + CommWords : [Word] -> Command ; + +-- General command-line structure. + + Redirect : S -> File -> S ; -- cs >f + Pipe : S -> Command -> S ; -- cs | c + Comm : Command -> S ; -- c + +--- This would be cool, but is it supported by speech recognition? +--- CommOpt : (c : Command) -> [Option c] -> S ; -- c -o -k + + WhatTime : Command ; + WhatDate : Command ; + WhereNow : Command ; + Remove : File -> Command ; + Copy : File -> File -> Command ; + Linecount : File -> Command ; + Wordcount : File -> Command ; + Grep : Word -> File -> Command ; + Cat : File -> Command ; + + It : File ; -- no file name - contents received from pipe + + FileChars : [Chr] -> File ; + WordChars : [Chr] -> Word ; + + FileSuffix : Word -> File ; -- *suff + FilePrefix : Word -> File ; -- pref* + +} -- cgit v1.2.3