Page Menu
Home
Xreate
Search
Configure Global Search
Log In
Docs
Questions
Repository
Issues
Patches
Internal API
Files
F4001108
xml-backup.xreate
No One
Temporary
Actions
View File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Subscribers
None
File Metadata
Details
File Info
Storage
Attached
Created
Thu, Jul 9, 5:54 AM
Size
1 KB
Mime Type
text/plain
Expires
Sat, Jul 11, 5:54 AM (1 d, 4 h)
Engine
blob
Format
Raw Data
Handle
272782
Attached To
rXR Xreate
xml-backup.xreate
View Options
default_filname = "project/documentation.fodt" : string;
/* require ptrvalid */
/* local scope doc ptr */
XmlNode = type {
tag: string;
attrs: [string];
content: string}.
Tree = type(Leaf) Tree [Leaf; [Tree(Leaf)]];
XmlTree = Tree(XmlNode);
children = function: (tree: xmlNodePtr)->XmlTree
{
childrenRaw = tree[xmlChildrenNode]: [xmlNodePtr], linkedlist(next, null);
map (childrenRaw->childRaw: xmlNodePtr) {
Tree[childRaw[name] children(childRaw)]
}
}
document = function: (filename: string)->XmlTree
{
docRaw = xmlParseFile(docname.c_str()) : xmlDocPtr;
nodeRaw= xmlDocGetRootElement(docRaw) : xmlNodePtr;
Tree [nodeRaw[name] children(nodeRaw));
}
query = function: (tree: XmlTree) [string, string]
{
children : context(children) =
case default
[]
case (tree[0]: NeedChildren(childrenFilters), ApplyTransform(transFilters))
{
loop fold (tree[1]->child: Tree(Leaf) | childrenFilters; []->accum).
{accum + traverse(child): cases(transFilters) };
}
node =
case (node.tag == "style:style"; class = node[attrs, "style:name"]; exists(class, ParaKnownClasses))
{
[class, node[attrs, "style:display-name"]];
}
case default
[] ;
node + children;
}
test = function: ()->num
{
data = query(document(default_filename)): [string, string];
exists(data, "pgess1").
}
Event Timeline
Log In to Comment