llvm-clang: analyseur incrémental ou en ligne?

Question

Est-il possible d'utiliser l'analyseur llvm-clang de manière incrémentielle/en ligne? Dites que j'écris un éditeur et que je veux être capable d'analyser le code C++ que j'ai en face de moi. Je ne veux pas écrire mon propre parser piraté.

Je voudrais utiliser quelque chose de complet, comme llvm-clang.

Existe-t-il un moyen facile de détourner l'analyseur llvm-clang? (Et est-ce assez rapide pour l'exécuter en continu en arrière-plan)?

Merci!

Answer 1

Je ne pense pas que clang peut analyser progressivement les fichiers C++, mais il est l'un de ces objectifs du projet: http://clang.llvm.org/features.html

J'ai écrit quelque chose de similaire pour mon projet de fin d'année. Ce n'était pas un éditeur C++, mais un plugin Visual Studio, dont la tâche principale consistait à améliorer C++ intellisense (comme Visual Assist X). Lorsque j'écrivais ce projet, je pensais aussi à l'analyseur incrémental C++, mais je n'ai trouvé aucune solution appropriée. Pour résoudre le problème C++ IntelliSense, j'ai utilisé l'analyseur C++ normal de GCC. Cependant, il fallait ralentir, pour analyser le fichier après chaque requête d'achèvement de code (ctrl + espace), essayez simplement d'inclure boost :: spirit. Pour que ce projet fonctionne correctement, j'ai analysé les fichiers en arrière-plan et après chaque demande d'achèvement de code, j'ai comparé le fichier actuel avec sa version précédente (via diff) pour détecter les changements effectués lors de la dernière analyse. Ayant ces changements, j'ai mis à jour l'arbre de syntaxe, principalement en ajoutant ou en supprimant des variables. Excepté l'analyse incrémentielle, il existe également un autre problème avec des projets comme celui-ci.

La plupart du temps, vous allez analyser du code C++ qui est en cours de modification, c'est donc un code invalide. Étant donné la grammaire C++ complexe, parfois l'analyseur ne pourra pas récupérer à partir d'erreurs de syntaxe, il ne détectera donc pas correctement certains symboles dans le code.

Un autre problème concerne les différences entre les analyseurs C++/compilateurs. Disons que je travaille avec Visual Studio et que j'ai utilisé une construction spécifique au compilateur VC++ dans mon code. Clang parser ne sera pas capable de l'analyser correctement.

Answer 2

Pour écrire quelque chose de similaire à IntelliSense, je vous conseille d'écrire votre propre analyseur en utilisant l'algorithme d'analyse LALR. Puisque vous pouvez sauvegarder son état dans chaque ligne, vous n'avez pas besoin d'analyser le fichier entier quand un fichier a été édité, ce qui est très rapide!
Notez que C++ ne peut pas être entièrement exprimé en BNF, mais je pense que vous pourriez aller assez loin avec quelques ajustements. C'est beaucoup plus de travail que d'utiliser l'interface de Clang, mais vous pouvez toujours utiliser Clang pour analyser les fichiers d'en-tête en collaboration avec votre propre analyseur écrit.