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 Source #

Constructors

Basic_arch_spec [Annoted UNIT_DECL_DEFN] (Annoted UNIT_EXPRESSION) Range
Arch_spec_name ARCH_SPEC_NAME
Group_arch_spec (Annoted ARCH_SPEC) Range

Instances

Instances details

Show ARCH_SPEC Source #
Instance details Defined in Syntax.AS_Architecture Methods showsPrec :: Int -> ARCH_SPEC -> ShowS show :: ARCH_SPEC -> String showList :: [ARCH_SPEC] -> ShowS
GetRange ARCH_SPEC Source #
Instance details Defined in Syntax.AS_Architecture Methods getRange :: ARCH_SPEC -> Range Source # rangeSpan :: ARCH_SPEC -> [Pos] Source #
PrettyLG ARCH_SPEC Source #
Instance details Defined in Syntax.Print_AS_Architecture Methods prettyLG :: LogicGraph -> ARCH_SPEC -> Doc Source #
ShATermLG ARCH_SPEC Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> ARCH_SPEC -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ARCH_SPEC) Source #
ATermConvertibleSML ARCH_SPEC Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> ARCH_SPEC from_sml_ShATermList :: ATermTable -> [ARCH_SPEC]

data UNIT_DECL_DEFN Source #

Constructors

Unit_decl UNIT_NAME REF_SPEC [Annoted UNIT_TERM] Range
Unit_defn UNIT_NAME UNIT_EXPRESSION Range

Instances

Instances details

Show UNIT_DECL_DEFN Source #
Instance details Defined in Syntax.AS_Architecture Methods showsPrec :: Int -> UNIT_DECL_DEFN -> ShowS show :: UNIT_DECL_DEFN -> String showList :: [UNIT_DECL_DEFN] -> ShowS
GetRange UNIT_DECL_DEFN Source #
Instance details Defined in Syntax.AS_Architecture Methods getRange :: UNIT_DECL_DEFN -> Range Source # rangeSpan :: UNIT_DECL_DEFN -> [Pos] Source #
PrettyLG UNIT_DECL_DEFN Source #
Instance details Defined in Syntax.Print_AS_Architecture Methods prettyLG :: LogicGraph -> UNIT_DECL_DEFN -> Doc Source #
ShATermLG UNIT_DECL_DEFN Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_DECL_DEFN -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_DECL_DEFN) Source #
ATermConvertibleSML UNIT_DECL_DEFN Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> UNIT_DECL_DEFN from_sml_ShATermList :: ATermTable -> [UNIT_DECL_DEFN]

data UNIT_SPEC Source #

Constructors

Unit_type [Annoted SPEC] (Annoted SPEC) Range
Spec_name SPEC_NAME
Closed_unit_spec UNIT_SPEC Range

Instances

Instances details

Show UNIT_SPEC Source #
Instance details Defined in Syntax.AS_Architecture Methods showsPrec :: Int -> UNIT_SPEC -> ShowS show :: UNIT_SPEC -> String showList :: [UNIT_SPEC] -> ShowS
GetRange UNIT_SPEC Source #
Instance details Defined in Syntax.AS_Architecture Methods getRange :: UNIT_SPEC -> Range Source # rangeSpan :: UNIT_SPEC -> [Pos] Source #
PrettyLG UNIT_SPEC Source #
Instance details Defined in Syntax.Print_AS_Architecture Methods prettyLG :: LogicGraph -> UNIT_SPEC -> Doc Source #
ShATermLG UNIT_SPEC Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_SPEC -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_SPEC) Source #
ATermConvertibleSML UNIT_SPEC Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> UNIT_SPEC from_sml_ShATermList :: ATermTable -> [UNIT_SPEC]

data REF_SPEC Source #

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

Instances

Instances details

Show REF_SPEC Source #
Instance details Defined in Syntax.AS_Architecture Methods showsPrec :: Int -> REF_SPEC -> ShowS show :: REF_SPEC -> String showList :: [REF_SPEC] -> ShowS
GetRange REF_SPEC Source #
Instance details Defined in Syntax.AS_Architecture Methods getRange :: REF_SPEC -> Range Source # rangeSpan :: REF_SPEC -> [Pos] Source #
PrettyLG REF_SPEC Source #
Instance details Defined in Syntax.Print_AS_Architecture Methods prettyLG :: LogicGraph -> REF_SPEC -> Doc Source #
ShATermLG REF_SPEC Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> REF_SPEC -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, REF_SPEC) Source #
ATermConvertibleSML REF_SPEC Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> REF_SPEC from_sml_ShATermList :: ATermTable -> [REF_SPEC]

data UNIT_REF Source #

Constructors

Unit_ref UNIT_NAME REF_SPEC Range

Instances

Instances details

Show UNIT_REF Source #
Instance details Defined in Syntax.AS_Architecture Methods showsPrec :: Int -> UNIT_REF -> ShowS show :: UNIT_REF -> String showList :: [UNIT_REF] -> ShowS
GetRange UNIT_REF Source #
Instance details Defined in Syntax.AS_Architecture Methods getRange :: UNIT_REF -> Range Source # rangeSpan :: UNIT_REF -> [Pos] Source #
PrettyLG UNIT_REF Source #
Instance details Defined in Syntax.Print_AS_Architecture Methods prettyLG :: LogicGraph -> UNIT_REF -> Doc Source #
ShATermLG UNIT_REF Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_REF -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_REF) Source #
ATermConvertibleSML UNIT_REF Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> UNIT_REF from_sml_ShATermList :: ATermTable -> [UNIT_REF]

