Copyright	(C) 2017 ATS Advanced Telematic Systems GmbH
License	BSD-style (see the file LICENSE)
Maintainer	Stevan Andjelkovic <stevan.andjelkovic@strath.ac.uk>
Stability	provisional
Portability	non-portable (GHC extensions)
Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.StateMachine.Types.History

Description

This module contains the notion of a history of an execution of a (parallel) program.

Synopsis

Documentation

newtype History cmd resp Source #

Constructors

History
Fields unHistory :: History' cmd resp

Instances details

(Show (cmd Concrete), Show (resp Concrete)) => Show (History cmd resp) Source #
Instance details Defined in Test.StateMachine.Types.History Methods showsPrec :: Int -> History cmd resp -> ShowS # show :: History cmd resp -> String # showList :: [History cmd resp] -> ShowS #
(Eq (cmd Concrete), Eq (resp Concrete)) => Eq (History cmd resp) Source #
Instance details Defined in Test.StateMachine.Types.History Methods (==) :: History cmd resp -> History cmd resp -> Bool # (/=) :: History cmd resp -> History cmd resp -> Bool #

type History' cmd resp = [(Pid, HistoryEvent cmd resp)] Source #

Constructors

Pid
Fields unPid :: Int

Instances details

Show Pid Source #
Instance details Defined in Test.StateMachine.Types.History Methods showsPrec :: Int -> Pid -> ShowS # show :: Pid -> String # showList :: [Pid] -> ShowS #
Eq Pid Source #
Instance details Defined in Test.StateMachine.Types.History Methods (==) :: Pid -> Pid -> Bool # (/=) :: Pid -> Pid -> Bool #
Ord Pid Source #
Instance details Defined in Test.StateMachine.Types.History Methods compare :: Pid -> Pid -> Ordering # (<) :: Pid -> Pid -> Bool # (<=) :: Pid -> Pid -> Bool # (>) :: Pid -> Pid -> Bool # (>=) :: Pid -> Pid -> Bool # max :: Pid -> Pid -> Pid # min :: Pid -> Pid -> Pid #

Constructors

Invocation !(cmd Concrete) !(Set Var)
Response !(resp Concrete)
Exception !String

Instances details

(Show (cmd Concrete), Show (resp Concrete)) => Show (HistoryEvent cmd resp) Source #
Instance details Defined in Test.StateMachine.Types.History Methods showsPrec :: Int -> HistoryEvent cmd resp -> ShowS # show :: HistoryEvent cmd resp -> String # showList :: [HistoryEvent cmd resp] -> ShowS #
(Eq (cmd Concrete), Eq (resp Concrete)) => Eq (HistoryEvent cmd resp) Source #
Instance details Defined in Test.StateMachine.Types.History Methods (==) :: HistoryEvent cmd resp -> HistoryEvent cmd resp -> Bool # (/=) :: HistoryEvent cmd resp -> HistoryEvent cmd resp -> Bool #

An operation packs up an invocation event with its corresponding response event.

Constructors

Operation (cmd Concrete) (resp Concrete) Pid
Crash (cmd Concrete) String Pid

Instances details

(Show (cmd Concrete), Show (resp Concrete)) => Show (Operation cmd resp) Source #
Instance details Defined in Test.StateMachine.Types.History Methods showsPrec :: Int -> Operation cmd resp -> ShowS # show :: Operation cmd resp -> String # showList :: [Operation cmd resp] -> ShowS #

Given a sequential history, group invocation and response events into operations.

Given a parallel history, return all possible interleavings of invocations and corresponding response events.