Camfort.Specification.Stencils.Annotation

Routines for associating annotations to ASTs

Orphan instances

Linkable (Analysis Annotation)

Methods

link :: Analysis Annotation -> Block (Analysis Annotation) -> Analysis Annotation

linkPU :: Analysis Annotation -> ProgramUnit (Analysis Annotation) -> Analysis Annotation

linkMultiple :: [Block (Analysis Annotation)] -> [Block (Analysis Annotation)] -> ([Block (Analysis Annotation)], [Block (Analysis Annotation)])

linkMultiplePUs :: [ProgramUnit (Analysis Annotation)] -> [ProgramUnit (Analysis Annotation)] -> ([ProgramUnit (Analysis Annotation)], [ProgramUnit (Analysis Annotation)])

ASTEmbeddable (Analysis Annotation) Specification

Methods

annotateWithAST :: Analysis Annotation -> Specification -> Analysis Annotation