Copyright	(c) Klaus Luettich Uni Bremen 2002-2016
License	GPLv2 or higher, see LICENSE.txt
Maintainer	till@informatik.uni-bremen.de
Stability	provisional
Portability	non-portable(Grothendieck)
Safe Haskell	None

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 #

Constructors

Lib_defn LibName [Annoted LIB_ITEM] Range [Annotation]

Instances

Instances details

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

data LIB_ITEM Source #

Instances

Instances details

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

data AlignSem Source #

Constructors

SingleDomain
GlobalDomain
ContextualizedDomain

Instances

Instances details

Bounded AlignSem Source #
Instance details Defined in Syntax.AS_Library Methods minBound :: AlignSem maxBound :: AlignSem
Enum AlignSem Source #
Instance details Defined in Syntax.AS_Library Methods succ :: AlignSem -> AlignSem pred :: AlignSem -> AlignSem toEnum :: Int -> AlignSem fromEnum :: AlignSem -> Int enumFrom :: AlignSem -> [AlignSem] enumFromThen :: AlignSem -> AlignSem -> [AlignSem] enumFromTo :: AlignSem -> AlignSem -> [AlignSem] enumFromThenTo :: AlignSem -> AlignSem -> AlignSem -> [AlignSem]
Show AlignSem Source #
Instance details Defined in Syntax.AS_Library Methods showsPrec :: Int -> AlignSem -> ShowS show :: AlignSem -> String showList :: [AlignSem] -> ShowS
GetRange AlignSem Source #
Instance details Defined in Syntax.AS_Library Methods getRange :: AlignSem -> Range Source # rangeSpan :: AlignSem -> [Pos] Source #
ShATermLG AlignSem Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> AlignSem -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, AlignSem) Source #

data DownloadItems Source #

Constructors

ItemMaps [ItemNameMap]
UniqueItem IRI

Instances

Instances details

Show DownloadItems Source #
Instance details Defined in Syntax.AS_Library Methods showsPrec :: Int -> DownloadItems -> ShowS show :: DownloadItems -> String showList :: [DownloadItems] -> ShowS
GetRange DownloadItems Source #
Instance details Defined in Syntax.AS_Library Methods getRange :: DownloadItems -> Range Source # rangeSpan :: DownloadItems -> [Pos] Source #
ShATermLG DownloadItems Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> DownloadItems -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DownloadItems) Source #

addDownload :: Bool -> SPEC_NAME -> Annoted LIB_ITEM Source #

addDownloadAux :: Bool -> SPEC_NAME -> LIB_ITEM Source #

data GENERICITY Source #

Constructors

Genericity PARAMS IMPORTED Range

Instances

Instances details

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

emptyGenericity :: GENERICITY Source #

data PARAMS Source #

Constructors

Params [Annoted SPEC]

Instances

Instances details

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

data IMPORTED Source #

Constructors

Imported [Annoted SPEC]

Instances

Instances details

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

data VIEW_TYPE Source #

Constructors

View_type (Annoted SPEC) (Annoted SPEC) Range

Instances

Instances details

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

data EQUIV_TYPE Source #

Constructors

Equiv_type OmsOrNetwork OmsOrNetwork Range

Instances

Instances details

Show EQUIV_TYPE Source #
Instance details Defined in Syntax.AS_Library Methods showsPrec :: Int -> EQUIV_TYPE -> ShowS show :: EQUIV_TYPE -> String showList :: [EQUIV_TYPE] -> ShowS
GetRange EQUIV_TYPE Source #
Instance details Defined in Syntax.AS_Library Methods getRange :: EQUIV_TYPE -> Range Source # rangeSpan :: EQUIV_TYPE -> [Pos] Source #
ShATermLG EQUIV_TYPE Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> EQUIV_TYPE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, EQUIV_TYPE) Source #

data MODULE_TYPE Source #

Constructors

Module_type (Annoted SPEC) (Annoted SPEC) Range

Instances

Instances details

