-- Copyright 2020 United States Government as represented by the Administrator
-- of the National Aeronautics and Space Administration. All Rights Reserved.
--
-- Disclaimers
--
-- Licensed under the Apache License, Version 2.0 (the "License"); you may
-- not use this file except in compliance with the License. You may obtain a
-- copy of the License at
--
-- https://www.apache.org/licenses/LICENSE-2.0
--
-- Unless required by applicable law or agreed to in writing, software
-- distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
-- WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
-- License for the specific language governing permissions and limitations
-- under the License.
--
-- | Test C language library.
module Main where
-- External imports
import Data.Either ( isLeft, isRight )
import Test.Framework ( Test, defaultMainWithOpts )
import Test.Framework.Providers.QuickCheck2 ( testProperty )
import Test.QuickCheck ( Property )
import Test.QuickCheck.Monadic ( assert, monadicIO, run )
-- Internal imports
import qualified Language.C.ParC as C ( myLexer, pTranslationUnit )
-- | Run all unit tests for the C parser.
main :: IO ()
main =
defaultMainWithOpts tests mempty
-- | All unit tests for the C parser.
tests :: [Test.Framework.Test]
tests =
[ testProperty "Parse C (correct header case)" propParseCOk
, testProperty "Parse C (incorrect header case)" propParseCFail
]
-- | Test the C parser on a well-formed header file.
propParseCOk :: Property
propParseCOk = monadicIO $ do
content <- run $ readFile "tests/reduced_geofence_msgs.h"
let program = C.pTranslationUnit $ C.myLexer content
assert (isRight program)
-- | Test the C parser on an incorrect header file.
propParseCFail :: Property
propParseCFail = monadicIO $ do
content <- run $ readFile "tests/reduced_geofence_msgs_bad.h"
let program = C.pTranslationUnit $ C.myLexer content
assert (isLeft program)