Method ResolveTargetRefType

src/wast-parser.cc:1403–1426

}

Result WastParser::ResolveTargetRefType(const Module& module,
                                        Type* type,
                                        const Var& var,
                                        Errors* errors) {
  assert(type->IsReferenceWithIndex() && !var.is_index());

  if (type->GetReferenceIndex() != kInvalidIndex) {
    // Type has either a name or an absolute index. The former might
    // be resolved earlier, and the latter does not need any resolving.
    return Result::Ok;
  }

  Index type_index = module.type_bindings.FindIndex(var.name());

  if (type_index != kInvalidIndex) {
    *type = Type(static_cast<Type::Enum>(*type), type_index);
    return Result::Ok;
  }

  errors->emplace_back(
      ErrorLevel::Error, var.loc, module.filename,
      StringPrintf("undefined reference type name %s", var.name().c_str()));
  return Result::Ok;
}

Result WastParser::ResolveTargetTypeVector(const Module& module,
                                           TypeVector* types,