summaryrefslogtreecommitdiff
path: root/src/GF/Canon/CanonToJS.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-12-13 22:05:14 +0000
committeraarne <aarne@cs.chalmers.se>2007-12-13 22:05:14 +0000
commited5a85ce1d48e8a8c4c151c19b5dc3adf55ce4cb (patch)
tree50932c944af3e5a32e995efd4ca6927c94244a22 /src/GF/Canon/CanonToJS.hs
parentb447cf1a047a6f6e1c4945e809bffa57c88a08af (diff)
removed gfcc via gfc everywhere; workaround for russian in present
Diffstat (limited to 'src/GF/Canon/CanonToJS.hs')
-rw-r--r--src/GF/Canon/CanonToJS.hs95
1 files changed, 0 insertions, 95 deletions
diff --git a/src/GF/Canon/CanonToJS.hs b/src/GF/Canon/CanonToJS.hs
deleted file mode 100644
index a88a2f46a..000000000
--- a/src/GF/Canon/CanonToJS.hs
+++ /dev/null
@@ -1,95 +0,0 @@
-module GF.Canon.CanonToJS (prCanon2js) where
-
-import GF.Canon.GFC
-import GF.Canon.CanonToGFCC
-import GF.Canon.Look
-import GF.Data.ErrM
-import GF.Infra.Option
-import qualified GF.GFCC.Macros as M
-import qualified GF.GFCC.DataGFCC as D
-import qualified GF.GFCC.DataGFCC as C
-import GF.GFCC.Raw.AbsGFCCRaw (CId(CId))
-import qualified GF.JavaScript.AbsJS as JS
-import qualified GF.JavaScript.PrintJS as JS
-
-
-import Control.Monad (mplus)
-import Data.Maybe (fromMaybe)
-import qualified Data.Map as Map
-
-prCanon2js :: Options -> CanonGrammar -> String
-prCanon2js opts gr = gfcc2js start $ mkCanon2gfcc gr
- where
- start = fromMaybe "S" (getOptVal opts gStartCat
- `mplus` getOptVal grOpts gStartCat)
- grOpts = errVal noOptions $ lookupOptionsCan gr
-
-gfcc2js :: String -> D.GFCC -> String
-gfcc2js start gfcc =
- JS.printTree $ JS.Program $ abstract2js start n as ++
- concatMap (concrete2js n) cs
- where
- n = D.absname gfcc
- as = D.abstract gfcc
- cs = Map.assocs (D.concretes gfcc)
-
-abstract2js :: String -> CId -> D.Abstr -> [JS.Element]
-abstract2js start (CId n) ds =
- [JS.ElStmt $ JS.SDeclOrExpr $ JS.Decl [JS.DInit a (new "Abstract" [JS.EStr start])]]
- ++ concatMap (absdef2js a) (Map.assocs (D.funs ds))
- where a = JS.Ident n
-
-absdef2js :: JS.Ident -> (CId,(C.Type,C.Exp)) -> [JS.Element]
-absdef2js a (CId f,(typ,_)) =
- let (args,CId cat) = M.catSkeleton typ in
- [JS.ElStmt $ JS.SDeclOrExpr $ JS.DExpr $ JS.ECall (JS.EMember (JS.EVar a) (JS.Ident "addType"))
- [JS.EStr f, JS.EArray [JS.EStr x | CId x <- args], JS.EStr cat]]
-
-concrete2js :: CId -> (CId,D.Concr) -> [JS.Element]
-concrete2js (CId a) (CId c, cnc) =
- [JS.ElStmt $ JS.SDeclOrExpr $ JS.Decl [JS.DInit l (new "Concrete" [JS.EVar (JS.Ident a)])]]
- ++ concatMap (cncdef2js l) ds
- where
- l = JS.Ident c
- ds = concatMap Map.assocs [D.lins cnc, D.opers cnc, D.lindefs cnc]
-
-cncdef2js :: JS.Ident -> (CId,C.Term) -> [JS.Element]
-cncdef2js l (CId f, t) =
- [JS.ElStmt $ JS.SDeclOrExpr $ JS.DExpr $ JS.ECall (JS.EMember (JS.EVar l) (JS.Ident "addRule")) [JS.EStr f, JS.EFun [children] [JS.SReturn (term2js l t)]]]
-
-term2js :: JS.Ident -> C.Term -> JS.Expr
-term2js l t = f t
- where
- f t =
- case t of
- C.R xs -> new "Arr" (map f xs)
- C.P x y -> JS.ECall (JS.EMember (f x) (JS.Ident "sel")) [f y]
- C.S xs -> mkSeq (map f xs)
- C.K t -> tokn2js t
- C.V i -> JS.EIndex (JS.EVar children) (JS.EInt i)
- C.C i -> new "Int" [JS.EInt i]
- C.F (CId f) -> JS.ECall (JS.EMember (JS.EVar l) (JS.Ident "rule")) [JS.EStr f, JS.EVar children]
- C.FV xs -> new "Variants" (map f xs)
- C.W str x -> new "Suffix" [JS.EStr str, f x]
- C.RP x y -> new "Rp" [f x, f y]
- C.TM -> new "Meta" []
-
-tokn2js :: C.Tokn -> JS.Expr
-tokn2js (C.KS s) = mkStr s
-tokn2js (C.KP ss vs) = mkSeq (map mkStr ss) -- FIXME
-
-mkStr :: String -> JS.Expr
-mkStr s = new "Str" [JS.EStr s]
-
-mkSeq :: [JS.Expr] -> JS.Expr
-mkSeq [x] = x
-mkSeq xs = new "Seq" xs
-
-argIdent :: Integer -> JS.Ident
-argIdent n = JS.Ident ("x" ++ show n)
-
-children :: JS.Ident
-children = JS.Ident "cs"
-
-new :: String -> [JS.Expr] -> JS.Expr
-new f xs = JS.ENew (JS.Ident f) xs