WebBits-0.11.0: JavaScript analysis tools
WebBits.JavaScript.Environment
Synopsis
staticEnvironment :: [Statement SourcePos] -> ([Statement Ann], Env, Env, Int)Source
Annotates each expression with its static environment. In addition, a map of free identifiers is returned, along with the next valid label.
type Ann = (Env, Int, SourcePos)Source
type LabelledStatement = Statement AnnSource
type LabelledExpression = Expression AnnSource
type Env = Map String IntSource