Hets - the Heterogeneous Tool Set
Copyright(c) Klaus Luettich Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable(imports Syntax.AS_Structured)
Safe HaskellNone

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 #

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

PrettyLG ARCH_SPEC Source # 
Instance details

Defined in Syntax.Print_AS_Architecture

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 #

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

PrettyLG UNIT_DECL_DEFN Source # 
Instance details

Defined in Syntax.Print_AS_Architecture

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 #

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

PrettyLG UNIT_SPEC Source # 
Instance details

Defined in Syntax.Print_AS_Architecture

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 #

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

PrettyLG REF_SPEC Source # 
Instance details

Defined in Syntax.Print_AS_Architecture

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 #

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

PrettyLG UNIT_REF Source # 
Instance details

Defined in Syntax.Print_AS_Architecture

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 #

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

PrettyLG UNIT_EXPRESSION Source # 
Instance details

Defined in Syntax.Print_AS_Architecture

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 #

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

PrettyLG UNIT_BINDING Source # 
Instance details

Defined in Syntax.Print_AS_Architecture

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

PrettyLG UNIT_TERM Source # 
Instance details

Defined in Syntax.Print_AS_Architecture

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 #

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

PrettyLG FIT_ARG_UNIT Source # 
Instance details

Defined in Syntax.Print_AS_Architecture

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]