CS代写 - The Assignment 2 checker.

— The Assignment 2 checker.
— Please read the instructions in the handout carefully before running this
— checker.
— Note that you *MUST* change the directory before loading this file in, or

— ghci will not be able to find Assignment2.hs. The instructions in the handout
— tell you how to do this.

{-# LANGUAGE ExistentialQuantification #-}

import System.Timeout
import Control.Exception
import Data.Maybe

import Assignment2

—- Building test cases

data Test = forall a b. (Show b, Eq b) => Test
function :: a -> b,
argument :: a,
expected :: b,
display :: String

oneArg :: (Show a, Show b, Eq b) => (a -> b) -> a -> b -> String -> Test
oneArg func arg exp name = Test
function = func,
argument = arg,
expected = exp,
display = unwords [name, show arg]

twoArg :: (Show a, Show b, Show c, Eq c) =>
(a -> b -> c) -> a -> b -> c -> String -> Test
twoArg func arg1 arg2 exp name = Test
function = uncurry func,
argument = (arg1, arg2),
expected = exp,
display = unwords [name, show arg1, show arg2]

—- Running test cases

data Result = Terminated { output :: String, correct :: Bool }
| Exception { message :: String }

runFunc :: Test -> Result
runFunc (Test func arg exp disp) =
Terminated { output = show out, correct = out == exp}
where out = func arg

handler :: SomeException -> IO Result
handler e = return $ case show e of “<>” -> Timeout
_ -> Exception $ takeWhile (/=’\n’) $ show e

tester :: Test -> IO Result
tester test = do
let out = runFunc test
evaluate $ correct out — this will force all exceptions
return out

runTest :: Test -> IO Result
runTest test = do
res <- timeout 1000000 $ (tester test) `catch` handler return $ fromMaybe Timeout res ---- Displaying results expectedOutput :: Test -> String
expectedOutput (Test _ _ exp _) = show exp

showResult :: (Test, Result) -> String
showResult (test, result) =
called = “called: ” ++ display test
expected = “expected: ” ++ expectedOutput test
actual = “output: ” ++ case result of
(Terminated out correct) ->
out ++ ” (” ++ (if correct then “correct” else “WRONG”) ++ “)”
(Exception msg) -> “Exception (” ++ msg ++ “)”
Timeout -> “Timeout”
called ++ “\n ” ++ expected ++ “\n ” ++ actual ++ “\n”

passed :: Result -> Bool
passed (Terminated _ c) = c
passed (Exception _ ) = False
passed Timeout = False

passedStats :: [Result] -> String
passedStats results = “passed: ” ++ pass ++ “, failed: ” ++ fail
where passCount = length $ filter passed results
pass = show passCount
fail = show $ length results – passCount

compileCheck :: IO ()
compileCheck =
putStrLn “Your Assignment2 file compiles successfully and has correct types”

test :: IO ()
results <- mapM runTest testCases mapM_ (putStrLn . showResult) $ zip testCases results putStrLn $ passedStats results putStrLn "\nNOTE: Passing these tests does not guarantee any marks." putStrLn " You are advised to test thoroughly with your own inputs." ---- The test cases testCases :: [Test] testCases = [ oneArg Assignment2.transaction_to_string ('B', 100, 1104, "VTI", 1) "Bought 100 units of VTI for 1104 pounds each on day 1" "transaction_to_string" , oneArg Assignment2.transaction_to_string ('S', 100, 1104, "VTI", 1) "Sold 100 units of VTI for 1104 pounds each on day 1" "transaction_to_string" , oneArg Assignment2.trade_report_list [('B', 100, 1104, "VTI", 1)] ["Bought 100 units of VTI for 1104 pounds each on day 1"] "trade_report_list" , twoArg Assignment2.stock_test "VTI" ('B', 100, 1104, "VTI", 1) True "stock_test" , twoArg Assignment2.get_trades "VTI" [('B', 100, 1104, "VTI", 1)] [('B', 100, 1104, "VTI", 1)] "get_trades" , twoArg Assignment2.trade_report "VTI" [('B', 100, 1104, "VTI", 1)] "Bought 100 units of VTI for 1104 pounds each on day 1\n" "trade_report" , twoArg Assignment2.update_money ('B', 1, 10, "VTI", 5) 100 90 "update_money" , twoArg Assignment2.profit [('B', 1, 10, "VTI", 1), ('S', 1, 20, "VTI", 2)] "VTI" 10 "profit" , twoArg Assignment2.profit_report ["VTI"] [('B', 1, 10, "VTI", 1), ('S', 1, 20, "VTI", 2)] "VTI: 10\n" "profit_report" , twoArg Assignment2.complex_profit_report "BUY 1 VTI 1\nSELL 1 VTI 2\n" [("VTI", [10, 20])] "VTI: 10\n" "complex_profit_report" 程序代写 CS代考加微信: powcoder QQ: 1823890830 Email: powcoder@163.com

Related Posts