--------------------------------------------------------------------------------
--  $Id: SwishTestAll.hs,v 1.3 2004/02/11 21:47:37 graham Exp $
--
--  Copyright (c) 2003, G. KLYNE.  All rights reserved.
--  See end of this file for licence information.
--------------------------------------------------------------------------------
-- |
--  Module      :  SwishTestAll
--  Copyright   :  (c) 2003, Graham Klyne
--  License     :  GPL V2
--
--  Maintainer  :  Graham Klyne
--  Stability   :  provisional
--  Portability :  H98
--
--  This module is a consolidated test program for Swish.
--
--------------------------------------------------------------------------------

-- module SwishTestAll where
module Main where

import qualified DateTimeTest           ( allTests )
import qualified ParseTest              ( allTests )

import qualified LookupMapTest          ( allTests )
import qualified QNameTest              ( allTests )
import qualified NamespaceTest          ( allTests )
import qualified URITest                ( allTests )
import qualified ParseURITest           ( allTests )
import qualified GraphTest              ( allTests )
import qualified GraphPartitionTest     ( allTests )

import qualified VarBindingTest         ( allTests )

import qualified RDFGraphTest           ( allTests )
import qualified RDFQueryTest           ( allTests )
import qualified RDFProofTest           ( allTests )
import qualified RDFRulesetTest         ( allTests )
import qualified RDFProofContextTest    ( allTests )
import qualified RDFDatatypeXsdIntegerTest  ( allTests )
import qualified ClassRestrictionRuleTest   ( allTests )

import qualified N3FormatterTest        ( allTests )
import qualified N3ParserTest           ( allTests )

import qualified BuiltInMapTest         ( allTests )

import qualified SwishTest              ( allTests )

import HUnit
    ( Test(TestCase,TestList,TestLabel)
    , Assertion
    , assertBool, assertEqual, assertString, assertFailure
    , runTestTT, runTestText, putTextToHandle
    )

import IO
    ( Handle, IOMode(WriteMode)
    , openFile, hClose, hPutStr, hPutStrLn
    )


------------------------------------------------------------
--  All tests
------------------------------------------------------------

allTests = TestList
    [ DateTimeTest.allTests
    , ParseTest.allTests
    , BuiltInMapTest.allTests
    , LookupMapTest.allTests
    , QNameTest.allTests
    , NamespaceTest.allTests
    , URITest.allTests
    , ParseURITest.allTests
    , GraphTest.allTests
    , GraphPartitionTest.allTests
    , VarBindingTest.allTests
    , RDFGraphTest.allTests
    , RDFQueryTest.allTests
    , RDFProofTest.allTests
    , RDFRulesetTest.allTests
    , RDFProofContextTest.allTests
    , RDFDatatypeXsdIntegerTest.allTests
    , ClassRestrictionRuleTest.allTests
    , N3FormatterTest.allTests
    , N3ParserTest.allTests
    --  Big test:  may want to run this separately
    , SwishTest.allTests
    ]

main = runTestTT allTests

runTestFile t = do
    h <- openFile "a.tmp" WriteMode
    runTestText (putTextToHandle h False) t
    hClose h
tf = runTestFile
tt = runTestTT

--------------------------------------------------------------------------------
--
--  Copyright (c) 2003, G. KLYNE.  All rights reserved.
--
--  This file is part of Swish.
--
--  Swish is free software; you can redistribute it and/or modify
--  it under the terms of the GNU General Public License as published by
--  the Free Software Foundation; either version 2 of the License, or
--  (at your option) any later version.
--
--  Swish is distributed in the hope that it will be useful,
--  but WITHOUT ANY WARRANTY; without even the implied warranty of
--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
--  GNU General Public License for more details.
--
--  You should have received a copy of the GNU General Public License
--  along with Swish; if not, write to:
--    The Free Software Foundation, Inc.,
--    59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
--
--------------------------------------------------------------------------------
-- $Source: /file/cvsdev/HaskellRDF/SwishTestAll.hs,v $
-- $Author: graham $
-- $Revision: 1.3 $
-- $Log: SwishTestAll.hs,v $
-- Revision 1.3  2004/02/11 21:47:37  graham
-- Sync
--
-- Revision 1.2  2004/01/09 14:36:33  graham
-- Revert Swish.hs and Sw3ishtestAll.hs to declare module Main.
-- GHC compilation without -main-is option.  Tests OK.
--
-- Revision 1.1  2004/01/06 13:53:10  graham
-- Created consolidated test harness (SwishTestAll.hs)
--
-- Revision 1.4  2003/12/18 18:29:03  graham
--