/** verify all possible contracts in this class */ public void verify() { checkShadow(); checkParentContract(); checkParentConsistency(); checkModifiers(); checkAssignmentContracts(); checkContractCtScanner(); checkBoundAndUnboundTypeReference(); checkModelIsTree(); checkContractCtScanner(); checkElementIsContainedInAttributeOfItsParent(); checkElementToPathToElementEquivalence(); checkRoleInParent(); }