[Java] Class Contract

public class Contract
extends Object

Represents a contract between a supplier and a customer of a class.

Constructor Summary

Constructors
Constructor and description
`Contract(ClassNode classNode)`

Methods
Type Params	Return Type	Name and description
	`public ClassInvariant`	`classInvariant()`
	`public ClassNode`	`classNode()`
	`public boolean`	`hasDefaultClassInvariant()`
	`public AssertionMap<Postcondition>`	`postconditions()`
	`public AssertionMap<Precondition>`	`preconditions()`
	`public void`	`setClassInvariant(ClassInvariant classInvariant)`

Inherited Methods
Methods inherited from class	Name
`class Object`	`wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll`