Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.ConnectionManager.Test.Timeouts

Synopsis

verifyAllTimeouts :: Show addr => Bool -> Trace (SimResult ()) [(Time, AbstractTransitionTrace addr)] -> All
verifyTimeouts :: Maybe (AbstractState, Time) -> Bool -> [(Time, AbstractTransitionTrace addr)] -> Property
data Timeouts = Timeouts {
- tProtocolIdleTimeout :: DiffTime
- tOutboundIdleTimeout :: DiffTime
- tTimeWaitTimeout :: DiffTime
}
ioTimeouts :: Timeouts
simTimeouts :: Timeouts
groupConns :: Ord addr => (a -> TransitionTrace' addr st) -> (Transition' st -> Bool) -> Trace r a -> Trace r [a]
groupConnsEither :: Ord addr => (a -> TransitionTrace' addr st) -> (Transition' st -> Bool) -> Trace r (Either a b) -> Trace r (Either [a] b)
type SimAddr = TestAddress SimAddr_
type SimAddr_ = Int
newtype TestAddr = TestAddr {
- unTestAddr :: SimAddr
}
data TestProperty = TestProperty {
- tpProperty :: !Property
- tpNumberOfTransitions :: !(Sum Int)
- tpNumberOfConnections :: !(Sum Int)
- tpNumberOfPrunings :: !(Sum Int)
- tpNegotiatedDataFlows :: ![NegotiatedDataFlow]
- tpEffectiveDataFlows :: ![EffectiveDataFlow]
- tpTerminationTypes :: ![Maybe TerminationType]
- tpActivityTypes :: ![ActivityType]
- tpTransitions :: ![AbstractTransition]
}
mkProperty :: TestProperty -> Property
mkPropertyPruning :: TestProperty -> Property
classifyNegotiatedDataFlow :: [AbstractTransition] -> NegotiatedDataFlow
classifyEffectiveDataFlow :: [AbstractTransition] -> EffectiveDataFlow
classifyTermination :: [AbstractTransition] -> Maybe TerminationType
classifyActivityType :: [AbstractTransition] -> ActivityType
classifyPrunings :: [Trace addr (ConnectionHandlerTrace prctl dataflow)] -> Sum Int
classifyPruning :: Trace addr (ConnectionHandlerTrace prctl dataflow) -> Sum Int
newtype ArbDataFlow = ArbDataFlow DataFlow
data ActivityType
- = IdleConn
- | ActiveConn
data TerminationType
- = ErroredTermination
- | CleanTermination
data NegotiatedDataFlow
- = NotNegotiated
- | NegotiatedDataFlow DataFlow
data EffectiveDataFlow = EffectiveDataFlow DataFlow
within_ :: Int -> Int -> String
ppTransition :: AbstractTransition -> String

Documentation

verifyAllTimeouts :: Show addr => Bool -> Trace (SimResult ()) [(Time, AbstractTransitionTrace addr)] -> All Source #

verifyTimeouts Source #

Arguments

:: Maybe (AbstractState, Time)	Map of first occurrence of a given tau state
-> Bool	If running in Diffusion or not
-> [(Time, AbstractTransitionTrace addr)]	Stream of abstract transitions for a given connection paired with the time it occurred
-> Property

data Timeouts Source #

Configurable timeouts. We use different timeouts for IO and IOSim property tests.

Constructors

Timeouts
Fields tProtocolIdleTimeout :: DiffTime tOutboundIdleTimeout :: DiffTime tTimeWaitTimeout :: DiffTime

ioTimeouts :: Timeouts Source #

Timeouts for IO tests.

simTimeouts :: Timeouts Source #

Timeouts for IOSim tests.

groupConns :: Ord addr => (a -> TransitionTrace' addr st) -> (Transition' st -> Bool) -> Trace r a -> Trace r [a] Source #

Groups TransitionTrace to the same peerAddr.

groupConnsEither :: Ord addr => (a -> TransitionTrace' addr st) -> (Transition' st -> Bool) -> Trace r (Either a b) -> Trace r (Either [a] b) Source #

Like groupConns but can be used to also interleave other types of events.

type SimAddr = TestAddress SimAddr_ Source #

The concrete address type used by simulations.

type SimAddr_ = Int Source #

newtype TestAddr Source #

We use a wrapper for test addresses since the Arbitrary instance for Snocket.TestAddress only generates addresses between 1 and 4.

Constructors

TestAddr
Fields unTestAddr :: SimAddr

Instances

Instances details

Arbitrary TestAddr Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods arbitrary :: Gen TestAddr # shrink :: TestAddr -> [TestAddr] #
Show TestAddr Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods showsPrec :: Int -> TestAddr -> ShowS # show :: TestAddr -> String # showList :: [TestAddr] -> ShowS #
Eq TestAddr Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods (==) :: TestAddr -> TestAddr -> Bool # (/=) :: TestAddr -> TestAddr -> Bool #
Ord TestAddr Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods compare :: TestAddr -> TestAddr -> Ordering # (<) :: TestAddr -> TestAddr -> Bool # (<=) :: TestAddr -> TestAddr -> Bool # (>) :: TestAddr -> TestAddr -> Bool # (>=) :: TestAddr -> TestAddr -> Bool # max :: TestAddr -> TestAddr -> TestAddr # min :: TestAddr -> TestAddr -> TestAddr #

