return new RenamePragmaRefactoring(info);
} else if (n instanceof IdentNode &&
(((IdentNode)n).getKind() == IdentNode.Kind.PRODUCTION ||
((IdentNode)n).getKind() == IdentNode.Kind.COMPILER))
{
return new RenameProductionRefactoring(info);
}
}
return null;
}