-- |
-- A test module for profiling the validating XML parser.
--
-- Author : .\\artin Schmidt
-- Version : $Id: Profiling.hs,v 1.5 2004/03/24 11:42:48 hxml Exp $

module Main
where

import XmlTree

import HdomParser
    ( parseXmlFile
    )

import Validation
    ( validateDTD
    , validateDoc
    , transform
    )



main :: IO()
main
    = do
      validateXml $ {-# SCC "parseXmlFile" #-} parseXmlFile


validateXml :: IO XmlTrees -> IO()
validateXml dom1
    = do
      dom <- dom1
      let
          dtdValidationErrors = {-# SCC "validateDTD" #-} validateDTD dom
          docValidationErrors = {-# SCC "validateDoc" #-} validateDoc dom
          newDocument         = {-# SCC "transform" #-}   transform $$ dom

      putStrLn "\n---------------------------------------------------------\n"
      putStrLn "Validate DTD:\n"
      putStrLn (showXErrors dtdValidationErrors)

      putStrLn "\n---------------------------------------------------------\n"
      putStrLn "Validate Document:\n"
      putStrLn (showXErrors docValidationErrors)

      putStrLn "\n---------------------------------------------------------\n"
      putStrLn "Transform document - add default values:\n"
      putStrLn (xshow newDocument)

      return ()