data TestProperty Source #

Test property together with classification.

Constructors

TestProperty

Fields

tpProperty :: !Property
True if property is true
tpNumberOfTransitions :: !(Sum Int)
number of all transitions
tpNumberOfConnections :: !(Sum Int)
number of all connections
tpNumberOfPrunings :: !(Sum Int)
number of all connections
tpNegotiatedDataFlows :: ![NegotiatedDataFlow]
tpEffectiveDataFlows :: ![EffectiveDataFlow]
tpTerminationTypes :: ![Maybe TerminationType]
tpActivityTypes :: ![ActivityType]
tpTransitions :: ![AbstractTransition]

Instances

Instances details

Monoid TestProperty Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods mempty :: TestProperty # mappend :: TestProperty -> TestProperty -> TestProperty # mconcat :: [TestProperty] -> TestProperty #
Semigroup TestProperty Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods (<>) :: TestProperty -> TestProperty -> TestProperty # sconcat :: NonEmpty TestProperty -> TestProperty # stimes :: Integral b => b -> TestProperty -> TestProperty #
Show TestProperty Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods showsPrec :: Int -> TestProperty -> ShowS # show :: TestProperty -> String # showList :: [TestProperty] -> ShowS #

mkProperty :: TestProperty -> Property Source #

mkPropertyPruning :: TestProperty -> Property Source #

classifyNegotiatedDataFlow :: [AbstractTransition] -> NegotiatedDataFlow Source #

classifyEffectiveDataFlow :: [AbstractTransition] -> EffectiveDataFlow Source #

classifyTermination :: [AbstractTransition] -> Maybe TerminationType Source #

classifyActivityType :: [AbstractTransition] -> ActivityType Source #

classifyPrunings :: [Trace addr (ConnectionHandlerTrace prctl dataflow)] -> Sum Int Source #

classifyPruning :: Trace addr (ConnectionHandlerTrace prctl dataflow) -> Sum Int Source #

newtype ArbDataFlow Source #

Constructors

ArbDataFlow DataFlow

Instances

Instances details

Arbitrary ArbDataFlow Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods arbitrary :: Gen ArbDataFlow # shrink :: ArbDataFlow -> [ArbDataFlow] #
Show ArbDataFlow Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods showsPrec :: Int -> ArbDataFlow -> ShowS # show :: ArbDataFlow -> String # showList :: [ArbDataFlow] -> ShowS #

data ActivityType Source #

Constructors

IdleConn

ActiveConn

Active connections are once that reach any of the state:

InboundSt
OutobundUniSt
OutboundDupSt
DuplexSt

Instances

Instances details

Show ActivityType Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods showsPrec :: Int -> ActivityType -> ShowS # show :: ActivityType -> String # showList :: [ActivityType] -> ShowS #
Eq ActivityType Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods (==) :: ActivityType -> ActivityType -> Bool # (/=) :: ActivityType -> ActivityType -> Bool #

data TerminationType Source #

Constructors

ErroredTermination
CleanTermination

Instances

Instances details

Show TerminationType Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods showsPrec :: Int -> TerminationType -> ShowS # show :: TerminationType -> String # showList :: [TerminationType] -> ShowS #
Eq TerminationType Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods (==) :: TerminationType -> TerminationType -> Bool # (/=) :: TerminationType -> TerminationType -> Bool #

data NegotiatedDataFlow Source #

Constructors

NotNegotiated
NegotiatedDataFlow DataFlow	Negotiated value of `DataFlow`

Instances

Instances details

Show NegotiatedDataFlow Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods showsPrec :: Int -> NegotiatedDataFlow -> ShowS # show :: NegotiatedDataFlow -> String # showList :: [NegotiatedDataFlow] -> ShowS #
Eq NegotiatedDataFlow Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods (==) :: NegotiatedDataFlow -> NegotiatedDataFlow -> Bool # (/=) :: NegotiatedDataFlow -> NegotiatedDataFlow -> Bool #

data EffectiveDataFlow Source #

Constructors

EffectiveDataFlow DataFlow

Unlike the negotiated DataFlow this indicates if the connection has ever been in DuplexSt

Instances

Instances details

Show EffectiveDataFlow Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods showsPrec :: Int -> EffectiveDataFlow -> ShowS # show :: EffectiveDataFlow -> String # showList :: [EffectiveDataFlow] -> ShowS #
Eq EffectiveDataFlow Source #
Instance details Defined in Ouroboros.Network.ConnectionManager.Test.Timeouts Methods (==) :: EffectiveDataFlow -> EffectiveDataFlow -> Bool # (/=) :: EffectiveDataFlow -> EffectiveDataFlow -> Bool #

within_ :: Int -> Int -> String Source #

ppTransition :: AbstractTransition -> String Source #