Portability	GHC-only
Stability	experimental
Maintainer	fontaine@cs.uni-duesseldorf.de
Safe Haskell	None

SableCC.ParserTypes

Description

All types used by the Haskell implementation of the parser and lexer. This also defines the types of the tables that are exported by the Haskell modules that the tool generates.

Documentation

type Modes = Array ModeID (ModeName, Mode)Source

type ModeName = String Source

newtype ModeID Source

Constructors

ModeID
Fields unModeID :: Int

Instances

Enum ModeID
Eq ModeID
Ord ModeID
Show ModeID
Ix ModeID

data Mode Source

Constructors

Mode
Fields modeStates :: Array LexStateID State

newtype LexStateID Source

Constructors

LexStateID Int

Instances

Enum LexStateID
Eq LexStateID
Ord LexStateID
Show LexStateID
Ix LexStateID

data State Source

Constructors

State
Fields stateTransitions :: IntervalTree stateAcceptedToken :: Maybe LexTokenID

data TransitionTarget Source

Constructors

Epsilon LexStateID
NotEpsilon LexStateID

Instances

Eq TransitionTarget
Ord TransitionTarget
Show TransitionTarget

newtype LexTokenID Source

Constructors

LexTokenID Int

Instances

Enum LexTokenID
Eq LexTokenID
Ord LexTokenID
Show LexTokenID
Ix LexTokenID

data LexerState Source

Constructors

LexerState
Fields lexerMode :: ModeID lexerBuffer :: String srcPos :: () commentNestingCounter :: !Int

initLexerState :: String -> LexerState Source

type SToken = (LexTokenID, String)Source

data IntervalTree Source

Constructors

IntervalNode IntervalTree Char TransitionTarget Char IntervalTree
IntervalLeaf

Instances

Show IntervalTree

lookupInterval :: Char -> IntervalTree -> Maybe TransitionTarget Source

newtype ParserStateID Source

Constructors

ParserStateID
Fields fromParserStateID :: Int

Instances

Enum ParserStateID
Eq ParserStateID
Ord ParserStateID
Show ParserStateID
Ix ParserStateID

type ErrorMsg = String Source

type GotoTable = Array GotoIndex GotoMap Source

data GotoMap Source

Constructors

GotoMap
Fields defaultGoto :: ParserStateID gotoMap :: Map ParserStateID ParserStateID

newtype GotoIndex Source

Constructors

GotoIndex
Fields unGotoIndex :: Int

Instances

Enum GotoIndex
Eq GotoIndex
Ord GotoIndex
Show GotoIndex
Ix GotoIndex

type ActionTable = Array ParserStateID TransitionList Source

data TransitionList Source

Constructors

TransitionList
Fields defaultTransition :: Action transitionMap :: Map ParserTokenID Action

data Action Source

Constructors

Shift ParserStateID
Reduce Reduction
Accept
Error ErrorID

Instances

Show Action

data Reduction Source

Constructors

Reduction
Fields reductionID :: ReductionID popCount :: Int gotoIndex :: GotoIndex

Instances

Show Reduction

newtype ReductionID Source

Constructors

ReductionID
Fields unReductionID :: Int

Instances

Enum ReductionID
Eq ReductionID
Ord ReductionID
Show ReductionID
Ix ReductionID

newtype ErrorID Source

Constructors

ErrorID
Fields unErrorID :: Int

Instances

Enum ErrorID
Eq ErrorID
Ord ErrorID
Show ErrorID
Ix ErrorID

type PToken = (ParserTokenID, String)Source

newtype ParserTokenID Source

Constructors

ParserTokenID Int

Instances

Enum ParserTokenID
Eq ParserTokenID
Ord ParserTokenID
Show ParserTokenID
Ix ParserTokenID

data CST Source

Constructors

CstLeaf PToken
CstNode ReductionID [CST]

Instances

Show CST