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
Constructors
Constructors
SingleDomain | |
GlobalDomain | |
ContextualizedDomain |
addDownloadAux :: Bool -> SPEC_NAME -> LIB_ITEM Source #
data EQUIV_TYPE Source #
Constructors
Equiv_type OmsOrNetwork OmsOrNetwork Range |
Instances
Show EQUIV_TYPE Source # | |
GetRange EQUIV_TYPE Source # | |
data MODULE_TYPE Source #
Instances
Show MODULE_TYPE Source # | |
GetRange MODULE_TYPE Source # | |
data ALIGN_ARITY Source #
Instances
Bounded ALIGN_ARITY Source # | |
Enum ALIGN_ARITY Source # | |
Show ALIGN_ARITY Source # | |
GetRange ALIGN_ARITY Source # | |
data OmsOrNetwork Source #
Instances
data ENTAIL_TYPE Source #
Constructors
Entail_type OmsOrNetwork OmsOrNetwork Range | |
OMSInNetwork IRI Network SPEC Range |
Instances
Show ENTAIL_TYPE Source # | |
GetRange ENTAIL_TYPE Source # | |
showAlignArity :: ALIGN_ARITY -> String 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 #