Copyright	(c) Till Mossakowski Christian Maeder Uni Bremen 2002-2016
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(Grothendieck)
Safe Haskell	None

Syntax.Parse_AS_Structured

Description

Parser for CASL (heterogeneous) structured specifications Concerning the homogeneous syntax, this follows Sect II:3.1.3 of the CASL Reference Manual. Parser for DOL ontologies, models and specifications and networks. Follows the DOL OMG standard, clauses 9.4 and 9.5

Synopsis

annoParser2 :: AParser st (Annoted a) -> AParser st (Annoted a)
basicSpec :: LogicGraph -> (AnyLogic, Maybe IRI) -> AParser st SPEC
caslGroupSpec :: LogicGraph -> AParser st SPEC
groupSpec :: LogicGraph -> AParser st SPEC
aSpec :: LogicGraph -> AParser st (Annoted SPEC)
qualification :: LogicGraph -> AParser st (Token, LogicDescr)
parseMapping :: LogicGraph -> AParser st ([G_mapping], [Token])
parseCorrespondences :: LogicGraph -> AParser st [CORRESPONDENCE]
parseItemsList :: AnyLogic -> PrefixMap -> AParser st (G_symb_items_list, [Token])
parseItemsMap :: AnyLogic -> PrefixMap -> AParser st (G_symb_map_items_list, [Token])
translationList :: [Annoted b -> AParser st b] -> Annoted b -> AParser st (Annoted b)
renaming :: LogicGraph -> AParser st RENAMING
restriction :: LogicGraph -> AParser st RESTRICTION
hetIRI :: LogicGraph -> GenParser Char st IRI
parseNetwork :: LogicGraph -> AParser st Network

Documentation

annoParser2 :: AParser st (Annoted a) -> AParser st (Annoted a) Source #

parse annotations and then still call an annotation parser

basicSpec :: LogicGraph -> (AnyLogic, Maybe IRI) -> AParser st SPEC Source #

caslGroupSpec :: LogicGraph -> AParser st SPEC Source #

grouped spec or spec-inst without optional DOL import

groupSpec :: LogicGraph -> AParser st SPEC Source #

grouped spec or spec-inst with optional import

aSpec :: LogicGraph -> AParser st (Annoted SPEC) Source #

qualification :: LogicGraph -> AParser st (Token, LogicDescr) Source #

parseMapping :: LogicGraph -> AParser st ([G_mapping], [Token]) Source #

parseCorrespondences :: LogicGraph -> AParser st [CORRESPONDENCE] Source #

parseItemsList :: AnyLogic -> PrefixMap -> AParser st (G_symb_items_list, [Token]) Source #

parseItemsMap :: AnyLogic -> PrefixMap -> AParser st (G_symb_map_items_list, [Token]) Source #

translationList :: [Annoted b -> AParser st b] -> Annoted b -> AParser st (Annoted b) Source #

renaming :: LogicGraph -> AParser st RENAMING Source #

Parse renaming RENAMING ::= with SYMB-MAP-ITEMS-LIST SYMB-MAP-ITEMS-LIST is parsed using parseMapping

restriction :: LogicGraph -> AParser st RESTRICTION Source #

Parse restriction RESTRICTION ::= hide SYMB-ITEMS-LIST | reveal SYMB-MAP-ITEMS-LIST SYMB-ITEMS-LIST is parsed using parseHiding; SYMB-MAP-ITEMS-LIST is parsed using parseItemsMap

hetIRI :: LogicGraph -> GenParser Char st IRI Source #

parseNetwork :: LogicGraph -> AParser st Network Source #