Language.ECMAScript3.Analysis.LabelSet

Label-set analysis which annotates all the statements in the script with their label sets according to ECMAScript specification, section 12.12. The result of this analysis are useful for building control-flow graphs.

Documentation

annotateLabelSets

Arguments

:: Data a

=> (a -> Set Label)

annotation read function

-> (Set Label -> a -> a)

annotation write function

-> JavaScript a

the script to annotate

-> JavaScript a

Annotates statements with their label sets. Assuming you've also imported Annotations, Arrow and Set, the example use would be:

lsAnalysis :: JavaScript a -> JavaScript (a, Set Label)  
lsAnalysis = annotateLabelSets snd (\labs -> second $ union labs) . reannotate (a -> (a, empty))

data Label

Labels are either strings (identifiers) or empty (see 12.12 of the spec)

Constructors

Label String

EmptyLabel

Instances

Eq Label

Data Label

Ord Label

Show Label