BNFC.Backend.Common.NamedVariables

Documentation

type IVar = (String, Int)

type UserDef = TokenCat

type SymEnv = KeywordEnv

A symbol-mapping environment.

type KeywordEnv = [(String, String)]

Map keywords to their token name.

type SymMap = Map SymKey String

Map keywords and user-defined token types to their token name.

data SymKey

Constructors

Keyword String

Keyword like "(", "while", "true", ...

Tokentype String

Token type like Integer, Char, ...

Instances

Show SymKey

Defined in BNFC.Backend.Common.NamedVariables

Methods

showsPrec :: Int -> SymKey -> ShowS

show :: SymKey -> String

showList :: [SymKey] -> ShowS

Eq SymKey

Defined in BNFC.Backend.Common.NamedVariables

Methods

(==) :: SymKey -> SymKey -> Bool

(/=) :: SymKey -> SymKey -> Bool

Ord SymKey

Defined in BNFC.Backend.Common.NamedVariables

Methods

compare :: SymKey -> SymKey -> Ordering

(<) :: SymKey -> SymKey -> Bool

(<=) :: SymKey -> SymKey -> Bool

(>) :: SymKey -> SymKey -> Bool

(>=) :: SymKey -> SymKey -> Bool

max :: SymKey -> SymKey -> SymKey

min :: SymKey -> SymKey -> SymKey

getVars :: [Cat] -> [IVar]

Converts a list of categories into their types to be used as instance variables. If a category appears only once, it is given the number 0, if it appears more than once, its occurrences are numbered from 1. ex:

>>> getVars [Cat "A", Cat "B", Cat "A"]
[("A",1),("B",0),("A",2)]

numVars :: [Either Cat a] -> [Either (Cat, Doc) a]

Anotate the right hand side of a rule with variable names for the non-terminals. >>> numVars [Left (Cat A), Right "+", Left (Cat B)] [Left (A,a_),Right "+",Left (B,b_)] >>> numVars [Left (Cat A), Left (Cat A), Right ";"] [Left (A,a_1),Left (A,a_2),Right ";"]

fixCoercions :: [(Cat, [Rule])] -> [(Cat, [Rule])]

varName :: String -> String

showNum :: Int -> String

firstLowerCase :: String -> String