本文整理汇总了C++中TypeChecker::finalizeDecl方法的典型用法代码示例。如果您正苦于以下问题:C++ TypeChecker::finalizeDecl方法的具体用法?C++ TypeChecker::finalizeDecl怎么用?C++ TypeChecker::finalizeDecl使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类TypeChecker
的用法示例。
在下文中一共展示了TypeChecker::finalizeDecl方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: typeCheckFunctionsAndExternalDecls
static void typeCheckFunctionsAndExternalDecls(SourceFile &SF, TypeChecker &TC) {
unsigned currentFunctionIdx = 0;
unsigned currentExternalDef = TC.Context.LastCheckedExternalDefinition;
unsigned currentSynthesizedDecl = SF.LastCheckedSynthesizedDecl;
do {
// Type check conformance contexts.
for (unsigned i = 0; i != TC.ConformanceContexts.size(); ++i) {
auto decl = TC.ConformanceContexts[i];
if (auto *ext = dyn_cast<ExtensionDecl>(decl))
TC.checkConformancesInContext(ext, ext);
else {
auto *ntd = cast<NominalTypeDecl>(decl);
TC.checkConformancesInContext(ntd, ntd);
// Finally, we can check classes for missing initializers.
if (auto *classDecl = dyn_cast<ClassDecl>(ntd))
TC.maybeDiagnoseClassWithoutInitializers(classDecl);
}
}
TC.ConformanceContexts.clear();
// Type check the body of each of the function in turn. Note that outside
// functions must be visited before nested functions for type-checking to
// work correctly.
for (unsigned n = TC.definedFunctions.size(); currentFunctionIdx != n;
++currentFunctionIdx) {
auto *AFD = TC.definedFunctions[currentFunctionIdx];
TC.typeCheckAbstractFunctionBody(AFD);
}
// Synthesize any necessary function bodies.
// FIXME: If we're not planning to run SILGen, this is wasted effort.
while (!TC.FunctionsToSynthesize.empty()) {
auto function = TC.FunctionsToSynthesize.back().second;
TC.FunctionsToSynthesize.pop_back();
if (function.getDecl()->isInvalid() || TC.Context.hadError())
continue;
TC.synthesizeFunctionBody(function);
}
// Type check external definitions.
for (unsigned n = TC.Context.ExternalDefinitions.size();
currentExternalDef != n;
++currentExternalDef) {
auto decl = TC.Context.ExternalDefinitions[currentExternalDef];
if (auto *AFD = dyn_cast<AbstractFunctionDecl>(decl)) {
TC.typeCheckAbstractFunctionBody(AFD);
TC.checkFunctionErrorHandling(AFD);
continue;
}
if (auto nominal = dyn_cast<NominalTypeDecl>(decl)) {
(void)nominal->getAllConformances();
continue;
}
if (isa<VarDecl>(decl))
continue;
llvm_unreachable("Unhandled external definition kind");
}
// Complete any protocol requirement signatures that were delayed
// because the protocol was validated via validateDeclForNameLookup().
while (!TC.DelayedRequirementSignatures.empty()) {
auto decl = TC.DelayedRequirementSignatures.pop_back_val();
if (decl->isInvalid() || TC.Context.hadError())
continue;
TC.validateDecl(decl);
}
// Validate any referenced declarations for SIL's purposes.
// Note: if we ever start putting extension members in vtables, we'll need
// to validate those members too.
// FIXME: If we're not planning to run SILGen, this is wasted effort.
while (TC.NextDeclToFinalize < TC.DeclsToFinalize.size()) {
auto decl = TC.DeclsToFinalize[TC.NextDeclToFinalize++];
if (decl->isInvalid())
continue;
// If we've already encountered an error, don't finalize declarations
// from other source files.
if (TC.Context.hadError() &&
decl->getDeclContext()->getParentSourceFile() != &SF)
continue;
TC.finalizeDecl(decl);
}
// Type check synthesized functions and their bodies.
for (unsigned n = SF.SynthesizedDecls.size();
currentSynthesizedDecl != n;
++currentSynthesizedDecl) {
auto decl = SF.SynthesizedDecls[currentSynthesizedDecl];
TC.typeCheckDecl(decl);
}
// Ensure that the requirements of the given conformance are
// fully checked.
//.........这里部分代码省略.........