ZipperAG-0.4: An implementationg of Attribute Grammars using Functional Zippers

Safe Haskell	None

Language.Grammars.ZipperAG.Examples.DESK

Documentation

data Root Source

Constructors

Instances

Data Root
Show Root
Typeable Root

data Program Source

Constructors

PRINT Expression ConstPart

Instances

Data Program
Show Program
Typeable Program

data Expression Source

Constructors

Add Expression Factor
Fact Factor

Instances

Data Expression
Show Expression
Typeable Expression

data Factor Source

Constructors

Name ConstName
Number String

Instances

Data Factor
Show Factor
Typeable Factor

data ConstName Source

Constructors

Instances

Data ConstName
Show ConstName
Typeable ConstName

data ConstPart Source

Constructors

EmptyConstPart
WHERE ConstDefList

Instances

Data ConstPart
Show ConstPart
Typeable ConstPart

data ConstDefList Source

Constructors

Comma ConstDefList ConstDef
Def ConstDef

Instances

Data ConstDefList
Show ConstDefList
Typeable ConstDefList

data ConstDef Source

Constructors

Equal ConstName String

Instances

Data ConstDef
Show ConstDef
Typeable ConstDef

type SymbolTable = [(String, String)]Source

constructor :: Zipper Root -> String Source

(.$) :: Zipper a -> Int -> Zipper aSource

(.|) :: Zipper a -> Int -> Bool Source

parent :: Zipper a -> Zipper aSource

lexeme :: Zipper Root -> String Source

envi :: Zipper Root -> SymbolTable Source

code :: Zipper Root -> String Source

value :: Zipper Root -> String Source

ok :: Zipper Root -> Bool Source

name :: Zipper Root -> String Source

envs :: Zipper Root -> SymbolTable Source

isInST :: String -> SymbolTable -> Bool Source

getValue :: String -> SymbolTable -> String Source

expr :: Expression Source

deflst :: ConstPart Source

program :: Root Source

semantics :: Root -> IO ()Source