2018-03-27 22:14:25 +03:00
|
|
|
{-# LANGUAGE GADTs, ScopedTypeVariables, TypeFamilies, TypeOperators #-}
|
2018-03-13 20:26:09 +03:00
|
|
|
module SpecHelpers (
|
|
|
|
module X
|
2018-03-10 03:24:23 +03:00
|
|
|
, diffFilePaths
|
2017-04-20 02:33:27 +03:00
|
|
|
, parseFilePath
|
2017-12-10 19:46:17 +03:00
|
|
|
, readFilePair
|
2018-02-07 23:20:27 +03:00
|
|
|
, readFileVerbatim
|
2018-04-02 21:37:01 +03:00
|
|
|
, addr
|
|
|
|
, ns
|
2018-03-13 21:18:05 +03:00
|
|
|
, verbatim
|
|
|
|
, Verbatim(..)
|
2018-04-22 17:47:59 +03:00
|
|
|
, TestEvaluating
|
2018-03-13 20:26:09 +03:00
|
|
|
, ) where
|
2017-04-19 19:12:19 +03:00
|
|
|
|
2018-04-24 19:00:43 +03:00
|
|
|
import Control.Abstract.Evaluator as X (EvaluatorState(..))
|
2018-03-13 20:26:09 +03:00
|
|
|
import Data.Abstract.Address as X
|
2018-03-16 01:09:28 +03:00
|
|
|
import Data.Abstract.FreeVariables as X hiding (dropExtension)
|
2018-03-15 03:42:59 +03:00
|
|
|
import Data.Abstract.Heap as X
|
2018-03-31 02:53:23 +03:00
|
|
|
import Data.Abstract.ModuleTable as X hiding (lookup)
|
2018-03-13 20:59:20 +03:00
|
|
|
import Data.Blob as X
|
2018-04-21 02:27:53 +03:00
|
|
|
import Data.File as X
|
2018-03-13 21:18:05 +03:00
|
|
|
import Data.Functor.Listable as X
|
|
|
|
import Data.Language as X
|
2018-03-13 20:32:25 +03:00
|
|
|
import Data.Output as X
|
2018-03-13 21:18:05 +03:00
|
|
|
import Data.Range as X
|
2018-03-13 20:59:20 +03:00
|
|
|
import Data.Record as X
|
2018-03-13 21:18:05 +03:00
|
|
|
import Data.Source as X
|
2018-03-13 20:59:20 +03:00
|
|
|
import Data.Span as X
|
2018-03-13 21:18:05 +03:00
|
|
|
import Data.Term as X
|
2018-03-13 20:26:09 +03:00
|
|
|
import Parsing.Parser as X
|
2018-03-13 20:32:25 +03:00
|
|
|
import Rendering.Renderer as X
|
2018-04-05 16:18:20 +03:00
|
|
|
import Semantic.Diff as X
|
|
|
|
import Semantic.Parse as X
|
2018-04-05 16:38:31 +03:00
|
|
|
import Semantic.Task as X hiding (parsePackage)
|
2018-03-13 20:26:09 +03:00
|
|
|
import Semantic.Util as X
|
2018-03-13 20:59:20 +03:00
|
|
|
import System.FilePath as X
|
|
|
|
|
2018-03-13 21:18:05 +03:00
|
|
|
import Data.ByteString as X (ByteString)
|
2018-03-13 21:04:58 +03:00
|
|
|
import Data.Functor.Both as X (Both, runBothWith, both)
|
2018-03-13 21:18:05 +03:00
|
|
|
import Data.Maybe as X
|
2018-03-13 20:26:09 +03:00
|
|
|
import Data.Monoid as X (Monoid(..), First(..), Last(..))
|
|
|
|
import Data.Semigroup as X (Semigroup(..))
|
2018-03-23 17:29:01 +03:00
|
|
|
import Control.Monad as X
|
2018-03-13 02:13:21 +03:00
|
|
|
|
2018-03-13 21:10:50 +03:00
|
|
|
import Test.Hspec as X (Spec, SpecWith, context, describe, it, xit, parallel, pendingWith, around, runIO)
|
2018-03-13 20:26:09 +03:00
|
|
|
import Test.Hspec.Expectations.Pretty as X
|
2018-03-13 20:59:20 +03:00
|
|
|
import Test.Hspec.LeanCheck as X
|
|
|
|
import Test.LeanCheck as X
|
|
|
|
|
2018-03-13 20:32:25 +03:00
|
|
|
import qualified Data.ByteString as B
|
|
|
|
import qualified Semantic.IO as IO
|
2018-04-02 21:37:01 +03:00
|
|
|
import Data.Abstract.Value
|
2018-04-21 17:22:09 +03:00
|
|
|
import Analysis.Abstract.Evaluating
|
2018-03-23 20:11:29 +03:00
|
|
|
|
2017-04-19 23:25:46 +03:00
|
|
|
-- | Returns an s-expression formatted diff for the specified FilePath pair.
|
2018-03-13 21:18:05 +03:00
|
|
|
diffFilePaths :: Both FilePath -> IO ByteString
|
2017-12-10 19:46:17 +03:00
|
|
|
diffFilePaths paths = readFilePair paths >>= runTask . diffBlobPair SExpressionDiffRenderer
|
2017-04-19 23:25:46 +03:00
|
|
|
|
|
|
|
-- | Returns an s-expression parse tree for the specified FilePath.
|
2018-03-13 21:18:05 +03:00
|
|
|
parseFilePath :: FilePath -> IO ByteString
|
2018-04-21 17:22:09 +03:00
|
|
|
parseFilePath path = (fromJust <$> IO.readFile (file path)) >>= runTask . parseBlob SExpressionTermRenderer
|
2017-04-21 23:56:19 +03:00
|
|
|
|
2017-12-11 19:27:13 +03:00
|
|
|
-- | Read two files to a BlobPair.
|
|
|
|
readFilePair :: Both FilePath -> IO BlobPair
|
2018-04-21 17:22:09 +03:00
|
|
|
readFilePair paths = let paths' = fmap file paths in
|
2017-12-11 19:27:13 +03:00
|
|
|
runBothWith IO.readFilePair paths'
|
2017-05-11 16:28:52 +03:00
|
|
|
|
2018-02-07 23:20:27 +03:00
|
|
|
readFileVerbatim :: FilePath -> IO Verbatim
|
2018-02-07 23:26:14 +03:00
|
|
|
readFileVerbatim = fmap verbatim . B.readFile
|
2018-02-07 23:20:27 +03:00
|
|
|
|
2018-04-21 17:22:09 +03:00
|
|
|
type TestEvaluating term = Evaluating Precise term (Value Precise)
|
|
|
|
|
2018-04-02 21:37:01 +03:00
|
|
|
ns n = Just . Latest . Just . injValue . Namespace n
|
|
|
|
addr = Address . Precise
|
|
|
|
|
2018-03-13 21:18:05 +03:00
|
|
|
newtype Verbatim = Verbatim ByteString
|
2018-02-07 23:20:27 +03:00
|
|
|
deriving (Eq)
|
|
|
|
|
|
|
|
instance Show Verbatim where
|
|
|
|
show (Verbatim x) = show x
|
|
|
|
|
2018-03-13 21:18:05 +03:00
|
|
|
verbatim :: ByteString -> Verbatim
|
2018-02-07 23:20:27 +03:00
|
|
|
verbatim = Verbatim . stripWhitespace
|
|
|
|
where
|
2018-03-13 21:18:05 +03:00
|
|
|
stripWhitespace :: ByteString -> ByteString
|
2018-02-07 23:20:27 +03:00
|
|
|
stripWhitespace = B.foldl' go B.empty
|
|
|
|
where go acc x | x `B.elem` " \t\n" = acc
|
|
|
|
| otherwise = B.snoc acc x
|