data UNIT_EXPRESSION Source #

Constructors

Unit_expression [UNIT_BINDING] (Annoted UNIT_TERM) Range

Instances

Instances details

Show UNIT_EXPRESSION Source #
Instance details Defined in Syntax.AS_Architecture Methods showsPrec :: Int -> UNIT_EXPRESSION -> ShowS show :: UNIT_EXPRESSION -> String showList :: [UNIT_EXPRESSION] -> ShowS
GetRange UNIT_EXPRESSION Source #
Instance details Defined in Syntax.AS_Architecture Methods getRange :: UNIT_EXPRESSION -> Range Source # rangeSpan :: UNIT_EXPRESSION -> [Pos] Source #
PrettyLG UNIT_EXPRESSION Source #
Instance details Defined in Syntax.Print_AS_Architecture Methods prettyLG :: LogicGraph -> UNIT_EXPRESSION -> Doc Source #
ShATermLG UNIT_EXPRESSION Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_EXPRESSION -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_EXPRESSION) Source #
ATermConvertibleSML UNIT_EXPRESSION Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> UNIT_EXPRESSION from_sml_ShATermList :: ATermTable -> [UNIT_EXPRESSION]

data UNIT_BINDING Source #

Constructors

Unit_binding UNIT_NAME UNIT_SPEC Range

Instances

Instances details

Show UNIT_BINDING Source #
Instance details Defined in Syntax.AS_Architecture Methods showsPrec :: Int -> UNIT_BINDING -> ShowS show :: UNIT_BINDING -> String showList :: [UNIT_BINDING] -> ShowS
GetRange UNIT_BINDING Source #
Instance details Defined in Syntax.AS_Architecture Methods getRange :: UNIT_BINDING -> Range Source # rangeSpan :: UNIT_BINDING -> [Pos] Source #
PrettyLG UNIT_BINDING Source #
Instance details Defined in Syntax.Print_AS_Architecture Methods prettyLG :: LogicGraph -> UNIT_BINDING -> Doc Source #
ShATermLG UNIT_BINDING Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_BINDING -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_BINDING) Source #
ATermConvertibleSML UNIT_BINDING Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> UNIT_BINDING from_sml_ShATermList :: ATermTable -> [UNIT_BINDING]

data UNIT_TERM Source #

Instances

Instances details

Show UNIT_TERM Source #
Instance details Defined in Syntax.AS_Architecture Methods showsPrec :: Int -> UNIT_TERM -> ShowS show :: UNIT_TERM -> String showList :: [UNIT_TERM] -> ShowS
GetRange UNIT_TERM Source #
Instance details Defined in Syntax.AS_Architecture Methods getRange :: UNIT_TERM -> Range Source # rangeSpan :: UNIT_TERM -> [Pos] Source #
PrettyLG UNIT_TERM Source #
Instance details Defined in Syntax.Print_AS_Architecture Methods prettyLG :: LogicGraph -> UNIT_TERM -> Doc Source #
ShATermLG UNIT_TERM Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> UNIT_TERM -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_TERM) Source #
ATermConvertibleSML UNIT_TERM Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> UNIT_TERM from_sml_ShATermList :: ATermTable -> [UNIT_TERM]

data FIT_ARG_UNIT Source #

Constructors

Fit_arg_unit (Annoted UNIT_TERM) [G_mapping] Range

Instances

Instances details

Show FIT_ARG_UNIT Source #
Instance details Defined in Syntax.AS_Architecture Methods showsPrec :: Int -> FIT_ARG_UNIT -> ShowS show :: FIT_ARG_UNIT -> String showList :: [FIT_ARG_UNIT] -> ShowS
GetRange FIT_ARG_UNIT Source #
Instance details Defined in Syntax.AS_Architecture Methods getRange :: FIT_ARG_UNIT -> Range Source # rangeSpan :: FIT_ARG_UNIT -> [Pos] Source #
PrettyLG FIT_ARG_UNIT Source #
Instance details Defined in Syntax.Print_AS_Architecture Methods prettyLG :: LogicGraph -> FIT_ARG_UNIT -> Doc Source #
ShATermLG FIT_ARG_UNIT Source #
Instance details Defined in ATC.AS_Architecture Methods toShATermLG :: ATermTable -> FIT_ARG_UNIT -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, FIT_ARG_UNIT) Source #
ATermConvertibleSML FIT_ARG_UNIT Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> FIT_ARG_UNIT from_sml_ShATermList :: ATermTable -> [FIT_ARG_UNIT]

type ARCH_SPEC_NAME = IRI Source #

type UNIT_NAME = IRI Source #

Unit_reduction (Annoted UNIT_TERM) RESTRICTION
Unit_translation (Annoted UNIT_TERM) RENAMING
Amalgamation [Annoted UNIT_TERM] Range
Local_unit [Annoted UNIT_DECL_DEFN] (Annoted UNIT_TERM) Range
Unit_appl UNIT_NAME [FIT_ARG_UNIT] Range
Group_unit_term (Annoted UNIT_TERM) Range