Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Network.ConnectionManager.Timeouts

Synopsis

verifyAllTimeouts :: Show addr => Bool -> Trace (SimResult ()) [(Time, AbstractTransitionTrace addr)] -> Every
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]
}
newtype ArbDataFlow = ArbDataFlow DataFlow
data Timeouts = Timeouts {
- tProtocolIdleTimeout :: DiffTime
- tOutboundIdleTimeout :: DiffTime
- tTimeWaitTimeout :: DiffTime
}
ioTimeouts :: Timeouts
simTimeouts :: Timeouts
mkProperty :: TestProperty -> Property
mkPropertyPruning :: TestProperty -> Property
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)
classifyNegotiatedDataFlow :: [AbstractTransition] -> NegotiatedDataFlow
classifyActivityType :: [AbstractTransition] -> ActivityType
classifyEffectiveDataFlow :: [AbstractTransition] -> EffectiveDataFlow
classifyTermination :: [AbstractTransition] -> Maybe TerminationType
classifyPrunings :: [Trace addr (ConnectionHandlerTrace prctl dataflow)] -> Sum Int
classifyPruning :: Trace addr (ConnectionHandlerTrace prctl dataflow) -> Sum Int
within_ :: Int -> Int -> String
ppTransition :: AbstractTransition -> String

Documentation

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

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 Test.Ouroboros.Network.ConnectionManager.Timeouts Methods arbitrary :: Gen TestAddr # shrink :: TestAddr -> [TestAddr] #
Show TestAddr Source #
Instance details Defined in Test.Ouroboros.Network.ConnectionManager.Timeouts Methods showsPrec :: Int -> TestAddr -> ShowS # show :: TestAddr -> String # showList :: [TestAddr] -> ShowS #
Eq TestAddr Source #
Instance details Defined in Test.Ouroboros.Network.ConnectionManager.Timeouts Methods (==) :: TestAddr -> TestAddr -> Bool # (/=) :: TestAddr -> TestAddr -> Bool #
Ord TestAddr Source #
Instance details Defined in Test.Ouroboros.Network.ConnectionManager.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 Test.Ouroboros.Network.ConnectionManager.Timeouts Methods mempty :: TestProperty # mappend :: TestProperty -> TestProperty -> TestProperty # mconcat :: [TestProperty] -> TestProperty #
Semigroup TestProperty Source #
Instance details Defined in Test.Ouroboros.Network.ConnectionManager.Timeouts Methods (<>) :: TestProperty -> TestProperty -> TestProperty # sconcat :: NonEmpty TestProperty -> TestProperty # stimes :: Integral b => b -> TestProperty -> TestProperty #
Show TestProperty Source #
Instance details Defined in Test.Ouroboros.Network.ConnectionManager.Timeouts Methods showsPrec :: Int -> TestProperty -> ShowS # show :: TestProperty -> String # showList :: [TestProperty] -> ShowS #

newtype ArbDataFlow Source #

Constructors

ArbDataFlow DataFlow

Instances

Instances details

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

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.

mkProperty :: TestProperty -> Property Source #

mkPropertyPruning :: TestProperty -> Property Source #

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.

classifyNegotiatedDataFlow :: [AbstractTransition] -> NegotiatedDataFlow Source #

classifyActivityType :: [AbstractTransition] -> ActivityType Source #

classifyEffectiveDataFlow :: [AbstractTransition] -> EffectiveDataFlow Source #

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

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

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

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

ppTransition :: AbstractTransition -> String Source #