Safe Haskell	Safe-Inferred
Language	Haskell2010

Semantic

Documentation

analyze :: Program -> Either [CompileError] (ASTRoot, SemanticInfo) Source #

data SymbolTable Source #

Constructors

SymbolTable
Fields scopeID :: ScopeID parent :: Maybe SymbolTable importSymbols :: Maybe (Map Name ImportDecl) variableSymbols :: Map Name FieldDecl methodSymbols :: Maybe (Map Name MethodDecl) arguments :: Maybe (Map Name Argument) blockType :: BlockType methodSig :: Maybe MethodSig

Instances

Instances details

Generic SymbolTable Source #
Instance details Defined in Semantic Associated Types type Rep SymbolTable :: Type -> Type # Methods from :: SymbolTable -> Rep SymbolTable x # to :: Rep SymbolTable x -> SymbolTable #
Show SymbolTable Source #
Instance details Defined in Semantic Methods showsPrec :: Int -> SymbolTable -> ShowS # show :: SymbolTable -> String # showList :: [SymbolTable] -> ShowS #
type Rep SymbolTable Source #
Instance details Defined in Semantic type Rep SymbolTable = D1 ('MetaData "SymbolTable" "Semantic" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "SymbolTable" 'PrefixI 'True) (((S1 ('MetaSel ('Just "scopeID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScopeID) :: S1 ('MetaSel ('Just "parent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SymbolTable))) :: (S1 ('MetaSel ('Just "importSymbols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Name ImportDecl))) :: S1 ('MetaSel ('Just "variableSymbols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Name FieldDecl)))) :: ((S1 ('MetaSel ('Just "methodSymbols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Name MethodDecl))) :: S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Name Argument)))) :: (S1 ('MetaSel ('Just "blockType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockType) :*: S1 ('MetaSel ('Just "methodSig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe MethodSig))))))

data SemanticInfo Source #

Constructors

SemanticInfo
Fields symbolTables :: !(Map ScopeID SymbolTable) symbolWrites :: !(Map ScopeID (Set (ScopeID, Name)))

Instances

Instances details

Generic SemanticInfo Source #
Instance details Defined in Semantic Associated Types type Rep SemanticInfo :: Type -> Type # Methods from :: SemanticInfo -> Rep SemanticInfo x # to :: Rep SemanticInfo x -> SemanticInfo #
Show SemanticInfo Source #
Instance details Defined in Semantic Methods showsPrec :: Int -> SemanticInfo -> ShowS # show :: SemanticInfo -> String # showList :: [SemanticInfo] -> ShowS #
type Rep SemanticInfo Source #
Instance details Defined in Semantic type Rep SemanticInfo = D1 ('MetaData "SemanticInfo" "Semantic" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "SemanticInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "symbolTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map ScopeID SymbolTable)) :*: S1 ('MetaSel ('Just "symbolWrites") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map ScopeID (Set (ScopeID, Name))))))

data BlockType Source #

Constructors

RootBlock
IfBlock
ForBlock
WhileBlock
MethodBlock

Instances

Instances details

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

lookupLocalVariableFromST :: Name -> SymbolTable -> Maybe (Either Argument FieldDecl) Source #

lookupLocalMethodFromST :: Name -> SymbolTable -> Maybe (Either ImportDecl MethodDecl) Source #