Hets - the Heterogeneous Tool Set

Copyright(c) Maciek Makowski Warsaw University 2003-2004 C. Maeder
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (via imports)
Safe HaskellNone

Syntax.Parse_AS_Architecture

Description

Parser for CASL architectural specifications Follows Sect. II:3.1.4 of the CASL Reference Manual plus refinement extensions

Synopsis

Documentation

unitSpec :: LogicGraph -> AParser st UNIT_SPEC Source #

Parse unit specification UNIT-SPEC ::= GROUP-SPEC GROUP-SPEC * .. * GROUP-SPEC -> GROUP-SPEC closed UNIT-SPEC

annotedArchSpec :: LogicGraph -> AParser st (Annoted ARCH_SPEC) Source #

Parse annotated architectural specification