File: XMLParser.gd

package info (click to toggle)
gap-gapdoc 1.6.7-1
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 4,596 kB
  • sloc: xml: 3,502; makefile: 244; javascript: 155; sh: 3
file content (48 lines) | stat: -rw-r--r-- 1,666 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
#############################################################################
##
#W  XMLParser.gd                 GAPDoc                          Frank Lübeck
##
##
#Y  Copyright (C)  2000,  Frank Lübeck,  Lehrstuhl D für Mathematik,  
#Y  RWTH Aachen
##
##  The files  XMLParser.g{d,i} contain a non-validating XML  parser and some
##  utilities.
##

DeclareGlobalFunction("GetEnt");
DeclareGlobalFunction("GetSTag");
DeclareGlobalFunction("GetETag");
DeclareGlobalFunction("GetElement");

DeclareGlobalFunction("ParseTreeXMLString");
DeclareGlobalFunction("ParseTreeXMLFile");
DeclareGlobalFunction("DisplayXMLStructure");
DeclareGlobalFunction("ApplyToNodesParseTree");
DeclareGlobalFunction("AddRootParseTree");
DeclareGlobalFunction("RemoveRootParseTree");
DeclareGlobalFunction("XMLValidate");
DeclareGlobalFunction("ValidateGAPDoc");

DeclareGlobalFunction("GetTextXMLTree");
DeclareGlobalFunction("XMLElements");

##  <#GAPDoc Label="InfoXMLParser">
##  <ManSection >
##  <InfoClass Name="InfoXMLParser" />
##  <Description>
##  The default level of this info class is 1. Functions like <Ref
##  Func="ParseTreeXMLString"/> are then printing some information, in
##  particular in case of errors. You can suppress it by setting the 
##  level of <Ref InfoClass="InfoXMLParser"/> to 0. With level 2 there
##  may be some more information for debugging purposes.
##  </Description>
##  </ManSection>
##  <#/GAPDoc>
##  
# Info class with default level 1
BindGlobal("InfoXMLParser", NewInfoClass("InfoXMLParser"));
SetInfoLevel(InfoXMLParser, 1);
if CompareVersionNumbers(GAPInfo.Version, "4.dev") then
  SetInfoHandler(InfoXMLParser, PlainInfoHandler);
fi;