Casts using “as” (Pitfalls and Best Practices to Prevent Them #5)(winsharp93.wordpress.com)

submitted by winSharp93(235) 2 years, 6 months ago

Well – “as” is faster to type than a “real” cast using two brackets and has the same result. Really? read more...

add a comment |category: C# |Views: 10

tags: pitfalls Codingstyle Casting C# As another

(Code-) Contracts as a part of the type system?(winsharp93.wordpress.com)

submitted by winSharp93(235) 2 years, 9 months ago

Contracts? What are Contracts? And why are they reputed to be concerned with the type system? Aren’t they just injected into the executable? Is there maybe “more” behind them? And how should they really be used? Read this post for clarification. read more...

add a comment |category: C# |Views: 14

tags: CodeContracts Codingstyle TypeSystem C# CLR another

No Interface without Contract? – Part 6: Object Invariants(winsharp93.wordpress.com)

submitted by winSharp93(235) 2 years, 9 months ago

Object invariants are a kind of postconditions which apply to all members. How to formulate them using Code Contracts? read more...

add a comment |category: C# |Views: 11

tags: Codingstyle CodeContracts C# another

No Interface Without Contract? – Writing down Pre- and Postconditions(winsharp93.wordpress.com)

submitted by winSharp93(235) 2 years, 10 months ago

Part 4 of the series "No interface without contract?" which introduces Microsoft Code Contracts. This part compares five ways of writing down pre- and postconditions. read more...

add a comment |category: C# |Views: 12

tags: Codingstyle CodeContracts C# another

No Interface Without Contract? – Finding Pre- and Postconditions(winsharp93.wordpress.com)

submitted by winSharp93(235) 2 years, 10 months ago

Part 3 of the series "No interface without contract?" which introduces Microsoft Code Contracts. This part is about pre- and postconditions of a sample class which will be used by further parts. read more...

add a comment |category: C# |Views: 4

tags: Codingstyle CodeContracts C# another

No interface without contract? – About Pre- and Postconditions(winsharp93.wordpress.com)

submitted by winSharp93(235) 2 years, 10 months ago

Part 1 of the series "No interface without contract?" which introduces Microsoft Code Contracts. This part introduces the idea of pre- and postconditions. read more...

1 comment |category: C# |Views: 11

tags: Codingstyle CodeContracts C# another

No interface without contract? – Why plain interfaces aren’t enough(winsharp93.wordpress.com)

submitted by winSharp93(235) 2 years, 10 months ago

Part 1 of the series "No interface without contract?" which introduces Microsoft Code Contracts. This part talks about the fundamentals why to use something like Code Contracts. read more...

add a comment |category: C# |Views: 13

tags: Codingstyle CodeContracts C# another