62281905648914793072631d80b66789d94156e9Ewaryst Schulz{-|

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner

b23f0e37a243f0a5819667a61d50e5e3541fac8dEwaryst SchulzModule : $Header$

62281905648914793072631d80b66789d94156e9Ewaryst SchulzCopyright : (c) Klaus L�ttich, Uni Bremen 2002-2004

62281905648914793072631d80b66789d94156e9Ewaryst SchulzLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

62281905648914793072631d80b66789d94156e9Ewaryst Schulz

62281905648914793072631d80b66789d94156e9Ewaryst SchulzMaintainer : till@tzi.de

62281905648914793072631d80b66789d94156e9Ewaryst SchulzStability : provisional

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst SchulzPortability : non-portable(imports Syntax.AS_Structured)

62281905648914793072631d80b66789d94156e9Ewaryst Schulz

b23f0e37a243f0a5819667a61d50e5e3541fac8dEwaryst SchulzThese data structures describe the abstract syntax tree for heterogenous

62281905648914793072631d80b66789d94156e9Ewaryst Schulz architectural specifications in HetCASL.

b23f0e37a243f0a5819667a61d50e5e3541fac8dEwaryst Schulz Follows Sect. II:2.2.4 of the CASL Reference Manual.

b23f0e37a243f0a5819667a61d50e5e3541fac8dEwaryst Schulz-}

66c4c2f1442c3fe6936c4e908fe82006d78ab1e6Ewaryst Schulz

66c4c2f1442c3fe6936c4e908fe82006d78ab1e6Ewaryst Schulzmodule Syntax.AS_Architecture where

b23f0e37a243f0a5819667a61d50e5e3541fac8dEwaryst Schulz

fd60253a8dbb2bcff2b3f771bf8b16cb72cb7b4fEwaryst Schulzimport Common.Id

b23f0e37a243f0a5819667a61d50e5e3541fac8dEwaryst Schulzimport Common.AS_Annotation

b23f0e37a243f0a5819667a61d50e5e3541fac8dEwaryst Schulz

import Syntax.AS_Structured

-- Drift directive:

{-! global : UpPos !-}

data ARCH_SPEC_DEFN = Arch_spec_defn ARCH_SPEC_NAME (Annoted ARCH_SPEC) Range

-- pos: "arch","spec","=",opt "end"

deriving (Show)

data ARCH_SPEC = Basic_arch_spec [Annoted UNIT_DECL_DEFN]

(Annoted UNIT_EXPRESSION) Range

-- pos: "unit","result"

| Arch_spec_name ARCH_SPEC_NAME

| Group_arch_spec (Annoted ARCH_SPEC) Range

-- pos: "{","}"

deriving (Show)

data UNIT_DECL_DEFN = Unit_decl UNIT_NAME REF_SPEC [Annoted UNIT_TERM] Range

-- pos: ":", opt ("given"; Annoted holds pos of commas)

| Unit_defn UNIT_NAME UNIT_EXPRESSION Range

-- pos: "="

deriving (Show)

data UNIT_SPEC_DEFN = Unit_spec_defn SPEC_NAME UNIT_SPEC Range

-- pos: "unit","spec","=", opt "end"

deriving (Show)

data UNIT_SPEC = Unit_type [Annoted SPEC] (Annoted SPEC) Range

-- pos: opt "*"s , "->"

| Spec_name SPEC_NAME

| Closed_unit_spec UNIT_SPEC Range

-- pos: "closed"

deriving (Show)

data REF_SPEC = Unit_spec UNIT_SPEC

| Refinement Bool UNIT_SPEC [G_mapping] REF_SPEC Range

-- false means "behaviourally"

| Arch_unit_spec (Annoted ARCH_SPEC) Range

-- pos: "arch","spec"

-- The ARCH_SPEC has to be surrounded with braces and

-- after the opening brace is a [Annotation] allowed

| Compose_ref [REF_SPEC] Range

-- pos: "then"

| Component_ref [UNIT_REF] Range

-- pos "{", commas and "}"

deriving (Show)

data UNIT_REF = Unit_ref UNIT_NAME REF_SPEC Range

-- pos: ":"

deriving (Show)

data UNIT_EXPRESSION = Unit_expression [UNIT_BINDING] (Annoted UNIT_TERM) Range

-- pos: opt "lambda",semi colons, "."

deriving (Show)

data UNIT_BINDING = Unit_binding UNIT_NAME UNIT_SPEC Range

-- pos: ":"

deriving (Show)

data UNIT_TERM = Unit_reduction (Annoted UNIT_TERM) RESTRICTION

| Unit_translation (Annoted UNIT_TERM) RENAMING

| Amalgamation [Annoted UNIT_TERM] Range

-- pos: "and"s

| Local_unit [Annoted UNIT_DECL_DEFN] (Annoted UNIT_TERM) Range

-- pos: "local", "within"

| Unit_appl UNIT_NAME [FIT_ARG_UNIT] Range

-- pos: many of "[","]"

| Group_unit_term (Annoted UNIT_TERM) Range

-- pos: "{","}"

deriving (Show)

data FIT_ARG_UNIT = Fit_arg_unit (Annoted UNIT_TERM) [G_mapping] Range

-- pos: opt "fit"

deriving (Show)

type ARCH_SPEC_NAME = SIMPLE_ID

type UNIT_NAME = SIMPLE_ID