Skip to content

Commit

Permalink
Create documentation #13
Browse files Browse the repository at this point in the history
  • Loading branch information
MarcinCelej authored Sep 3, 2016
1 parent 22a028c commit 264771f
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,12 +9,12 @@ DbC help us develop more reliable software. It is one of the basic principles of
Now, let's quit yapping and show some code:

```C#
[NotNull, Pure]
public static Contractor CreatePerson([NotNull] string firstName, [NotNull] string lastName)
{
Fail.IfArgumentEmpty(firstName, nameof(firstName));
Fail.IfArgumentEmpty(lastName, nameof(lastName));
[NotNull, Pure]
public static Contractor CreatePerson([NotNull] string firstName, [NotNull] string lastName)
{
Fail.IfArgumentEmpty(firstName, nameof(firstName));
Fail.IfArgumentEmpty(lastName, nameof(lastName));

throw Fail.Because("Not implemented yet");
}
throw Fail.Because("Not implemented yet");
}
```

0 comments on commit 264771f

Please sign in to comment.