Changes between Version 2 and Version 3 of Contracts

Timestamp:

08/23/10 16:13:43 (14 years ago)

Author:

nevdelap

Comment:

--

Contracts

@@ -16 +16 @@
 
 == Boolean Expressions ==
-Be aware that Cobra gives '''and''', '''or''', and '''implies''' equal precedence which is different from the conventions of boolean logic. Since boolean expressions are the basis of contracts you should be aware of the implications to your expressions when writing your preconditions, postconditions and invariants, specifically that additional parentheses will be required where you might not expect to need them.
+Be aware that Cobra gives '''and''', '''or''', and '''implies''' equal precedence which is different from the conventions of boolean logic and most other languages including C# and Python. Since boolean expressions are the basis of contracts you should be aware of the implications to your expressions when writing your preconditions, postconditions and invariants, specifically that additional parentheses will be required where you might not expect to need them.
 
 == Keywords ==