public void should_be_initially_empty_and_not_reserved() { var buffer = MockRepository.GenerateStub<IBuffer>(); var channel = new Channel(buffer); channel.IsFull().Should().Be.False(); channel.IsReservedForOtherThan(new Flit()).Should().Be.False(); }
public void should_be_full_when_buffer_is_also_full() { var buffer = MockRepository.GenerateMock<IBuffer>(); var channel = new Channel(buffer); buffer.Expect(x => x.IsFull()).Return(true); channel.IsFull().Should().Be.True(); buffer.VerifyAllExpectations(); }
public void should_be_marked_as_reserved_after_reservation() { var buffer = MockRepository.GenerateStub<IBuffer>(); var channel = new Channel(buffer); var flit = new Flit(); channel.Reserve(flit); channel.IsReservedForOtherThan(flit).Should().Be.False(); channel.IsReservedForOtherThan(new Flit()).Should().Be.True(); }