예제 #1
0
 private void Invariants()
 {
     CustomContract.Invariant(_writer != null);
 }
예제 #2
0
 private void Invariants()
 {
     CustomContract.Invariant(_converters != null);
 }
예제 #3
0
 private void Invariants()
 {
     CustomContract.Invariant(_source != null);
 }