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

Test.StateMachine.Types.History

Description

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

Synopsis

newtype History cmd resp = History {
- unHistory :: History' cmd resp
}
type History' cmd resp = [(Pid, HistoryEvent cmd resp)]
newtype Pid = Pid {
- unPid :: Int
}
data HistoryEvent cmd resp
- = Invocation !(cmd Concrete) !(Set Var)
- | Response !(resp Concrete)
data Operation cmd resp = Operation (cmd Concrete) (resp Concrete) Pid
makeOperations :: History' cmd resp -> [Operation cmd resp]
interleavings :: [(Pid, HistoryEvent cmd resp)] -> Forest (Operation cmd resp)

Documentation

newtype History cmd resp Source #

Constructors

History
Fields unHistory :: History' cmd resp

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

Constructors

Pid
Fields unPid :: Int

Instances

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

Constructors

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

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

Constructors

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