Hets - the Heterogeneous Tool Set
Copyright(c) Till Mossakowski Christian Maeder Uni Bremen 2002-2016
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellNone



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



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

parse annotations and then still call an annotation parser

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

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 #