Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich, Christian Maeder and Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Common.AnnoParser

Description

Parsers for annotations and annoted items

Follows Chap. II:5 of the CASL Reference Manual.

uses Lexer, Keywords and Token rather than CaslLanguage

semantic annotations now end immediately after the keyword!

Documentation

annotationL :: GenParser Char st Annotation

annotations :: GenParser Char st [Annotation]

fromPos :: Pos -> SourcePos

parseAnno :: Annotation -> Pos -> Either ParseError Annotation

parseAnnoId :: GenParser Char st Id

commentLine :: GenParser Char st Annotation

newlineOrEof :: GenParser Char st ()