declare code as side-effects free using microsoft code contracts -
is there way declare method side-effects free using microsoft code contracts (.net 4)?
the [pure] attribute might you're looking for. attach method , code contracts assume doesn't involve state changes. note doesn't enforce or check anything, tells system make assumption, it's make sure you're using appropriately.
Comments
Post a Comment