OMDoc.hs revision 98890889ffb2e8f6f722b00e265a211f13b5a861
0N/ALicense : GPLv2 or higher, see LICENSE.txt
0N/A(see <http://www.omdoc.org>).
0N/AThere is also an instance of "Logic.Logic" (the data for this is
0N/Aassembled in "OMDoc.Logic_OMDoc"), but this is not complete yet.
0N/AThe files "OMDocInput" and "OMDocOutput" are the main files responsible for the export and, respectively, import of the CASL files to OMDoc format. These are the central files, which are characterized by the following hierarchical absrtact layers:
2362N/A1. CASL Abstract Syntax (which embeddes also the "CASL Text") is the lowest level, responsible for interpreting CASL concepts and syntax.
2362N/A2. OMDoc Abstract Syntax ( defined in "OMDoc.OMDocInterface" ) is responsbile for representing the OMDoc's logic in an abstract way (with no XML tag deliminters). The communication channel between these 2 first layers is fortified by "OMDocDefs" (deals exclusively with OMDoc namings) and "HetsDefs" (deals with CASL data structures). This layer also communicates with "ATerms" layer via "ATerm" and "ATC_OMDoc.der" (see "Logic_OMDoc" for details)
0N/A3. XML Abstract Syntax is a middle layer, which adds removes the OMDoc tag-elements, while preserving and sending the OMDoc contents to the lower layer (via "OMDoc.OMDocXML" which is responsible for XML conversion for OMDoc model (in out)).
0N/A4. OMDoc XML is the top layer, which takes care of the final OMDoc input or output files. It parses the OMDoc documents via an XML handler (see "OMDoc.XmlHandling" and HXT package for details).
0N/AThe "OMDoc" folder also contains some additional files, which are as well used in the transformation:
0N/A"OMDoc.HetsInterface.hspp" - is a Test function
0N/A"OMDoc.KeyDebug" - used in debugging
0N/A"OMDoc.CASLOutput" - takes care of CASL.Morphism transformation to OMDoc. The module is used by the function "createOMMorphism" from "OMDoc.OMDocOutput"