| Copyright | (c) Klaus Luettich, Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | till@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | non-portable(imports Syntax.AS_Structured) |
| Safe Haskell | None |
Syntax.AS_Architecture
Description
Abstract syntax of (Het)CASL architectural specifications Follows Sect. II:2.2.4 of the CASL Reference Manual.
Documentation
data ARCH_SPEC
data UNIT_DECL_DEFN
data UNIT_SPEC
data REF_SPEC
Constructors
| Unit_spec UNIT_SPEC | |
| Refinement Bool UNIT_SPEC [G_mapping] REF_SPEC Range | |
| Arch_unit_spec (Annoted ARCH_SPEC) Range | |
| Compose_ref [REF_SPEC] Range | |
| Component_ref [UNIT_REF] Range |
data UNIT_REF
data UNIT_EXPRESSION
Constructors
| Unit_expression [UNIT_BINDING] (Annoted UNIT_TERM) Range |
data UNIT_BINDING
Constructors
| Unit_binding UNIT_NAME UNIT_SPEC Range |
data UNIT_TERM
data FIT_ARG_UNIT
Constructors
| Fit_arg_unit (Annoted UNIT_TERM) [G_mapping] Range |
type ARCH_SPEC_NAME = IRI