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_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

Synopsis

Documentation

data Network Source #

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 # 

data FILTERING Source #

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 # 

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 # 

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 # 
ATermConvertibleSML RENAMING Source # 

Methods

from_sml_ShATerm :: ATermTable -> RENAMING

from_sml_ShATermList :: ATermTable -> [RENAMING]

data G_hiding Source #

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 # 

data LogicDescr Source #

a logic with serialization or a DOL qualification

Instances

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 # 

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 # 

type CONFIDENCE = Double Source #

Orphan instances

GetRange Double Source # 

Methods

getRange :: Double -> Range Source #

rangeSpan :: Double -> [Pos] Source #