Hets - the Heterogeneous Tool Set

Copyright(c) Maciek Makowski Uni Bremen 2002-2016
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Grothendieck)
Safe HaskellNone

Syntax.Parse_AS_Library

Description

Parser for CASL specification libraries Follows Sect. II:3.1.5 of the CASL Reference Manual. Parser for DOL documents Follows the DOL OMG standard, clause 9.3

Synopsis

Documentation

library :: LogicGraph -> AParser st LIB_DEFN Source #

Parse a library of specifications