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

Orphan instances

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

Synopsis

Documentation

data SPEC Source #

Constructors

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

Instances

Show SPEC Source #
Methods showsPrec :: Int -> SPEC -> ShowS show :: SPEC -> String showList :: [SPEC] -> ShowS
GetRange SPEC Source #
Methods getRange :: SPEC -> Range Source # rangeSpan :: SPEC -> [Pos] Source #
PrettyLG SPEC Source #
Methods prettyLG :: LogicGraph -> SPEC -> Doc Source #
ATermConvertibleSML SPEC Source #
Methods from_sml_ShATerm :: ATermTable -> SPEC from_sml_ShATermList :: ATermTable -> [SPEC]

data Network Source #

Constructors

Network [LABELED_ONTO_OR_INTPR_REF] [IRI] Range

Instances

Eq Network Source #
Methods (==) :: Network -> Network -> Bool (/=) :: Network -> Network -> Bool
Show Network Source #
Methods showsPrec :: Int -> Network -> ShowS show :: Network -> String showList :: [Network] -> ShowS
GetRange Network Source #
Methods getRange :: Network -> Range Source # rangeSpan :: Network -> [Pos] Source #

data FILTERING Source #

Constructors

FilterBasicSpec Bool G_basic_spec Range
FilterSymbolList Bool G_symb_items_list Range

Instances

Eq FILTERING Source #
Methods (==) :: FILTERING -> FILTERING -> Bool (/=) :: FILTERING -> FILTERING -> Bool
Show FILTERING Source #
Methods showsPrec :: Int -> FILTERING -> ShowS show :: FILTERING -> String showList :: [FILTERING] -> ShowS
GetRange FILTERING Source #
Methods getRange :: FILTERING -> Range Source # rangeSpan :: FILTERING -> [Pos] Source #

data EXTRACTION Source #

Constructors

ExtractOrRemove Bool [IRI] Range

Instances

Eq EXTRACTION Source #
Methods (==) :: EXTRACTION -> EXTRACTION -> Bool (/=) :: EXTRACTION -> EXTRACTION -> Bool
Show EXTRACTION Source #
Methods showsPrec :: Int -> EXTRACTION -> ShowS show :: EXTRACTION -> String showList :: [EXTRACTION] -> ShowS
GetRange EXTRACTION Source #
Methods getRange :: EXTRACTION -> Range Source # rangeSpan :: EXTRACTION -> [Pos] Source #

data APPROXIMATION Source #

Constructors

ForgetOrKeep Bool [G_hiding] (Maybe IRI) Range

Instances

Eq APPROXIMATION Source #
Methods (==) :: APPROXIMATION -> APPROXIMATION -> Bool (/=) :: APPROXIMATION -> APPROXIMATION -> Bool
Show APPROXIMATION Source #
Methods showsPrec :: Int -> APPROXIMATION -> ShowS show :: APPROXIMATION -> String showList :: [APPROXIMATION] -> ShowS
GetRange APPROXIMATION Source #
Methods getRange :: APPROXIMATION -> Range Source # rangeSpan :: APPROXIMATION -> [Pos] Source #

data MINIMIZATION Source #

Constructors

Mini Token [IRI] [IRI] Range

Instances

Eq MINIMIZATION Source #
Methods (==) :: MINIMIZATION -> MINIMIZATION -> Bool (/=) :: MINIMIZATION -> MINIMIZATION -> Bool
Show MINIMIZATION Source #
Methods showsPrec :: Int -> MINIMIZATION -> ShowS show :: MINIMIZATION -> String showList :: [MINIMIZATION] -> ShowS
GetRange MINIMIZATION Source #
Methods getRange :: MINIMIZATION -> Range Source # rangeSpan :: MINIMIZATION -> [Pos] Source #

data RENAMING Source #

Constructors

Renaming [G_mapping] Range

Instances

