State in HERMIT

Jump to bottom Edit New page

andygill edited this page Jun 26, 2012 · 5 revisions

HERMIT has state. Here is a break down of what we have.

AST / ModGuts

We have a map of ModGuts AST's.

ASTs : AST -> ModGuts

were AST is an Int label.

Properties

An AST's id number is always higher that its parent

Scoped AST

ScopedASTs : ScopedAST -> ModGuts x Path x [Path]

Commands

Commands changes things. We record this using a list.

Commands : [ ScopedASTs x Command x ScopedASTs ]