Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich Uni Bremen 2002-2016
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable(Grothendieck)
Safe HaskellNone

Syntax.AS_Library

Description

Abstract syntax of HetCASL specification libraries Follows Sect. II:2.2.5 of the CASL Reference Manual. Abstract syntax of DOL documents Follows the DOL OMG standard, clauses 9.3 and M.1

Documentation

data LIB_DEFN Source #

Instances

Show LIB_DEFN Source # 

Methods

showsPrec :: Int -> LIB_DEFN -> ShowS

show :: LIB_DEFN -> String

showList :: [LIB_DEFN] -> ShowS

GetRange LIB_DEFN Source # 
ATermConvertibleSML LIB_DEFN Source # 

Methods

from_sml_ShATerm :: ATermTable -> LIB_DEFN

from_sml_ShATermList :: ATermTable -> [LIB_DEFN]

data PARAMS Source #

Constructors

Params [Annoted SPEC] 

Instances

Show PARAMS Source # 

Methods

showsPrec :: Int -> PARAMS -> ShowS

show :: PARAMS -> String

showList :: [PARAMS] -> ShowS

GetRange PARAMS Source # 
ATermConvertibleSML PARAMS Source # 

Methods

from_sml_ShATerm :: ATermTable -> PARAMS

from_sml_ShATermList :: ATermTable -> [PARAMS]

data IMPORTED Source #

Constructors

Imported [Annoted SPEC] 

Instances

Show IMPORTED Source # 

Methods

showsPrec :: Int -> IMPORTED -> ShowS

show :: IMPORTED -> String

showList :: [IMPORTED] -> ShowS

GetRange IMPORTED Source # 
ATermConvertibleSML IMPORTED Source # 

Methods

from_sml_ShATerm :: ATermTable -> IMPORTED

from_sml_ShATermList :: ATermTable -> [IMPORTED]

data VIEW_TYPE Source #

Instances