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_Structured
Contents
Description
Abstract syntax of HetCASL (heterogeneous) structured specifications Follows Sect. II:2.2.3 of the CASL Reference Manual. Abstract syntax of DOL OMS and networks Follows the DOL OMG standard, clauses 9.4, 9.5, M.2 and M.3
- data SPEC
- = Basic_spec G_basic_spec Range
- | EmptySpec Range
- | Extraction (Annoted SPEC) EXTRACTION
- | Translation (Annoted SPEC) RENAMING
- | Reduction (Annoted SPEC) RESTRICTION
- | Approximation (Annoted SPEC) APPROXIMATION
- | Minimization (Annoted SPEC) MINIMIZATION
- | Filtering (Annoted SPEC) FILTERING
- | Bridge (Annoted SPEC) [RENAMING] (Annoted SPEC) Range
- | Union [Annoted SPEC] Range
- | Intersection [Annoted SPEC] Range
- | Extension [Annoted SPEC] Range
- | Free_spec (Annoted SPEC) Range
- | Cofree_spec (Annoted SPEC) Range
- | Minimize_spec (Annoted SPEC) Range
- | Local_spec (Annoted SPEC) (Annoted SPEC) Range
- | Closed_spec (Annoted SPEC) Range
- | Group (Annoted SPEC) Range
- | Spec_inst SPEC_NAME [Annoted FIT_ARG] (Maybe IRI) Range
- | Qualified_spec LogicDescr (Annoted SPEC) Range
- | Data AnyLogic AnyLogic (Annoted SPEC) (Annoted SPEC) Range
- | Combination Network Range
- | Apply IRI G_basic_spec Range
- data Network = Network [LABELED_ONTO_OR_INTPR_REF] [IRI] Range
- data FILTERING
- = FilterBasicSpec Bool G_basic_spec Range
- | FilterSymbolList Bool G_symb_items_list Range
- data EXTRACTION = ExtractOrRemove Bool [IRI] Range
- data APPROXIMATION = ForgetOrKeep Bool [G_hiding] (Maybe IRI) Range
- data MINIMIZATION = Mini Token [IRI] [IRI] Range
- data RENAMING = Renaming [G_mapping] Range
- data RESTRICTION
- data G_mapping
- data G_hiding
- data FIT_ARG
- type SPEC_NAME = IRI
- data LogicDescr
- = LogicDescr Logic_name (Maybe IRI) Range
- | SyntaxQual IRI
- | LanguageQual IRI
- data Logic_code = Logic_code (Maybe String) (Maybe Logic_name) (Maybe Logic_name) Range
- data Logic_name = Logic_name String (Maybe Token) (Maybe SPEC_NAME)
- data LABELED_ONTO_OR_INTPR_REF = Labeled (Maybe Token) IRI
- nameToLogicDescr :: Logic_name -> LogicDescr
- setLogicName :: LogicDescr -> LogicGraph -> LogicGraph
- makeSpec :: G_basic_spec -> Annoted SPEC
- makeSpecInst :: SPEC_NAME -> Annoted SPEC
- addImports :: [SPEC_NAME] -> Annoted SPEC -> Annoted SPEC
- data CORRESPONDENCE
- = Correspondence_block (Maybe RELATION_REF) (Maybe CONFIDENCE) [CORRESPONDENCE]
- | Single_correspondence (Maybe Annotation) G_symb_items_list G_symb_items_list (Maybe RELATION_REF) (Maybe CONFIDENCE)
- | Default_correspondence
- data RELATION_REF
- refToRel :: RELATION_REF -> REL_REF
- type CONFIDENCE = Double
- getSpecNames :: SPEC -> Set SPEC_NAME
- getSpecs :: FIT_ARG -> [Annoted SPEC]
Documentation
Constructors
Constructors
Network [LABELED_ONTO_OR_INTPR_REF] [IRI] Range |
Constructors
FilterBasicSpec Bool G_basic_spec Range | |
FilterSymbolList Bool G_symb_items_list Range |
data EXTRACTION Source #
Constructors
ExtractOrRemove Bool [IRI] Range |
Instances
Eq EXTRACTION Source # | |
Show EXTRACTION Source # | |
GetRange EXTRACTION Source # | |
data APPROXIMATION Source #
Constructors
ForgetOrKeep Bool [G_hiding] (Maybe IRI) Range |
Instances
Eq APPROXIMATION Source # | |
Show APPROXIMATION Source # | |
GetRange APPROXIMATION Source # | |
data MINIMIZATION Source #
Instances
Eq MINIMIZATION Source # | |
Show MINIMIZATION Source # | |
GetRange MINIMIZATION Source # | |
data RESTRICTION Source #
Instances
Constructors
G_symb_map G_symb_map_items_list | |
G_logic_translation Logic_code |
Constructors
G_symb_list G_symb_items_list | |
G_logic_projection Logic_code |
data LogicDescr Source #
a logic with serialization or a DOL qualification
Constructors
LogicDescr Logic_name (Maybe IRI) Range | |
SyntaxQual IRI | |
LanguageQual IRI |
Instances
Show LogicDescr Source # | |
GetRange LogicDescr Source # | |
data Logic_code Source #
Constructors
Logic_code (Maybe String) (Maybe Logic_name) (Maybe Logic_name) Range |
Instances
Eq Logic_code Source # | |
Show Logic_code Source # | |
GetRange Logic_code Source # | |
data Logic_name Source #
Constructors
Logic_name String (Maybe Token) (Maybe SPEC_NAME) |
Instances
Eq Logic_name Source # | |
Show Logic_name Source # | |
GetRange Logic_name Source # | |
data LABELED_ONTO_OR_INTPR_REF Source #
Instances
setLogicName :: LogicDescr -> LogicGraph -> LogicGraph Source #
data CORRESPONDENCE Source #
Constructors
Correspondence_block (Maybe RELATION_REF) (Maybe CONFIDENCE) [CORRESPONDENCE] | |
Single_correspondence (Maybe Annotation) G_symb_items_list G_symb_items_list (Maybe RELATION_REF) (Maybe CONFIDENCE) | |
Default_correspondence |
Instances
data RELATION_REF Source #
Constructors
Subsumes | |
IsSubsumed | |
Equivalent | |
Incompatible | |
HasInstance | |
InstanceOf | |
DefaultRelation | |
Iri IRI |
Instances
Eq RELATION_REF Source # | |
Show RELATION_REF Source # | |
GetRange RELATION_REF Source # | |
refToRel :: RELATION_REF -> REL_REF Source #
type CONFIDENCE = Double Source #
getSpecNames :: SPEC -> Set SPEC_NAME Source #