/**
*
* @return node containing information about wrongly used operators
*/
protected static DefaultMutableTreeNode getWronglyUsedOperatorsInfo(IQualanalysisService qualanService) {
return new NodeGroupNetInfo(Messages.getString(prefix + "NumWronglyUsedOperators") + ": "
+ qualanService.getWronglyUsedOperators().size(), qualanService.getWronglyUsedOperators().iterator()) {
// wrongly used operators are not good and should trigger an error
@Override
public int getInfoState() {
if (getChildCount() > 0) {