Eq RENAMING Source #
Methods (==) :: RENAMING -> RENAMING -> Bool (/=) :: RENAMING -> RENAMING -> Bool
Show RENAMING Source #
Methods showsPrec :: Int -> RENAMING -> ShowS show :: RENAMING -> String showList :: [RENAMING] -> ShowS
GetRange RENAMING Source #
Methods getRange :: RENAMING -> Range Source # rangeSpan :: RENAMING -> [Pos] Source #
ATermConvertibleSML RENAMING Source #
Methods from_sml_ShATerm :: ATermTable -> RENAMING from_sml_ShATermList :: ATermTable -> [RENAMING]

data RESTRICTION Source #

Constructors

Hidden [G_hiding] Range
Revealed G_symb_map_items_list Range

Instances

Eq RESTRICTION Source #
Methods (==) :: RESTRICTION -> RESTRICTION -> Bool (/=) :: RESTRICTION -> RESTRICTION -> Bool
Show RESTRICTION Source #
Methods showsPrec :: Int -> RESTRICTION -> ShowS show :: RESTRICTION -> String showList :: [RESTRICTION] -> ShowS
GetRange RESTRICTION Source #
Methods getRange :: RESTRICTION -> Range Source # rangeSpan :: RESTRICTION -> [Pos] Source #
ATermConvertibleSML RESTRICTION Source #
Methods from_sml_ShATerm :: ATermTable -> RESTRICTION from_sml_ShATermList :: ATermTable -> [RESTRICTION]

data G_mapping Source #

Constructors

G_symb_map G_symb_map_items_list
G_logic_translation Logic_code

Instances

Eq G_mapping Source #
Methods (==) :: G_mapping -> G_mapping -> Bool (/=) :: G_mapping -> G_mapping -> Bool
Show G_mapping Source #
Methods showsPrec :: Int -> G_mapping -> ShowS show :: G_mapping -> String showList :: [G_mapping] -> ShowS
GetRange G_mapping Source #
Methods getRange :: G_mapping -> Range Source # rangeSpan :: G_mapping -> [Pos] Source #

data G_hiding Source #

Constructors

G_symb_list G_symb_items_list
G_logic_projection Logic_code

Instances

Eq G_hiding Source #
Methods (==) :: G_hiding -> G_hiding -> Bool (/=) :: G_hiding -> G_hiding -> Bool
Show G_hiding Source #
Methods showsPrec :: Int -> G_hiding -> ShowS show :: G_hiding -> String showList :: [G_hiding] -> ShowS
GetRange G_hiding Source #
Methods getRange :: G_hiding -> Range Source # rangeSpan :: G_hiding -> [Pos] Source #

data FIT_ARG Source #

Constructors

Fit_spec (Annoted SPEC) [G_mapping] Range
Fit_view IRI [Annoted FIT_ARG] Range

Instances

Show FIT_ARG Source #
Methods showsPrec :: Int -> FIT_ARG -> ShowS show :: FIT_ARG -> String showList :: [FIT_ARG] -> ShowS
GetRange FIT_ARG Source #
Methods getRange :: FIT_ARG -> Range Source # rangeSpan :: FIT_ARG -> [Pos] Source #
PrettyLG FIT_ARG Source #
Methods prettyLG :: LogicGraph -> FIT_ARG -> Doc Source #
ATermConvertibleSML FIT_ARG Source #
Methods from_sml_ShATerm :: ATermTable -> FIT_ARG from_sml_ShATermList :: ATermTable -> [FIT_ARG]

type SPEC_NAME = IRI Source #

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 #
Methods showsPrec :: Int -> LogicDescr -> ShowS show :: LogicDescr -> String showList :: [LogicDescr] -> ShowS
GetRange LogicDescr Source #
Methods getRange :: LogicDescr -> Range Source # rangeSpan :: LogicDescr -> [Pos] Source #

data Logic_code Source #

Constructors

Logic_code (Maybe String) (Maybe Logic_name) (Maybe Logic_name) Range

Instances