Show MODULE_TYPE Source #
Instance details Defined in Syntax.AS_Library Methods showsPrec :: Int -> MODULE_TYPE -> ShowS show :: MODULE_TYPE -> String showList :: [MODULE_TYPE] -> ShowS
GetRange MODULE_TYPE Source #
Instance details Defined in Syntax.AS_Library Methods getRange :: MODULE_TYPE -> Range Source # rangeSpan :: MODULE_TYPE -> [Pos] Source #
ShATermLG MODULE_TYPE Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> MODULE_TYPE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, MODULE_TYPE) Source #

data ALIGN_ARITIES Source #

Constructors

Align_arities ALIGN_ARITY ALIGN_ARITY

Instances

Instances details

Show ALIGN_ARITIES Source #
Instance details Defined in Syntax.AS_Library Methods showsPrec :: Int -> ALIGN_ARITIES -> ShowS show :: ALIGN_ARITIES -> String showList :: [ALIGN_ARITIES] -> ShowS
GetRange ALIGN_ARITIES Source #
Instance details Defined in Syntax.AS_Library Methods getRange :: ALIGN_ARITIES -> Range Source # rangeSpan :: ALIGN_ARITIES -> [Pos] Source #
Pretty ALIGN_ARITIES Source #
Instance details Defined in Syntax.Print_AS_Library Methods pretty :: ALIGN_ARITIES -> Doc Source # pretties :: [ALIGN_ARITIES] -> Doc Source #
ShATermLG ALIGN_ARITIES Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> ALIGN_ARITIES -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ALIGN_ARITIES) Source #

data ALIGN_ARITY Source #

Constructors

AA_InjectiveAndTotal
AA_Injective
AA_Total
AA_NeitherInjectiveNorTotal

Instances

Instances details

Bounded ALIGN_ARITY Source #
Instance details Defined in Syntax.AS_Library Methods minBound :: ALIGN_ARITY maxBound :: ALIGN_ARITY
Enum ALIGN_ARITY Source #
Instance details Defined in Syntax.AS_Library Methods succ :: ALIGN_ARITY -> ALIGN_ARITY pred :: ALIGN_ARITY -> ALIGN_ARITY toEnum :: Int -> ALIGN_ARITY fromEnum :: ALIGN_ARITY -> Int enumFrom :: ALIGN_ARITY -> [ALIGN_ARITY] enumFromThen :: ALIGN_ARITY -> ALIGN_ARITY -> [ALIGN_ARITY] enumFromTo :: ALIGN_ARITY -> ALIGN_ARITY -> [ALIGN_ARITY] enumFromThenTo :: ALIGN_ARITY -> ALIGN_ARITY -> ALIGN_ARITY -> [ALIGN_ARITY]
Show ALIGN_ARITY Source #
Instance details Defined in Syntax.AS_Library Methods showsPrec :: Int -> ALIGN_ARITY -> ShowS show :: ALIGN_ARITY -> String showList :: [ALIGN_ARITY] -> ShowS
GetRange ALIGN_ARITY Source #
Instance details Defined in Syntax.AS_Library Methods getRange :: ALIGN_ARITY -> Range Source # rangeSpan :: ALIGN_ARITY -> [Pos] Source #
ShATermLG ALIGN_ARITY Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> ALIGN_ARITY -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ALIGN_ARITY) Source #

data OmsOrNetwork Source #

Constructors

MkOms (Annoted SPEC)
MkNetwork Network

Instances

Instances details

Show OmsOrNetwork Source #
Instance details Defined in Syntax.AS_Library Methods showsPrec :: Int -> OmsOrNetwork -> ShowS show :: OmsOrNetwork -> String showList :: [OmsOrNetwork] -> ShowS
GetRange OmsOrNetwork Source #
Instance details Defined in Syntax.AS_Library Methods getRange :: OmsOrNetwork -> Range Source # rangeSpan :: OmsOrNetwork -> [Pos] Source #
PrettyLG OmsOrNetwork Source #
Instance details Defined in Syntax.Print_AS_Library Methods prettyLG :: LogicGraph -> OmsOrNetwork -> Doc Source #
ShATermLG OmsOrNetwork Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> OmsOrNetwork -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, OmsOrNetwork) Source #

