PebblePad : API documentation

Used to specify the public method code contracts only. Each method that returns something needs a default return, though it is actually ignored by the code contract checker These contracts apply to the interface. Under no circumstances should specific implementations of the interface alter them