Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- pattern RemoteEstSt :: RemoteSt
- verifyRemoteTransition :: RemoteTransition -> Bool
- validRemoteTransitionMap :: RemoteTransition -> (Int, String)
- allValidRemoteTransitionsNames :: [String]
- verifyRemoteTransitionOrder :: Bool -> [RemoteTransition] -> All
- remoteStrIsFinalTransition :: Transition' (Maybe RemoteSt) -> Bool
- inboundGovernorTraceMap :: InboundGovernorTrace ntnAddr -> String
- serverTraceMap :: Show ntnAddr => ServerTrace ntnAddr -> String
Documentation
pattern RemoteEstSt :: RemoteSt Source #
Pattern synonym which matches either RemoteHotEst
or RemoteWarmSt
.
verifyRemoteTransition :: RemoteTransition -> Bool Source #
Specification of the transition table of the inbound governor.
validRemoteTransitionMap :: RemoteTransition -> (Int, String) Source #
Maps each valid remote transition into one number. Collapses all invalid transition into a single number.
NOTE: Should be in sync with verifyRemoteTransition
allValidRemoteTransitionsNames :: [String] Source #
List of all valid transition's names.
NOTE: Should be in sync with verifyAbstractTransition
.
verifyRemoteTransitionOrder Source #
:: Bool | Check last transition: useful for distinguish Diffusion layer tests vs non-Diffusion ones. |
-> [RemoteTransition] | |
-> All |
inboundGovernorTraceMap :: InboundGovernorTrace ntnAddr -> String Source #
serverTraceMap :: Show ntnAddr => ServerTrace ntnAddr -> String Source #