data ENTAIL_TYPE Source #

Constructors

Entail_type OmsOrNetwork OmsOrNetwork Range
OMSInNetwork IRI Network SPEC Range

Instances

Instances details

Show ENTAIL_TYPE Source #
Instance details Defined in Syntax.AS_Library Methods showsPrec :: Int -> ENTAIL_TYPE -> ShowS show :: ENTAIL_TYPE -> String showList :: [ENTAIL_TYPE] -> ShowS
GetRange ENTAIL_TYPE Source #
Instance details Defined in Syntax.AS_Library Methods getRange :: ENTAIL_TYPE -> Range Source # rangeSpan :: ENTAIL_TYPE -> [Pos] Source #
ShATermLG ENTAIL_TYPE Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> ENTAIL_TYPE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ENTAIL_TYPE) Source #

showAlignArity :: ALIGN_ARITY -> String Source #

data ItemNameMap Source #

Constructors

ItemNameMap IRI (Maybe IRI)

Instances

Instances details

Eq ItemNameMap Source #
Instance details Defined in Syntax.AS_Library Methods (==) :: ItemNameMap -> ItemNameMap -> Bool (/=) :: ItemNameMap -> ItemNameMap -> Bool
Show ItemNameMap Source #
Instance details Defined in Syntax.AS_Library Methods showsPrec :: Int -> ItemNameMap -> ShowS show :: ItemNameMap -> String showList :: [ItemNameMap] -> ShowS
GetRange ItemNameMap Source #
Instance details Defined in Syntax.AS_Library Methods getRange :: ItemNameMap -> Range Source # rangeSpan :: ItemNameMap -> [Pos] Source #
Pretty ItemNameMap Source #
Instance details Defined in Syntax.Print_AS_Library Methods pretty :: ItemNameMap -> Doc Source # pretties :: [ItemNameMap] -> Doc Source #
ShATermLG ItemNameMap Source #
Instance details Defined in ATC.AS_Library Methods toShATermLG :: ATermTable -> ItemNameMap -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ItemNameMap) Source #
ATermConvertibleSML ItemNameMap Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> ItemNameMap from_sml_ShATermList :: ATermTable -> [ItemNameMap]

makeLogicItem :: Language lid => lid -> Annoted LIB_ITEM Source #

makeSpecItem :: SPEC_NAME -> Annoted SPEC -> Annoted LIB_ITEM Source #

fromBasicSpec :: LibName -> SPEC_NAME -> G_basic_spec -> LIB_DEFN Source #

getDeclSpecNames :: LIB_ITEM -> [IRI] Source #

getImportNames :: DownloadItems -> [IRI] Source #

getOms :: OmsOrNetwork -> [SPEC] Source #

getSpecDef :: LIB_ITEM -> [SPEC] Source #

Spec_defn SPEC_NAME GENERICITY (Annoted SPEC) Range
View_defn IRI GENERICITY VIEW_TYPE [G_mapping] Range
Entail_defn IRI ENTAIL_TYPE Range
Equiv_defn IRI EQUIV_TYPE OmsOrNetwork Range
Align_defn IRI (Maybe ALIGN_ARITIES) VIEW_TYPE [CORRESPONDENCE] AlignSem Range
Module_defn IRI MODULE_TYPE G_symb_items_list Range
Query_defn IRI G_symb_items_list G_basic_spec (Annoted SPEC) (Maybe IRI) Range
Subst_defn IRI VIEW_TYPE G_symb_map_items_list Range
Result_defn IRI [IRI] IRI Bool Range
Arch_spec_defn ARCH_SPEC_NAME (Annoted ARCH_SPEC) Range
Unit_spec_defn SPEC_NAME UNIT_SPEC Range
Ref_spec_defn SPEC_NAME REF_SPEC Range
Network_defn IRI Network Range
Download_items LibName DownloadItems Range
Logic_decl LogicDescr Range
Newlogic_defn LogicDef Range
Newcomorphism_defn ComorphismDef Range