Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Stencils.Annotation

Contents

Orphan instances

Linkable (Analysis Annotation) Source #
Methods link :: Analysis Annotation -> Block (Analysis Annotation) -> Analysis Annotation Source # linkPU :: Analysis Annotation -> ProgramUnit (Analysis Annotation) -> Analysis Annotation Source #
ASTEmbeddable (Analysis Annotation) Specification Source #
Methods annotateWithAST :: Analysis Annotation -> Specification -> Analysis Annotation Source #