Ejemplos de Helios.FsCheck.Tests.Channels.Sockets TcpServerSocketChannelStateMachine en C# (CSharp)

Ejemplo n.º 1

Archivo: TcpSocketServerSpecs.cs Proyecto: mortezasoft/helios

        public void TcpSeverSocketChannel_should_obey_model()
        {
            var model = new TcpServerSocketChannelStateMachine();

            try
            {
                model.ToProperty().VerboseCheckThrowOnFailure();
            }
            finally
            {
                model.ShutdownAll();
            }
        }

Ejemplo n.º 2

Archivo: TcpServerSocketChannelStateMachine.cs Proyecto: zhangrl/helios

 public ShutdownChannels(TcpServerSocketChannelStateMachine sm)
 {
     _sm   = sm;
     Model = _sm.InternalState;
 }