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 UNIT_DECL_DEFN Source #
Constructors
Unit_decl UNIT_NAME REF_SPEC [Annoted UNIT_TERM] Range | |
Unit_defn UNIT_NAME UNIT_EXPRESSION Range |
Instances
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_EXPRESSION Source #
Constructors
Unit_expression [UNIT_BINDING] (Annoted UNIT_TERM) Range |
Instances
type ARCH_SPEC_NAME = IRI Source #