Beispiel #1
0
 public int TestMutableInstanceField(TestReadOnlyStructField c)
 {
     return(c.y.x);
 }
Beispiel #2
0
 public int TestReadonlyInstanceField(TestReadOnlyStructField c)
 {
     Contract.Requires(c != null);
     return(c.x.x);
 }