Function validate

bolt/expression/FunctionSignature.cpp:157–190

}

void validate(
    const std::unordered_map<std::string, SignatureVariable>& variables,
    const TypeSignature& returnType,
    const std::vector<TypeSignature>& argumentTypes,
    const std::vector<bool>& constantArguments) {
  std::unordered_set<std::string> usedVariables;
  // Validate the argument types.
  for (const auto& arg : argumentTypes) {
    // Is base type a type parameter or a built in type ?
    validateBaseTypeAndCollectTypeParams(variables, arg, usedVariables, false);
  }

  // All type variables should appear in the inputs arguments.
  for (auto& [name, variable] : variables) {
    if (variable.isTypeParameter()) {
      BOLT_USER_CHECK(
          usedVariables.count(name),
          "Some type variables are not used in the inputs");
    }
  }

  validateBaseTypeAndCollectTypeParams(
      variables, returnType, usedVariables, true);

  BOLT_USER_CHECK_EQ(
      usedVariables.size(),
      variables.size(),
      "Some integer variables are not used");

  BOLT_USER_CHECK_EQ(
      argumentTypes.size(),
      constantArguments.size(),
      "Argument types size is not equal to constant flags");
}

} // namespace