“Native” Zlib Implementation Patch
Thanks for sending this in!
FYI - a few quick pointers about your contribution. No need to take any
action since I’ve fixed most of them on my machine already.
Please do your best to incorporate the bangs in your contributions. The
bangs indicate a non-nullable reference type. I find that it’s best if
you create a VS macro to insert them - I bind this macro to the CTRL-!
DTE.ActiveDocument.Selection.Text = “/!/”
This helps to reinforce in your mind (and in the mind of the code
reviewer) whether a given reference type is non-nullable or not. This
will also greatly help us out when we start running spec# for real
across our codebase to look for violations of this contract.
Generally you’ll find that any time you get a CodeContext from us it’s
guaranteed to not be null, which means that you don’t have to do a null
check. The converse is also true - if you have a nullable reference
type, you’ll need to validate it with one of the helpers in our
- General formatting issues
Please do try and stick with .NET naming conventions if possible when
porting code from Java etc. I realize that it does take time to do this,
and thanks, but it’s either you do it or I have to Not a big deal
since I can just do a CTRL-K CTRL-F on your code, but it would rock if
you could format along the same lines as the rest of the code.
- Testing / coverage
If possible please let us know how many specs from the spec suite your
code passes etc. That would help us determine how much to look into the