Clang-hacking-notes-for-wip-clang-branch: Difference between revisions

From Qt Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
Line 5: Line 5:
GCC C++ frontend is a parser that also generates code. Clang is quite similar: it is parser that also calls various actions along with creating AST. Completion implemented via inserting virtual token, on which parser calls one of Sema class methods, implemented in SemaCodeComplete.cpp.
GCC C++ frontend is a parser that also generates code. Clang is quite similar: it is parser that also calls various actions along with creating AST. Completion implemented via inserting virtual token, on which parser calls one of Sema class methods, implemented in SemaCodeComplete.cpp.


Main pros of this approach is context-sensitive completion: parser will not produce any completion results if it doesn't expect completion token at given point, otherwise it will call one of ~40 methods from SemaCodeComplete.cpp, choice depends on context. There are declarations of some code complete methods, parser calls one of them:<br /><code><br /> void CodeCompleteTag(Scope *S, unsigned TagSpec);<br /> void CodeCompleteTypeQualifiers(DeclSpec &amp;DS);<br /> void CodeCompleteCase(Scope *S);<br /> void CodeCompleteCall(Scope *S, Expr '''Fn, ArrayRef&amp;lt;Expr'''&gt; Args);<br /> void CodeCompleteInitializer(Scope *S, Decl *D);<br /> void CodeCompleteReturn(Scope *S);<br /> void CodeCompleteAfterIf(Scope *S);<br /> void CodeCompleteAssignmentRHS(Scope *S, Expr '''LHS);<br /></code>
Main pros of this approach is context-sensitive completion: parser will not produce any completion results if it doesn't expect completion token at given point, otherwise it will call one of ~40 methods from SemaCodeComplete.cpp, choice depends on context. There are declarations of some code complete methods, parser calls one of them:
<br />Additional notes:<br />''' &quot;Builder pattern&amp;quot;:http://en.wikipedia.org/wiki/Builder_pattern used to create completion results, see ResultBuilder class.
<code>
void CodeCompleteTag(Scope *S, unsigned TagSpec);
void CodeCompleteTypeQualifiers(DeclSpec &amp;DS);
void CodeCompleteCase(Scope *S);
void CodeCompleteCall(Scope *S, Expr '''Fn, ArrayRef<Expr'''> Args);
void CodeCompleteInitializer(Scope *S, Decl *D);
void CodeCompleteReturn(Scope *S);
void CodeCompleteAfterIf(Scope *S);
void CodeCompleteAssignmentRHS(Scope *S, Expr '''LHS);
</code>
 
Additional notes:
''' "Builder pattern":http://en.wikipedia.org/wiki/Builder_pattern used to create completion results, see ResultBuilder class.

Revision as of 11:00, 25 February 2015


Code Completion

GCC C++ frontend is a parser that also generates code. Clang is quite similar: it is parser that also calls various actions along with creating AST. Completion implemented via inserting virtual token, on which parser calls one of Sema class methods, implemented in SemaCodeComplete.cpp.

Main pros of this approach is context-sensitive completion: parser will not produce any completion results if it doesn't expect completion token at given point, otherwise it will call one of ~40 methods from SemaCodeComplete.cpp, choice depends on context. There are declarations of some code complete methods, parser calls one of them:

 void CodeCompleteTag(Scope *S, unsigned TagSpec);
 void CodeCompleteTypeQualifiers(DeclSpec &amp;DS);
 void CodeCompleteCase(Scope *S);
 void CodeCompleteCall(Scope *S, Expr '''Fn, ArrayRef<Expr'''> Args);
 void CodeCompleteInitializer(Scope *S, Decl *D);
 void CodeCompleteReturn(Scope *S);
 void CodeCompleteAfterIf(Scope *S);
 void CodeCompleteAssignmentRHS(Scope *S, Expr '''LHS);

Additional notes: "Builder pattern":http://en.wikipedia.org/wiki/Builder_pattern used to create completion results, see ResultBuilder class.