Safe Haskell	None
Language	Haskell2010

CommonParserUtil

Documentation

type RegExpStr = String Source #

type LexFun token = String -> Maybe token Source #

type LexerSpecList token = [(RegExpStr, LexFun token)] Source #

data LexerSpec token Source #

Constructors

LexerSpec
Fields endOfToken :: token lexerSpecList :: LexerSpecList token

type ProdRuleStr = String Source #

type ParseFun token ast = Stack token ast -> ast Source #

type ParserSpecList token ast = [(ProdRuleStr, ParseFun token ast)] Source #

data ParserSpec token ast Source #

Constructors

ParserSpec
Fields startSymbol :: String parserSpecList :: ParserSpecList token ast baseDir :: String actionTblFile :: String gotoTblFile :: String grammarFile :: String parserSpecFile :: String genparserexe :: String

data Spec token ast Source #

Constructors

Spec (LexerSpec token) (ParserSpec token ast)

type Line = Int Source #

type Column = Int Source #

data LexError Source #

Constructors

LexError Int Int String

Instances

Show LexError Source #
Instance details Defined in CommonParserUtil Methods showsPrec :: Int -> LexError -> ShowS # show :: LexError -> String # showList :: [LexError] -> ShowS #
Exception LexError Source #
Instance details Defined in CommonParserUtil Methods toException :: LexError -> SomeException # fromException :: SomeException -> Maybe LexError # displayException :: LexError -> String #

prLexError :: LexError -> IO () Source #

lexing :: TokenInterface token => LexerSpec token -> String -> IO [Terminal token] Source #

lexing_ :: TokenInterface token => LexerSpec token -> Line -> Column -> String -> IO [Terminal token] Source #

matchLexSpec :: TokenInterface token => Line -> Column -> LexerSpecList token -> String -> IO (String, String, Maybe token) Source #

moveLineCol :: Line -> Column -> String -> (Line, Column) Source #

data ParseError token ast where Source #

Constructors

NotFoundAction :: (TokenInterface token, Typeable token, Typeable ast, Show token, Show ast) => Terminal token -> Int -> Stack token ast -> ActionTable -> GotoTable -> ProdRules -> [Terminal token] -> ParseError token ast
NotFoundGoto :: (TokenInterface token, Typeable token, Typeable ast, Show token, Show ast) => Int -> String -> Stack token ast -> ActionTable -> GotoTable -> ProdRules -> [Terminal token] -> ParseError token ast

Instances

(Show token, Show ast) => Show (ParseError token ast) Source #
Instance details Defined in CommonParserUtil Methods showsPrec :: Int -> ParseError token ast -> ShowS # show :: ParseError token ast -> String # showList :: [ParseError token ast] -> ShowS #
(TokenInterface token, Typeable token, Show token, Typeable ast, Show ast) => Exception (ParseError token ast) Source #
Instance details Defined in CommonParserUtil Methods toException :: ParseError token ast -> SomeException # fromException :: SomeException -> Maybe (ParseError token ast) # displayException :: ParseError token ast -> String #

prParseError :: ParseError token ast -> IO () Source #

parsing :: (TokenInterface token, Typeable token, Typeable ast, Show token, Show ast) => ParserSpec token ast -> [Terminal token] -> IO ast Source #

removeIfExists :: FilePath -> IO () Source #

data StkElem token ast Source #

Constructors

StkState Int
StkTerminal (Terminal token)
StkNonterminal (Maybe ast) String

Instances

TokenInterface token => Eq (StkElem token ast) Source #
Instance details Defined in CommonParserUtil Methods (==) :: StkElem token ast -> StkElem token ast -> Bool # (/=) :: StkElem token ast -> StkElem token ast -> Bool #

type Stack token ast = [StkElem token ast] Source #

emptyStack :: [a] Source #

get :: Stack token ast -> Int -> ast Source #

getText :: Stack token ast -> Int -> String Source #

push :: a -> [a] -> [a] Source #

pop :: [a] -> (a, [a]) Source #

prStack :: TokenInterface token => Stack token ast -> String Source #

currentState :: Stack token ast -> Int Source #

tokenTextFromTerminal :: TokenInterface token => Terminal token -> String Source #

lookupActionTable :: TokenInterface token => ActionTable -> Int -> Terminal token -> Maybe Action Source #

lookupGotoTable :: GotoTable -> Int -> String -> Maybe Int Source #

lookupTable :: (Eq a, Show a) => [(a, b)] -> a -> String -> Maybe b Source #

revTakeRhs :: Int -> [a] -> [a] Source #

initState :: Int Source #

type ParseFunList token ast = [ParseFun token ast] Source #

runAutomaton :: (TokenInterface token, Typeable token, Typeable ast, Show token, Show ast) => ActionTable -> GotoTable -> ProdRules -> ParseFunList token ast -> [Terminal token] -> IO ast Source #

flag :: Bool Source #

debug :: String -> IO () Source #

prlevel :: Int -> [Char] Source #

data Candidate Source #

Constructors

TerminalSymbol String
NonterminalSymbol String

Instances

Eq Candidate Source #
Instance details Defined in CommonParserUtil Methods (==) :: Candidate -> Candidate -> Bool # (/=) :: Candidate -> Candidate -> Bool #
Show Candidate Source #
Instance details Defined in CommonParserUtil Methods showsPrec :: Int -> Candidate -> ShowS # show :: Candidate -> String # showList :: [Candidate] -> ShowS #

data Automaton token ast Source #

Constructors

Automaton
Fields actTbl :: ActionTable gotoTbl :: GotoTable prodRules :: ProdRules

compCandidates :: (TokenInterface token, Typeable token, Typeable ast, Show token, Show ast) => Bool -> Int -> [Candidate] -> Int -> Automaton token ast -> Stack token ast -> IO [[Candidate]] Source #

compGammas :: (TokenInterface token, Typeable token, Typeable ast, Show token, Show ast) => Bool -> Int -> [Candidate] -> Int -> Automaton token ast -> Stack token ast -> [(Int, Stack token ast, String)] -> IO [[Candidate]] Source #

checkCycle :: (Eq a1, TokenInterface token, Show a1) => Bool -> Int -> a1 -> [StkElem token ast] -> [Char] -> [(a1, [StkElem token ast], [Char])] -> ([(a1, [StkElem token ast], [Char])] -> IO [a2]) -> IO [a2] Source #

noCycleCheck :: Bool Source #

compGammasForReduce :: (TokenInterface token, Typeable token, Typeable ast, Show token, Show ast) => Int -> Bool -> [Candidate] -> p -> Automaton token ast -> [StkElem token ast] -> [(Int, Stack token ast, String)] -> Int -> IO [[Candidate]] Source #

successfullyParsed :: IO [EmacsDataItem] Source #

handleLexError :: IO [EmacsDataItem] Source #

handleParseError :: Bool -> ParseError token ast -> IO [EmacsDataItem] Source #

_handleParseError :: (Typeable token1, Typeable ast, Show token1, Show ast, TokenInterface token1, TokenInterface token2) => Bool -> Int -> Stack token1 ast -> ActionTable -> GotoTable -> ProdRules -> [Terminal token2] -> IO [EmacsDataItem] Source #

showSymbol :: Candidate -> String Source #

showRawSymbol :: Candidate -> String Source #

concatStrList :: [[Char]] -> [Char] Source #