From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 25 Jun 2008 16:54:35 +0000
Subject: changed names of resource-1.3; added a note on homepage on release

---
 src/GF/Command/Parse.hs | 48 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100644 src/GF/Command/Parse.hs

(limited to 'src/GF/Command/Parse.hs')

diff --git a/src/GF/Command/Parse.hs b/src/GF/Command/Parse.hs
new file mode 100644
index 000000000..eaf4cba84
--- /dev/null
+++ b/src/GF/Command/Parse.hs
@@ -0,0 +1,48 @@
+module GF.Command.Parse(readCommandLine, pCommand) where
+
+import PGF.Expr
+import PGF.Data(Tree)
+import GF.Command.Abstract
+
+import Data.Char
+import Control.Monad
+import qualified Text.ParserCombinators.ReadP as RP
+
+readCommandLine :: String -> Maybe CommandLine
+readCommandLine s = case [x | (x,cs) <- RP.readP_to_S pCommandLine s, all isSpace cs] of
+                      [x] -> Just x
+                      _   -> Nothing
+
+test s = RP.readP_to_S pCommandLine s 
+
+pCommandLine = RP.sepBy (RP.skipSpaces >> pPipe) (RP.skipSpaces >> RP.char ';')
+
+pPipe = RP.sepBy1 (RP.skipSpaces >> pCommand) (RP.skipSpaces >> RP.char '|')
+
+pCommand = do
+  cmd  <- pIdent RP.<++ (RP.char '%' >> pIdent >>= return . ('%':))
+  RP.skipSpaces
+  opts <- RP.sepBy pOption RP.skipSpaces
+  arg  <- pArgument
+  return (Command cmd opts arg)
+
+pOption = do
+  RP.char '-'
+  flg <- pIdent
+  RP.option (OOpt flg) (fmap (OFlag flg) (RP.char '=' >> pValue))
+
+pValue = do
+  fmap (VInt . read) (RP.munch1 isDigit)
+  RP.<++
+  fmap VStr pStr
+  RP.<++
+  fmap VId  pFilename
+
+pFilename = liftM2 (:) (RP.satisfy isFileFirst) (RP.munch (not . isSpace)) where
+  isFileFirst c = not (isSpace c) && not (isDigit c)
+
+pArgument =          
+  RP.option ANoArg 
+    (fmap ATree (pTree False)
+              RP.<++ 
+    (RP.munch isSpace >> RP.char '%' >> fmap AMacro pIdent))
-- 
cgit v1.2.3