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 Source #

annotations :: GenParser Char st [Annotation] Source #

fromPos :: Pos -> SourcePos Source #

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

parseAnnoId :: GenParser Char st Id Source #

commentLine :: GenParser Char st Annotation Source #

newlineOrEof :: GenParser Char st () Source #