public void HIGH_DummyInputPort_ShouldReturn_HIGH()
{
var dummyPort = new TestInputPort();
dummyPort.SetInternalState(BinaryState.High);
dummyPort.Read().ShouldBeEquivalentTo(BinaryState.High);
}
public void LOW_DummyInputPort_ShouldReturn_LOW()
{
var dummyPort = new TestInputPort();
dummyPort.SetInternalState(BinaryState.Low);
dummyPort.Read().ShouldBeEquivalentTo(BinaryState.Low);
}
public void LOW_INVERTED_DummyInputPort_StateShouldReturn_HIGH()
{
var dummyPort = new TestInputPort();
dummyPort = (TestInputPort)dummyPort.WithInvertedState();
dummyPort.SetInternalState(BinaryState.Low);
dummyPort.Read().ShouldBeEquivalentTo(BinaryState.High);
}
public void HIGH_INVERTED_DummyInputPort_ShouldReturn_LOW()
{
var dummyPort = new TestInputPort();
dummyPort = (TestInputPort)dummyPort.WithInvertedState();
dummyPort.SetInternalState(BinaryState.High);
dummyPort.Read().ShouldBeEquivalentTo(BinaryState.Low);
}
public void LOW_DummyInputPort_ShouldReturn_LOW()
{
var dummyPort = new TestInputPort();
dummyPort.SetInternalState(BinaryState.Low);
dummyPort.Read().ShouldBeEquivalentTo(BinaryState.Low);
}
public void HIGH_DummyInputPort_ShouldReturn_HIGH()
{
var dummyPort = new TestInputPort();
dummyPort.SetInternalState(BinaryState.High);
dummyPort.Read().ShouldBeEquivalentTo(BinaryState.High);
}