clang
15.0.0git
|
Tracks expected type during expression parsing, for use in code completion. More...
#include "clang/Sema/Sema.h"
Public Member Functions | |
PreferredTypeBuilder (bool Enabled) | |
void | enterCondition (Sema &S, SourceLocation Tok) |
void | enterReturn (Sema &S, SourceLocation Tok) |
void | enterVariableInit (SourceLocation Tok, Decl *D) |
void | enterDesignatedInitializer (SourceLocation Tok, QualType BaseType, const Designation &D) |
Handles e.g. BaseType{ .D = Tok... More... | |
void | enterFunctionArgument (SourceLocation Tok, llvm::function_ref< QualType()> ComputeType) |
Computing a type for the function argument may require running overloading, so we postpone its computation until it is actually needed. More... | |
void | enterParenExpr (SourceLocation Tok, SourceLocation LParLoc) |
void | enterUnary (Sema &S, SourceLocation Tok, tok::TokenKind OpKind, SourceLocation OpLoc) |
void | enterBinary (Sema &S, SourceLocation Tok, Expr *LHS, tok::TokenKind Op) |
void | enterMemAccess (Sema &S, SourceLocation Tok, Expr *Base) |
void | enterSubscript (Sema &S, SourceLocation Tok, Expr *LHS) |
void | enterTypeCast (SourceLocation Tok, QualType CastType) |
Handles all type casts, including C-style cast, C++ casts, etc. More... | |
QualType | get (SourceLocation Tok) const |
Get the expected type associated with this location, if any. More... | |
Tracks expected type during expression parsing, for use in code completion.
The type is tied to a particular token, all functions that update or consume the type take a start location of the token they are looking at as a parameter. This avoids updating the type on hot paths in the parser.
|
inline |
void PreferredTypeBuilder::enterBinary | ( | Sema & | S, |
SourceLocation | Tok, | ||
Expr * | LHS, | ||
tok::TokenKind | Op | ||
) |
Definition at line 555 of file SemaCodeComplete.cpp.
void PreferredTypeBuilder::enterCondition | ( | Sema & | S, |
SourceLocation | Tok | ||
) |
Definition at line 603 of file SemaCodeComplete.cpp.
void PreferredTypeBuilder::enterDesignatedInitializer | ( | SourceLocation | Tok, |
QualType | BaseType, | ||
const Designation & | D | ||
) |
Handles e.g. BaseType{ .D = Tok...
Definition at line 417 of file SemaCodeComplete.cpp.
References getDesignatedType().
void PreferredTypeBuilder::enterFunctionArgument | ( | SourceLocation | Tok, |
llvm::function_ref< QualType()> | ComputeType | ||
) |
Computing a type for the function argument may require running overloading, so we postpone its computation until it is actually needed.
Clients should be very careful when using this funciton, as it stores a function_ref, clients should make sure all calls to get() with the same location happen while function_ref is alive.
The callback should also emit signature help as a side-effect, but only if the completion point has been reached.
Definition at line 427 of file SemaCodeComplete.cpp.
void PreferredTypeBuilder::enterMemAccess | ( | Sema & | S, |
SourceLocation | Tok, | ||
Expr * | Base | ||
) |
Definition at line 564 of file SemaCodeComplete.cpp.
void PreferredTypeBuilder::enterParenExpr | ( | SourceLocation | Tok, |
SourceLocation | LParLoc | ||
) |
Definition at line 436 of file SemaCodeComplete.cpp.
void PreferredTypeBuilder::enterReturn | ( | Sema & | S, |
SourceLocation | Tok | ||
) |
Definition at line 386 of file SemaCodeComplete.cpp.
void PreferredTypeBuilder::enterSubscript | ( | Sema & | S, |
SourceLocation | Tok, | ||
Expr * | LHS | ||
) |
Definition at line 585 of file SemaCodeComplete.cpp.
void PreferredTypeBuilder::enterTypeCast | ( | SourceLocation | Tok, |
QualType | CastType | ||
) |
Handles all type casts, including C-style cast, C++ casts, etc.
Definition at line 594 of file SemaCodeComplete.cpp.
void PreferredTypeBuilder::enterUnary | ( | Sema & | S, |
SourceLocation | Tok, | ||
tok::TokenKind | OpKind, | ||
SourceLocation | OpLoc | ||
) |
Definition at line 575 of file SemaCodeComplete.cpp.
void PreferredTypeBuilder::enterVariableInit | ( | SourceLocation | Tok, |
Decl * | D | ||
) |
Definition at line 406 of file SemaCodeComplete.cpp.
|
inline |
Get the expected type associated with this location, if any.
If the location is a function argument, determining the expected type involves considering all function overloads and the arguments so far. In this case, signature help for these function overloads will be reported as a side-effect (only if the completion point has been reached).
Definition at line 332 of file Sema.h.
Referenced by clang::Parser::ParseAssignmentExpression().