/* Any copyright is dedicated to the Public Domain.
 * http://creativecommons.org/publicdomain/zero/1.0/
 */
 
           // EXTERN INCLUDES
interface(extern-c){
  xml2 = library:: pkgconfig("libxml-2.0").
  
  include {
    xml2 = ["libxml/tree.h"]
  }.
} 

          // CONTAINERS
interface(dfa) {
  operator map::  (op(seqaccess)) -> impl(solid).
  operator list_range:: ()->impl(on_the_fly).
  operator list:: ()->impl(solid).
  operator fold:: (op(seqaccess)).
  /* operator index:: (op(randaccess)). - BREAKS THE ANALYSIS. MAKE tree VIEWED AS COLLECTION */ 
  /* operator map:  (op(seqaccess)) -> impl(llvm_array | on_the_fly); */
}

import raw("core/containers.lp").


          // PROGRAM
XmlNode = type {
        tag:: string,
       /* attrs:: [string],*/
        content:: string
}.

Tree = type {Leaf, [Tree(Leaf)]}.
XmlTree = type Tree(XmlNode).


test= function:: num; entry {
    filename = "scripts/containers/Containers_Implementation_LinkedList1-data.xml" :: string.
    docRaw = xmlParseFile(filename) :: xmlDocPtr.
    tree= xmlDocGetRootElement(docRaw) :: xmlNodePtr.
    childrenRaw = tree["children"]:: [xmlNodePtr]; linkedlist(next, null).
    size = loop fold(childrenRaw->child:: xmlNodePtr, 0->count):: int {
      count +1::int
    }.
      
    size
}