/** * Parse the source of the given constraint. */ private void parseConstraint(Constraint constraint) { ConstraintAnalyzer analyzer = new ConstraintAnalyzer(); analyzer.setModel(model); analyzer.setMethod(constraint.getDeclaringMethod()); analyzer.setConstraint(constraint); analyzer.analyzeSource(constraint.getSource()); }