averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

Code completion: implement partial typechecking of function bodies

Browse Source 
This allows us to complete members of local variables and members of
expressions that include local variables.


Swift SVN r7033
This commit is contained in:
Dmitri Hrybenko
2013-08-08 00:59:46 +00:00
parent 44d8a942e1
commit 8d75dccc84
8 changed files with 179 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
lib/IDE/CodeCompletion.cpp
View File

@@ -356,6 +356,13 @@ class CodeCompletionCallbacksImpl : public CodeCompletionCallbacks,
template<typename ExprType>
bool typecheckExpr(ExprType *&E) {
if (CurDeclContext->getContextKind() == DeclContextKind::CapturingExpr) {
// FIXME: constructors and destructors.
// FIXME: closures.
if (auto *FE = dyn_cast<FuncExpr>(CurDeclContext))
typeCheckFunctionBodyUntil(TU, CurDeclContext, FE, E->getStartLoc());
}
assert(E && "should have an expression");
DEBUG(llvm::dbgs() << "\nparsed:\n";
@@ -365,6 +372,10 @@ class CodeCompletionCallbacksImpl : public CodeCompletionCallbacks,
Expr *AsExpr = E;
if (!typeCheckCompletionContextExpr(TU, AsExpr))
return false;
if (AsExpr->getType()->isError())
return false;
E = cast<ExprType>(AsExpr);
DEBUG(llvm::dbgs() << "\type checked:\n";