|
| test for text nodes
|
|
|
| test for char reference, used during parsing
|
|
|
| test for entity reference, used during parsing
|
|
|
| test for comment
|
|
|
| test for CDATA section, used during parsing
|
|
|
| test for processing instruction
|
|
|
| test for processing instruction <?xml ...>
|
|
|
| test for element
|
|
|
| test for DTD part, used during parsing
|
|
|
| test for attribute tree
|
|
|
| test for error message
|
|
|
| test for root node (element with name "/")
|
|
|
test for text nodes with text, for which a predicate holds
example: hasText (all (`elem` " \t\n")) check for text nodes with only whitespace content
|
|
|
test for text nodes with only white space
implemented with hasTest
|
|
|
| test whether a node (element, attribute, pi) has a name with a special property
|
|
|
| test whether a node (element, attribute, pi) has a specific qualified name
useful only after namespace propagation
|
|
|
| test whether a node has a specific name (prefix:localPart ore localPart),
generally useful, even without namespace handling
|
|
|
| test whether a node has a specific name as local part,
useful only after namespace propagation
|
|
|
| test whether a node has a specific name prefix,
useful only after namespace propagation
|
|
|
| test whether a node has a specific namespace URI
useful only after namespace propagation
|
|
|
| test whether an element node has an attribute node with a specific name
|
|
|
| test whether an element node has an attribute node with a specific qualified name
|
|
|
| test whether an element node has an attribute with a specific value
|
|
|
| test whether an element node has an attribute with a qualified name and a specific value
|
|
|
| text node construction arrow
|
|
|
| char reference construction arrow, useful for document output
|
|
|
| entity reference construction arrow, useful for document output
|
|
|
| comment node construction, useful for document output
|
|
|
| CDATA construction, useful for document output
|
|
|
| error node construction, useful only internally
|
|
|
| element construction:
| the attributes and the content of the element are computed by applying arrows
to the input
|
|
|
| attribute node construction:
| the attribute value is computed by applying an arrow to the input
|
|
|
| processing instruction construction:
| the content of the processing instruction is computed by applying an arrow to the input
|
|
|
convenient arrow for element construction, more comfortable variant of mkElement
example for simplifying mkElement :
mkElement qn (a1 <+> ... <+> ai) (c1 <+> ... <+> cj)
equals
mkqelem qn [a1,...,ai] [c1,...,cj]
|
|
|
| convenient arrow for element construction with strings instead of qualified names as tagnames, see also mkElement and mkelem
|
|
|
| convenient arrow for element constrution with attributes but without content, simple variant of mkelem and mkElement
|
|
|
| convenient arrow for simple element constrution without attributes, simple variant of mkelem and mkElement
|
|
|
| convenient arrow for constrution of empty elements without attributes, simple variant of mkelem and mkElement
|
|
|
| construction of an element node with name "/" for document roots
|
|
|
| alias for mkAttr
|
|
|
| convenient arrow for attribute constrution, simple variant of mkAttr
|
|
|
| constant arrow for text nodes
|
|
|
| constant arrow for char reference nodes
|
|
|
| constant arrow for entity reference nodes
|
|
|
| constant arrow for comment
|
|
|
| constant arrow for warning
|
|
|
| constant arrow for errors
|
|
|
| constant arrow for fatal errors
|
|
|
| constant arrow for simple processing instructions, see mkPi
|
|
|
| constant arrow for attribute nodes, attribute name is a qualified name and value is a text,
| see also mkAttr, qattr, attr
|
|
|
| constant arrow for attribute nodes, attribute name and value are
| given by parameters, see mkAttr
|
|
|
| select the text of a text node
|
|
|
| select the value of a char reference
|
|
|
| select the name of a entity reference node
|
|
|
| select the comment of a comment node
|
|
|
| select the content of a CDATA node
|
|
|
| select the name of a processing instruction
|
|
|
| select the content of a processing instruction
|
|
|
| select the name of an element node
|
|
|
| select the attribute list of an element node
|
|
|
| select the DTD type of a DTD node
|
|
|
| select the DTD attributes of a DTD node
|
|
|
| select the name of an attribute
|
|
|
| select the error level (c_warn, c_err, c_fatal) from an error node
|
|
|
| select the error message from an error node
|
|
|
| select the qualified name from an element, attribute or pi
|
|
|
| select the prefix:localPart or localPart from an element, attribute or pi
|
|
|
| select the univeral name ({namespace URI} ++ localPart)
|
|
|
| select the univeral name (namespace URI ++ localPart)
|
|
|
| select the local part
|
|
|
| select the name prefix
|
|
|
| select the namespace URI
|
|
|
| select the value of an attribute of an element node,
always succeeds with empty string as default value ""
|
|
|
| like getAttrValue, but fails if the attribute does not exist
|
|
|
| like getAttrValue, but select the value of an attribute given by a qualified name,
always succeeds with empty string as default value ""
|
|
|
| like getQAttrValue, but fails if attribute does not exist
|
|
|
| edit the string of a text node
|
|
|
| edit the comment string of a comment node
|
|
|
| edit an element-, attribute- or pi- name
|
|
|
| edit an element name
|
|
|
| edit an attribute name
|
|
|
| edit a pi name
|
|
|
| edit an attribute value
|
|
|
| edit an attribute list of an element node
|
|
|
| replace an element, attribute or pi name
|
|
|
| replace an element name
|
|
|
| replace an attribute name
|
|
|
| replace an element name
|
|
|
| replace an atribute list of an element node
|
|
|
| add a list of attributes list to an element
|
|
|
| add (or replace) an attribute
|
|
|
| remove an attribute
|
|
|
| remove an attribute with a qualified name
|
|
|
| process the attributes of an element node with an arrow
|
|
|
| process a whole tree inclusive attribute list of element nodes
see also: processTopDown
|
|
|
convenient op for adding attributes or children to a node
usage: tf += cf
the tf arrow computes an element node, and all trees computed by cf are
added to this node, if a tree is an attribute, it is inserted in the attribute list
else it is appended to the content list.
attention: do not build long content list this way because += is implemented by ++
examples:
eelem "a"
+= sattr "href" "page.html"
+= sattr "name" "here"
+= txt "look here"
is the same as
mkelem [ sattr "href" "page.html"
, sattr "name" "here"
]
[ txt "look here" ]
and results in the XML fragment: <a href="page.html" name="here">look here</a>
advantage of the += operator is, that attributes and content can be added
any time step by step.
if tf computes a whole list of trees, e.g. a list of "td" or "tr" elements,
the attributes or content is added to all trees. useful for adding "class" or "style" attributes
to table elements.
|
|
|
| apply an arrow to the input and convert the resulting XML trees into a string representation
|
Instances