AndreaCensi/contracts — pull request #7 by braingram (2012-07-23 13:21:56+00:00)
Title: Added support for attribute contracts

I added some support for attribute contract statements (example below).

Example
------

```python
import contracts

class A:
a = 1
b = 2

a = A()

def test(c):
print "Testing %s" % c
print "\t%s" % contracts.check(c, a)
print "\tPassed"

test('object')
test('object(a:int)')
test('object(a:int;b:int)')
test('object(a:int;b:int,>1)')
```