content: module ErrorCoverageTest where
  
  import Data.Set as S (Set, difference, fromList, null)
  import Data.Text as T (Text, lines, null, pack, strip, split)
  import GHC.Utils.Misc (filterOut)
  import Test.Tasty.HUnit as HUnit ( assertBool, Assertion, (@=?) )
  import Text.RawString.QQ (r)
  import WebDriverPreCore.Http
      ( errorTypeToErrorCode,
        errorDescription,
        errorCodeToErrorType )
  import GHC.Show (Show (..))
  import Data.Eq (Eq ((==)))
  import Data.Ord (Ord)
  import Data.Function (($), (.), (&))
  import Data.Semigroup ((<>))
  import Data.Functor ((<$>))
  import GHC.Base (error)
  import WebDriverPreCore.Internal.Utils(enumerate)
  import Data.Foldable (traverse_)
  import Data.Either (either)
  
  {-
  !! Replace this the endepoints from the spec with every release
  !! remove full stops and replace tabs with " | "
  https://www.w3.org/TR/2025/WD-webdriver2-20250512 - W3C Editor's Draft 10 February 2025
  61 endpoints
  Error Code 	HTTP Status 	JSON Error Code 	Description 
  -}
  errorsFromSpec :: Text
  errorsFromSpec = pack
    [r|element click intercepted  | 400  | element click intercepted  | The Element Click command could not be completed because the element receiving the events is obscuring the element that was requested clicked
  element not interactable  | 400  | element not interactable  | A command could not be completed because the element is not pointer- or keyboard interactable
  insecure certificate  | 400  | insecure certificate  | Navigation caused the user agent to hit a certificate warning, which is usually the result of an expired or invalid TLS certificate
  invalid argument  | 400  | invalid argument  | The arguments passed to a command are either invalid or malformed
  invalid cookie domain  | 400  | invalid cookie domain  | An illegal attempt was made to set a cookie under a different domain than the current page
  invalid element state  | 400  | invalid element state  | A command could not be completed because the element is in an invalid state, e.g. attempting to clear an element that isn't both editable and resettable
  invalid selector  | 400  | invalid selector  | Argument was an invalid selector
  invalid session id  | 404  | invalid session id  | Occurs if the given session id is not in the list of active sessions, meaning the session either does not exist or that it's not active
  javascript error  | 500  | javascript error  | An error occurred while executing JavaScript supplied by the user
  move target out of bounds  | 500  | move target out of bounds  | The target for mouse interaction is not in the browser's viewport and cannot be brought into that viewport
  no such alert  | 404  | no such alert  | An attempt was made to operate on a modal dialog when one was not open
  no such cookie  | 404  | no such cookie  | No cookie matching the given path name was found amongst the associated cookies of session's current browsing context's active document
  no such element  | 404  | no such element  | An element could not be located on the page using the given search parameters
  no such frame  | 404  | no such frame  | A command to switch to a frame could not be satisfied because the frame could not be found
  no such window  | 404  | no such window  | A command to switch to a window could not be satisfied because the window could not be found
  no such shadow root  | 404  | no such shadow root  | The element does not have a shadow root
  script timeout error  | 500  | script timeout  | A script did not complete before its timeout expired
  session not created  | 500  | session not created  | A new session could not be created
  stale element reference  | 404  | stale element reference  | A command failed because the referenced element is no longer attached to the DOM
  detached shadow root  | 404  | detached shadow root  | A command failed because the referenced shadow root is no longer attached to the DOM
  timeout  | 500  | timeout  | An operation did not complete before its timeout expired
  unable to set cookie  | 500  | unable to set cookie  | A command to set a cookie's value could not be satisfied
  unable to capture screen  | 500  | unable to capture screen  | A screen capture was made impossible
  unexpected alert open  | 500  | unexpected alert open  | A modal dialog was open, blocking this operation
  unknown command  | 404  | unknown command  | A command could not be executed because the remote end is not aware of it
  unknown error  | 500  | unknown error  | An unknown error occurred in the remote end while processing the command
  unknown method  | 405  | unknown method  | The requested command matched a known URL but did not match any method for that URL
  unsupported operation  | 500  | unsupported operation  | Indicates that a command that should have executed properly cannot be supported for some reason 
  |]
  
  data ErrorLine = MkErrorLine
    { 
      jsonErrorCode :: Text,
      description :: Text
    }
    deriving (Show, Eq, Ord)
  
  -- >>> allErrorsFromSpec
  -- fromList [MkErrorLine {jsonErrorCode = "detached shadow root", description = "A command failed because the referenced shadow root is no longer attached to the DOM"},MkErrorLine {jsonErrorCode = "element click intercepted", description = "The Element Click command could not be completed because the element receiving the events is obscuring the element that was requested clicked"},MkErrorLine {jsonErrorCode = "element not interactable", description = "A command could not be completed because the element is not pointer- or keyboard interactable"},MkErrorLine {jsonErrorCode = "insecure certificate", description = "Navigation caused the user agent to hit a certificate warning, which is usually the result of an expired or invalid TLS certificate"},MkErrorLine {jsonErrorCode = "invalid argument", description = "The arguments passed to a command are either invalid or malformed"},MkErrorLine {jsonErrorCode = "invalid cookie domain", description = "An illegal attempt was made to set a cookie under a different domain than the current page"},MkErrorLine {jsonErrorCode = "invalid element state", description = "A command could not be completed because the element is in an invalid state, e.g. attempting to clear an element that isn't both editable and resettable"},MkErrorLine {jsonErrorCode = "invalid selector", description = "Argument was an invalid selector"},MkErrorLine {jsonErrorCode = "invalid session id", description = "Occurs if the given session id is not in the list of active sessions, meaning the session either does not exist or that it's not active"},MkErrorLine {jsonErrorCode = "javascript error", description = "An error occurred while executing JavaScript supplied by the user"},MkErrorLine {jsonErrorCode = "move target out of bounds", description = "The target for mouse interaction is not in the browser's viewport and cannot be brought into that viewport"},MkErrorLine {jsonErrorCode = "no such alert", description = "An attempt was made to operate on a modal dialog when one was not open"},MkErrorLine {jsonErrorCode = "no such cookie", description = "No cookie matching the given path name was found amongst the associated cookies of session's current browsing context's active document"},MkErrorLine {jsonErrorCode = "no such element", description = "An element could not be located on the page using the given search parameters"},MkErrorLine {jsonErrorCode = "no such frame", description = "A command to switch to a frame could not be satisfied because the frame could not be found"},MkErrorLine {jsonErrorCode = "no such shadow root", description = "The element does not have a shadow root"},MkErrorLine {jsonErrorCode = "no such window", description = "A command to switch to a window could not be satisfied because the window could not be found"},MkErrorLine {jsonErrorCode = "script timeout", description = "A script did not complete before its timeout expired"},MkErrorLine {jsonErrorCode = "session not created", description = "A new session could not be created"},MkErrorLine {jsonErrorCode = "stale element reference", description = "A command failed because the referenced element is no longer attached to the DOM"},MkErrorLine {jsonErrorCode = "timeout", description = "An operation did not complete before its timeout expired"},MkErrorLine {jsonErrorCode = "unable to capture screen", description = "A screen capture was made impossible"},MkErrorLine {jsonErrorCode = "unable to set cookie", description = "A command to set a cookie's value could not be satisfied"},MkErrorLine {jsonErrorCode = "unexpected alert open", description = "A modal dialog was open, blocking this operation"},MkErrorLine {jsonErrorCode = "unknown command", description = "A command could not be executed because the remote end is not aware of it"},MkErrorLine {jsonErrorCode = "unknown error", description = "An unknown error occurred in the remote end while processing the command"},MkErrorLine {jsonErrorCode = "unknown method", description = "The requested command matched a known URL but did not match any method for that URL"},MkErrorLine {jsonErrorCode = "unsupported operation", description = "Indicates that a command that should have executed properly cannot be supported for some reason"}]
  allErrorsFromSpec :: Set ErrorLine
  allErrorsFromSpec = fromList $ parseErrorLine <$> filterOut T.null (T.lines errorsFromSpec)
   where
    parseErrorLine :: Text -> ErrorLine
    parseErrorLine line = 
      T.split (== '|') line & \case
        [_errrorCode, _httpStatus , jsonErrorCode, description] -> MkErrorLine (strip jsonErrorCode) $ strip description
        _ -> error $ "Error parsing line: " <> show line
  
  -- >>> allErrors
  -- fromList [MkErrorLine {jsonErrorCode = "detached shadow root", description = "A command failed because the referenced shadow root is no longer attached to the DOM"},MkErrorLine {jsonErrorCode = "element click intercepted", description = "The Element Click command could not be completed because the element receiving the events is obscuring the element that was requested clicked"},MkErrorLine {jsonErrorCode = "element not interactable", description = "A command could not be completed because the element is not pointer- or keyboard interactable"},MkErrorLine {jsonErrorCode = "insecure certificate", description = "Navigation caused the user agent to hit a certificate warning, which is usually the result of an expired or invalid TLS certificate"},MkErrorLine {jsonErrorCode = "invalid argument", description = "The arguments passed to a command are either invalid or malformed"},MkErrorLine {jsonErrorCode = "invalid cookie domain", description = "An illegal attempt was made to set a cookie under a different domain than the current page"},MkErrorLine {jsonErrorCode = "invalid element state", description = "A command could not be completed because the element is in an invalid state, e.g. attempting to clear an element that isn't both editable and resettable"},MkErrorLine {jsonErrorCode = "invalid selector", description = "Argument was an invalid selector"},MkErrorLine {jsonErrorCode = "invalid session id", description = "Occurs if the given session id is not in the list of active sessions, meaning the session either does not exist or that it's not active"},MkErrorLine {jsonErrorCode = "javascript error", description = "An error occurred while executing JavaScript supplied by the user"},MkErrorLine {jsonErrorCode = "move target out of bounds", description = "The target for mouse interaction is not in the browser's viewport and cannot be brought into that viewport"},MkErrorLine {jsonErrorCode = "no such alert", description = "An attempt was made to operate on a modal dialog when one was not open"},MkErrorLine {jsonErrorCode = "no such cookie", description = "No cookie matching the given path name was found amongst the associated cookies of session's current browsing context's active document"},MkErrorLine {jsonErrorCode = "no such element", description = "An element could not be located on the page using the given search parameters"},MkErrorLine {jsonErrorCode = "no such frame", description = "A command to switch to a frame could not be satisfied because the frame could not be found"},MkErrorLine {jsonErrorCode = "no such shadow root", description = "The element does not have a shadow root"},MkErrorLine {jsonErrorCode = "no such window", description = "A command to switch to a window could not be satisfied because the window could not be found"},MkErrorLine {jsonErrorCode = "script timeout", description = "A script did not complete before its timeout expired"},MkErrorLine {jsonErrorCode = "session not created", description = "A new session could not be created"},MkErrorLine {jsonErrorCode = "stale element reference", description = "A command failed because the referenced element is no longer attached to the DOM"},MkErrorLine {jsonErrorCode = "timeout", description = "An operation did not complete before its timeout expired"},MkErrorLine {jsonErrorCode = "unable to capture screen", description = "A screen capture was made impossible"},MkErrorLine {jsonErrorCode = "unable to set cookie", description = "A command to set a cookie's value could not be satisfied"},MkErrorLine {jsonErrorCode = "unexpected alert open", description = "A modal dialog was open, blocking this operation"},MkErrorLine {jsonErrorCode = "unknown command", description = "A command could not be executed because the remote end is not aware of it"},MkErrorLine {jsonErrorCode = "unknown error", description = "An unknown error occurred in the remote end while processing the command"},MkErrorLine {jsonErrorCode = "unknown method", description = "The requested command matched a known URL but did not match any method for that URL"},MkErrorLine {jsonErrorCode = "unsupported operation", description = "Indicates that a command that should have executed properly cannot be supported for some reason"}]
  allErrors :: Set ErrorLine
  allErrors = fromList $
   (\et -> MkErrorLine { 
      jsonErrorCode  = errorTypeToErrorCode et,
      description = errorDescription et
    })  <$> enumerate
  
  -- >>> unit_test_all_errors_covered
  unit_test_all_errors_covered :: Assertion
  unit_test_all_errors_covered = do
    -- print allErrors
    -- putStrLn ""
    assertBool ("Missing errors (in spec not captured by WebDriverErrorType):\n " <> show missing) (S.null missing)
    assertBool ("Extra errors (in WebDriverErrorType but not in spec):\n " <> show extra) (S.null extra)
    where
      missing = allErrors `difference` allErrorsFromSpec
      extra = allErrorsFromSpec `difference` allErrors
  
  
  -- >>> unit_round_trip_error_codes
  unit_round_trip_error_codes :: Assertion
  unit_round_trip_error_codes = do
    traverse_ checkRoundTripErrorCodes enumerate
    where
      checkRoundTripErrorCodes errorType = do
        let errorCode = errorTypeToErrorCode errorType
            errorType' = errorCodeToErrorType errorCode
        errorType' & either (error . show) (errorType @=?)
  