forked from GitHub/gf-core
Embed/TemplateApp
This commit is contained in:
@@ -15,13 +15,15 @@
|
||||
|
||||
module GF.Embed.EmbedAPI where
|
||||
|
||||
import GF.Compile.ShellState (ShellState,grammar2shellState,canModules,stateGrammarOfLang,abstract,grammar)
|
||||
import GF.Compile.ShellState (ShellState,grammar2shellState,canModules,stateGrammarOfLang,abstract,grammar,firstStateGrammar,allLanguages,allCategories)
|
||||
import GF.UseGrammar.Linear (linTree2string)
|
||||
import GF.UseGrammar.GetTree (string2tree)
|
||||
import GF.Embed.EmbedParsing (parseString)
|
||||
import GF.Canon.CMacros (noMark)
|
||||
import GF.Grammar.Grammar (Trm)
|
||||
import GF.Grammar.MMacros (exp2tree)
|
||||
import GF.Grammar.Macros (zIdent)
|
||||
import GF.Grammar.PrGrammar (prt_)
|
||||
import GF.Grammar.Values (tree2exp)
|
||||
import GF.Grammar.TypeCheck (annotate)
|
||||
import GF.Canon.GetGFC (getCanonGrammar)
|
||||
@@ -47,9 +49,19 @@ type Category = String
|
||||
type Tree = Trm
|
||||
|
||||
file2grammar :: FilePath -> IO MultiGrammar
|
||||
|
||||
linearize :: MultiGrammar -> Language -> Tree -> String
|
||||
parse :: MultiGrammar -> Language -> Category -> String -> [Tree]
|
||||
|
||||
linearizeAll :: MultiGrammar -> Tree -> [String]
|
||||
parseAll :: MultiGrammar -> Category -> String -> [[Tree]]
|
||||
|
||||
readTree :: MultiGrammar -> String -> Tree
|
||||
showTree :: Tree -> String
|
||||
|
||||
languages :: MultiGrammar -> [Language]
|
||||
categories :: MultiGrammar -> [Category]
|
||||
|
||||
---------------------------------------------------
|
||||
-- Implementation
|
||||
---------------------------------------------------
|
||||
@@ -76,3 +88,15 @@ parse mgr lang cat =
|
||||
sgr = stateGrammarOfLang mgr (zIdent lang)
|
||||
cfcat = string2CFCat abs cat
|
||||
abs = maybe (error "no abstract syntax") prIdent $ abstract mgr
|
||||
|
||||
linearizeAll mgr t = [linearize mgr lang t | lang <- languages mgr]
|
||||
|
||||
parseAll mgr cat s = [parse mgr lang cat s | lang <- languages mgr]
|
||||
|
||||
readTree mgr s = tree2exp $ string2tree (firstStateGrammar mgr) s
|
||||
|
||||
showTree t = prt_ t
|
||||
|
||||
languages mgr = [prt_ l | l <- allLanguages mgr]
|
||||
|
||||
categories mgr = [prt_ c | (_,c) <- allCategories mgr]
|
||||
|
||||
Reference in New Issue
Block a user