public void checkGenericContracts() { checkParentContract(); // assignments checkAssignmentContracts(); // scanners checkContractCtScanner(); // type parameter reference. checkBoundAndUnboundTypeReference(); } }
/** verify all possible contracts in this class */ public void verify() { checkShadow(); checkParentContract(); checkParentConsistency(); checkModifiers(); checkAssignmentContracts(); checkContractCtScanner(); checkBoundAndUnboundTypeReference(); checkModelIsTree(); checkContractCtScanner(); checkElementIsContainedInAttributeOfItsParent(); checkElementToPathToElementEquivalence(); checkRoleInParent(); }