From 055c0d0d5a5bb0dc75904fe53df7f2e4f5732a8f Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 21 May 2008 09:26:44 +0000 Subject: GF/src is now for 2.9, and the new sources are in src-3.0 - keep it this way until the release of GF 3 --- src-3.0/GF/UseGrammar/MatchTerm.hs | 50 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 50 insertions(+) create mode 100644 src-3.0/GF/UseGrammar/MatchTerm.hs (limited to 'src-3.0/GF/UseGrammar/MatchTerm.hs') diff --git a/src-3.0/GF/UseGrammar/MatchTerm.hs b/src-3.0/GF/UseGrammar/MatchTerm.hs new file mode 100644 index 000000000..9acffd44c --- /dev/null +++ b/src-3.0/GF/UseGrammar/MatchTerm.hs @@ -0,0 +1,50 @@ +---------------------------------------------------------------------- +-- | +-- Module : MatchTerm +-- Maintainer : AR +-- Stability : (stable) +-- Portability : (portable) +-- +-- +-- functions for matching with terms. AR 16/3/2006 +----------------------------------------------------------------------------- + +module GF.UseGrammar.MatchTerm where + +import GF.Data.Operations +import GF.Data.Zipper + +import GF.Grammar.Grammar +import GF.Grammar.PrGrammar +import GF.Infra.Ident +import GF.Grammar.Values +import GF.Grammar.Macros +import GF.Grammar.MMacros + +import Control.Monad +import Data.List + +-- test if a term has duplicated idents, either any or just atoms + +hasDupIdent, hasDupAtom :: Exp -> Bool +hasDupIdent = (>1) . maximum . map length . group . sort . allConstants True +hasDupAtom = (>1) . maximum . map length . group . sort . allConstants False + +-- test if a certain ident occurs in term + +grepIdent :: Ident -> Exp -> Bool +grepIdent c = elem c . allConstants True + +-- form the list of all constants, optionally ignoring all but atoms + +allConstants :: Bool -> Exp -> [Ident] +allConstants alsoApp = err (const []) snd . flip appSTM [] . collect where + collect e = case e of + Q _ c -> add c e + QC _ c -> add c e + Cn c -> add c e + App f a | not alsoApp -> case f of + App g b -> collect b >> collect a + _ -> collect a + _ -> composOp collect e + add c e = updateSTM (c:) >> return e -- cgit v1.2.3