CurryInfo: icurry-3.2.0 / TermGraph.XML.generateXmlNode

generateXmlNode :: NodeID -> [NodeID] -> (NodeID, Node) -> XmlExp
generateXmlNode activenid results (nid, node) =
 XElem "node" []
   [
     xmlEntry "id" (show nid),
     xmlEntry "type" nType,
     xmlEntry "label" label,
     xmlEntry "isActive" (show isActive),
     xmlEntry "isResult" (show isResult),
     XElem "children" []
       (map ((xmlEntry "nodeId") . show) succs)
   ]

 where
  (nType, label, succs) = case node of
    FuncNode nm chld            -> ("FuncNode", nm, chld)
    ConsNode nm chld            -> ("ConsNode", nm, chld)
    ChoiceNode cid chld1 chld2  -> ("ChoiceNode", "? " ++ show cid,
                                    [chld1, chld2])
    FreeNode                    -> ("FreeNode", "free", [])
    PartNode nm (PartFuncCall _) chld -> ("FuncNode", nm, chld)
    PartNode nm (PartConsCall _) chld -> ("ConsNode", nm, chld)
  isActive = nid == activenid
  isResult = elem nid results

argument 3

deterministic operation

-- generate a xml representation of a graph node that contains
-- attributes relevant for drawing the graph

(_, _, _)

referentially transparent operation

no fixity defined

{(_,_,{(,)}) |-> {XElem}}

generateXmlNode

no precedence defined

{XElem}

Prelude.Int -> [Prelude.Int] -> (Prelude.Int, ICurry.Graph.Node) -> XML.XmlExp

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term