// Method is a getter or setter. Check if there is only
// one statement in the method so that there can be no
// computations.
Block body = meth.getBody();
if (body != null) {
if (body.statements().size() != 1) {
generateResultsForASTNode(history, meth, resource, "The getter "+
methBinding.getName() + " in the Model class "+
binding.getName() + " must include exactly one statement.");
}
}