Method ParseModuleFieldList

src/wast-parser.cc:1452–1491

}

Result WastParser::ParseModuleFieldList(Module* module) {
  WABT_TRACE(ParseModuleFieldList);

  // Reset module-specific state.
  resolve_ref_types_.clear();
  resolve_type_vectors_.clear();
  resolve_funcs_.clear();

  while (IsModuleField(PeekPair()) || PeekIsCustom()) {
    if (PeekIsCustom()) {
      CHECK_RESULT(ParseCustomSectionAnnotation(module));
      continue;
    }
    if (Failed(ParseModuleField(module))) {
      CHECK_RESULT(Synchronize(IsModuleField));
    }
  }

  // Module parsing is completed, type names can be resolved now.
  Result result = Result::Ok;

  for (auto it : resolve_ref_types_) {
    result |= ResolveTargetRefType(*module, it.target_type, it.var, errors_);
  }

  for (auto it : resolve_type_vectors_) {
    result |=
        ResolveTargetTypeVector(*module, it.target_vector, &it.vars, errors_);
  }

  for (auto it : resolve_funcs_) {
    result |= ResolveTargetTypeVector(*module, &it.types, &it.vars, errors_);
    it.target_func->local_types.Set(it.types);
  }

  CHECK_RESULT(result);
  CHECK_RESULT(ResolveFuncTypes(module, errors_));
  CHECK_RESULT(ResolveNamesModule(module, errors_));
  return Result::Ok;
}

Result WastParser::ParseModuleField(Module* module) {
  WABT_TRACE(ParseModuleField);