| Copyright | (c) Maciek Makowski, Warsaw University 2003-2004, C. Maeder |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable (via imports) |
| Safe Haskell | None |
Syntax.Parse_AS_Architecture
Description
Parser for CASL architectural specifications Follows Sect. II:3.1.4 of the CASL Reference Manual plus refinement extensions
- unitSpec :: LogicGraph -> AParser st UNIT_SPEC
- refSpec :: LogicGraph -> AParser st REF_SPEC
- annotedArchSpec :: LogicGraph -> AParser st (Annoted ARCH_SPEC)
Documentation
unitSpec :: LogicGraph -> AParser st UNIT_SPEC
Parse unit specification
UNIT-SPEC ::= GROUP-SPEC
GROUP-SPEC * .. * GROUP-SPEC -> GROUP-SPEC
closed UNIT-SPEC
refSpec :: LogicGraph -> AParser st REF_SPEC
annotedArchSpec :: LogicGraph -> AParser st (Annoted ARCH_SPEC)
Parse annotated architectural specification