cv.getSource(), cv.getLine());
configurationProblems.add(problem);
}
else if (warnOnFlexOnlyOptionUsage && info.isFlexOnly())
{
FlexOnlyConfigurationOptionNotSupported problem =
new FlexOnlyConfigurationOptionNotSupported(var, cv.getSource(),
cv.getLine());
configurationProblems.add(problem);
}
}
}