Eq Logic_code Source #
Methods (==) :: Logic_code -> Logic_code -> Bool (/=) :: Logic_code -> Logic_code -> Bool
Show Logic_code Source #
Methods showsPrec :: Int -> Logic_code -> ShowS show :: Logic_code -> String showList :: [Logic_code] -> ShowS
GetRange Logic_code Source #
Methods getRange :: Logic_code -> Range Source # rangeSpan :: Logic_code -> [Pos] Source #

data Logic_name Source #

Constructors

Logic_name String (Maybe Token) (Maybe SPEC_NAME)

Instances

Eq Logic_name Source #
Methods (==) :: Logic_name -> Logic_name -> Bool (/=) :: Logic_name -> Logic_name -> Bool
Show Logic_name Source #
Methods showsPrec :: Int -> Logic_name -> ShowS show :: Logic_name -> String showList :: [Logic_name] -> ShowS
GetRange Logic_name Source #
Methods getRange :: Logic_name -> Range Source # rangeSpan :: Logic_name -> [Pos] Source #

data LABELED_ONTO_OR_INTPR_REF Source #

Constructors

Labeled (Maybe Token) IRI

Instances

Eq LABELED_ONTO_OR_INTPR_REF Source #
Methods (==) :: LABELED_ONTO_OR_INTPR_REF -> LABELED_ONTO_OR_INTPR_REF -> Bool (/=) :: LABELED_ONTO_OR_INTPR_REF -> LABELED_ONTO_OR_INTPR_REF -> Bool
Show LABELED_ONTO_OR_INTPR_REF Source #
Methods showsPrec :: Int -> LABELED_ONTO_OR_INTPR_REF -> ShowS show :: LABELED_ONTO_OR_INTPR_REF -> String showList :: [LABELED_ONTO_OR_INTPR_REF] -> ShowS
GetRange LABELED_ONTO_OR_INTPR_REF Source #
Methods getRange :: LABELED_ONTO_OR_INTPR_REF -> Range Source # rangeSpan :: LABELED_ONTO_OR_INTPR_REF -> [Pos] Source #

nameToLogicDescr :: Logic_name -> LogicDescr Source #

setLogicName :: LogicDescr -> LogicGraph -> LogicGraph Source #

makeSpec :: G_basic_spec -> Annoted SPEC Source #

makeSpecInst :: SPEC_NAME -> Annoted SPEC Source #

addImports :: [SPEC_NAME] -> Annoted SPEC -> Annoted SPEC 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

Eq CORRESPONDENCE Source #
Methods (==) :: CORRESPONDENCE -> CORRESPONDENCE -> Bool (/=) :: CORRESPONDENCE -> CORRESPONDENCE -> Bool
Show CORRESPONDENCE Source #
Methods showsPrec :: Int -> CORRESPONDENCE -> ShowS show :: CORRESPONDENCE -> String showList :: [CORRESPONDENCE] -> ShowS
GetRange CORRESPONDENCE Source #
Methods getRange :: CORRESPONDENCE -> Range Source # rangeSpan :: CORRESPONDENCE -> [Pos] Source #

data RELATION_REF Source #

Constructors

Subsumes
IsSubsumed
Equivalent
Incompatible
HasInstance
InstanceOf
DefaultRelation
Iri IRI

Instances

Eq RELATION_REF Source #
Methods (==) :: RELATION_REF -> RELATION_REF -> Bool (/=) :: RELATION_REF -> RELATION_REF -> Bool
Show RELATION_REF Source #
Methods showsPrec :: Int -> RELATION_REF -> ShowS show :: RELATION_REF -> String showList :: [RELATION_REF] -> ShowS
GetRange RELATION_REF Source #
Methods getRange :: RELATION_REF -> Range Source # rangeSpan :: RELATION_REF -> [Pos] Source #

refToRel :: RELATION_REF -> REL_REF Source #

type CONFIDENCE = Double Source #

getSpecNames :: SPEC -> Set SPEC_NAME Source #

getSpecs :: FIT_ARG -> [Annoted SPEC] Source #

Orphan instances

GetRange Double Source #
Methods getRange :: Double -> Range Source # rangeSpan :: Double -> [Pos] Source #