public void InvokeWithNullStringThrowsContractException() { var sut = new CodeContracts(); sut.StringMethod(default(string)); }
public void InvokeWithEmptyStringThrowsContractException() { var sut = new CodeContracts(); sut.StringMethod(string.Empty); }
public void InvokeWithWhiteSpaceStringThrowsContractException() { var sut = new CodeContracts(); sut.StringMethod(" "); }
public void InvokeWithStringSucceeds() { var sut = new CodeContracts(); sut.StringMethod("Arbitrary String"); }