public class Contract extends Object
Represents a contract between a supplier and a customer of a class.
| 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) | 
Copyright © 2003-2025 The Apache Software Foundation. All rights reserved.