path.get_locus ());
}
+HIR::Type *
+ASTLoweringType::translate (AST::Type *type)
+{
+ ASTLoweringType resolver;
+ type->accept_vis (resolver);
+
+ rust_assert (resolver.translated != nullptr);
+ resolver.mappings->insert_hir_type (resolver.translated);
+ resolver.mappings->insert_location (
+ resolver.translated->get_mappings ().get_hirid (),
+ resolver.translated->get_locus ());
+
+ return resolver.translated;
+}
+
+void
+ASTLoweringType::visit (AST::BareFunctionType &fntype)
+{
+ bool is_variadic = false;
+ std::vector<HIR::LifetimeParam> lifetime_params;
+ HIR::FunctionQualifiers qualifiers
+ = lower_qualifiers (fntype.get_function_qualifiers ());
+
+ std::vector<HIR::MaybeNamedParam> named_params;
+ for (auto ¶m : fntype.get_function_params ())
+ {
+ HIR::MaybeNamedParam::ParamKind kind;
+ switch (param.get_param_kind ())
+ {
+ case AST::MaybeNamedParam::ParamKind::UNNAMED:
+ kind = HIR::MaybeNamedParam::ParamKind::UNNAMED;
+ break;
+ case AST::MaybeNamedParam::ParamKind::IDENTIFIER:
+ kind = HIR::MaybeNamedParam::ParamKind::IDENTIFIER;
+ break;
+ case AST::MaybeNamedParam::ParamKind::WILDCARD:
+ kind = HIR::MaybeNamedParam::ParamKind::WILDCARD;
+ break;
+ default:
+ gcc_unreachable ();
+ }
+
+ HIR::Type *param_type
+ = ASTLoweringType::translate (param.get_type ().get ());
+
+ HIR::MaybeNamedParam p (param.get_name (), kind,
+ std::unique_ptr<HIR::Type> (param_type),
+ param.get_locus ());
+ named_params.push_back (std::move (p));
+ }
+
+ HIR::Type *return_type = nullptr;
+ if (fntype.has_return_type ())
+ {
+ return_type
+ = ASTLoweringType::translate (fntype.get_return_type ().get ());
+ }
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, fntype.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated = new HIR::BareFunctionType (
+ std::move (mapping), std::move (lifetime_params), std::move (qualifiers),
+ std::move (named_params), is_variadic,
+ std::unique_ptr<HIR::Type> (return_type), fntype.get_locus ());
+}
+
+void
+ASTLoweringType::visit (AST::TupleType &tuple)
+{
+ std::vector<std::unique_ptr<HIR::Type>> elems;
+ for (auto &e : tuple.get_elems ())
+ {
+ HIR::Type *t = ASTLoweringType::translate (e.get ());
+ elems.push_back (std::unique_ptr<HIR::Type> (t));
+ }
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, tuple.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated = new HIR::TupleType (std::move (mapping), std::move (elems),
+ tuple.get_locus ());
+}
+
+void
+ASTLoweringType::visit (AST::TypePath &path)
+{
+ translated = ASTLowerTypePath::translate (path);
+}
+
+void
+ASTLoweringType::visit (AST::QualifiedPathInType &path)
+{
+ translated = ASTLowerQualifiedPathInType::translate (path);
+}
+
+void
+ASTLoweringType::visit (AST::ArrayType &type)
+{
+ HIR::Type *translated_type
+ = ASTLoweringType::translate (type.get_elem_type ().get ());
+ HIR::Expr *array_size
+ = ASTLoweringExpr::translate (type.get_size_expr ().get ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated
+ = new HIR::ArrayType (mapping, std::unique_ptr<HIR::Type> (translated_type),
+ std::unique_ptr<HIR::Expr> (array_size),
+ type.get_locus ());
+}
+
+void
+ASTLoweringType::visit (AST::ReferenceType &type)
+{
+ HIR::Lifetime lifetime = lower_lifetime (type.get_lifetime ());
+
+ HIR::Type *base_type
+ = ASTLoweringType::translate (type.get_base_type ().get ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated = new HIR::ReferenceType (mapping,
+ type.get_has_mut () ? Mutability::Mut
+ : Mutability::Imm,
+ std::unique_ptr<HIR::Type> (base_type),
+ type.get_locus (), lifetime);
+}
+
+void
+ASTLoweringType::visit (AST::RawPointerType &type)
+{
+ HIR::Type *base_type
+ = ASTLoweringType::translate (type.get_type_pointed_to ().get ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated
+ = new HIR::RawPointerType (mapping,
+ type.get_pointer_type ()
+ == AST::RawPointerType::PointerType::MUT
+ ? Mutability::Mut
+ : Mutability::Imm,
+ std::unique_ptr<HIR::Type> (base_type),
+ type.get_locus ());
+}
+
+void
+ASTLoweringType::visit (AST::SliceType &type)
+{
+ HIR::Type *base_type
+ = ASTLoweringType::translate (type.get_elem_type ().get ());
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated
+ = new HIR::SliceType (mapping, std::unique_ptr<HIR::Type> (base_type),
+ type.get_locus ());
+}
+
+void
+ASTLoweringType::visit (AST::InferredType &type)
+{
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated = new HIR::InferredType (mapping, type.get_locus ());
+}
+
+void
+ASTLoweringType::visit (AST::NeverType &type)
+{
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated = new HIR::NeverType (mapping, type.get_locus ());
+}
+
void
ASTLoweringType::visit (AST::TraitObjectTypeOneBound &type)
{
type.get_locus (), type.is_dyn ());
}
+HIR::GenericParam *
+ASTLowerGenericParam::translate (AST::GenericParam *param)
+{
+ ASTLowerGenericParam resolver;
+ param->accept_vis (resolver);
+
+ rust_assert (resolver.translated != nullptr);
+ resolver.mappings->insert_location (
+ resolver.translated->get_mappings ().get_hirid (), param->get_locus ());
+ resolver.mappings->insert_hir_generic_param (resolver.translated);
+
+ return resolver.translated;
+}
+
+void
+ASTLowerGenericParam::visit (AST::LifetimeParam ¶m)
+{
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, param.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ HIR::Lifetime lt (mapping, param.get_lifetime ().get_lifetime_type (),
+ param.get_lifetime ().get_lifetime_name (),
+ param.get_lifetime ().get_locus ());
+
+ translated = new HIR::LifetimeParam (mapping, lt, param.get_locus (),
+ std::vector<Lifetime> ());
+}
+
+void
+ASTLowerGenericParam::visit (AST::ConstGenericParam ¶m)
+{
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, param.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ auto type = ASTLoweringType::translate (param.get_type ().get ());
+
+ HIR::Expr *default_expr = nullptr;
+ if (param.has_default_value ())
+ default_expr = ASTLoweringExpr::translate (
+ param.get_default_value ().get_expression ().get ());
+
+ translated = new HIR::ConstGenericParam (param.get_name (),
+ std::unique_ptr<Type> (type),
+ std::unique_ptr<Expr> (default_expr),
+ mapping, param.get_locus ());
+}
+
+void
+ASTLowerGenericParam::visit (AST::TypeParam ¶m)
+{
+ AST::Attribute outer_attr = AST::Attribute::create_empty ();
+ std::vector<std::unique_ptr<HIR::TypeParamBound>> type_param_bounds;
+ if (param.has_type_param_bounds ())
+ {
+ for (auto &bound : param.get_type_param_bounds ())
+ {
+ HIR::TypeParamBound *lowered_bound = lower_bound (bound.get ());
+ type_param_bounds.push_back (
+ std::unique_ptr<HIR::TypeParamBound> (lowered_bound));
+ }
+ }
+
+ HIR::Type *type = param.has_type ()
+ ? ASTLoweringType::translate (param.get_type ().get ())
+ : nullptr;
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, param.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ mappings->get_next_localdef_id (crate_num));
+
+ translated
+ = new HIR::TypeParam (mapping, param.get_type_representation (),
+ param.get_locus (), std::move (type_param_bounds),
+ std::unique_ptr<Type> (type), std::move (outer_attr));
+}
+
+HIR::TypeParamBound *
+ASTLoweringTypeBounds::translate (AST::TypeParamBound *type)
+{
+ ASTLoweringTypeBounds resolver;
+ type->accept_vis (resolver);
+
+ rust_assert (resolver.translated != nullptr);
+ resolver.mappings->insert_location (
+ resolver.translated->get_mappings ().get_hirid (),
+ resolver.translated->get_locus ());
+
+ return resolver.translated;
+}
+
+void
+ASTLoweringTypeBounds::visit (AST::TraitBound &bound)
+{
+ // FIXME
+ std::vector<HIR::LifetimeParam> lifetimes;
+
+ AST::TypePath &ast_trait_path = bound.get_type_path ();
+ HIR::TypePath *trait_path = ASTLowerTypePath::translate (ast_trait_path);
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, bound.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ UNKNOWN_LOCAL_DEFID);
+
+ translated = new HIR::TraitBound (mapping, *trait_path, bound.get_locus (),
+ bound.is_in_parens (),
+ bound.has_opening_question_mark ());
+}
+
+void
+ASTLoweringTypeBounds::visit (AST::Lifetime &bound)
+{
+ HIR::Lifetime lifetime = lower_lifetime (bound);
+ translated = new HIR::Lifetime (lifetime);
+}
+
+HIR::WhereClauseItem *
+ASTLowerWhereClauseItem::translate (AST::WhereClauseItem &item)
+{
+ ASTLowerWhereClauseItem compiler;
+ item.accept_vis (compiler);
+
+ rust_assert (compiler.translated != nullptr);
+ // FIXME
+ // compiler.mappings->insert_location (
+ // compiler.translated->get_mappings ().get_hirid (),
+ // compiler.translated->get_locus ());
+
+ return compiler.translated;
+}
+
+void
+ASTLowerWhereClauseItem::visit (AST::LifetimeWhereClauseItem &item)
+{
+ HIR::Lifetime l = lower_lifetime (item.get_lifetime ());
+ std::vector<HIR::Lifetime> lifetime_bounds;
+ for (auto &lifetime_bound : item.get_lifetime_bounds ())
+ {
+ HIR::Lifetime ll = lower_lifetime (lifetime_bound);
+ lifetime_bounds.push_back (std::move (ll));
+ }
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, item.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ UNKNOWN_LOCAL_DEFID);
+
+ translated = new HIR::LifetimeWhereClauseItem (mapping, std::move (l),
+ std::move (lifetime_bounds),
+ item.get_locus ());
+}
+
+void
+ASTLowerWhereClauseItem::visit (AST::TypeBoundWhereClauseItem &item)
+{
+ // FIXME
+ std::vector<HIR::LifetimeParam> for_lifetimes;
+
+ std::unique_ptr<HIR::Type> bound_type = std::unique_ptr<HIR::Type> (
+ ASTLoweringType::translate (item.get_type ().get ()));
+
+ std::vector<std::unique_ptr<HIR::TypeParamBound>> type_param_bounds;
+ for (auto &bound : item.get_type_param_bounds ())
+ {
+ HIR::TypeParamBound *b = ASTLoweringTypeBounds::translate (bound.get ());
+ type_param_bounds.push_back (std::unique_ptr<HIR::TypeParamBound> (b));
+ }
+
+ auto crate_num = mappings->get_current_crate ();
+ Analysis::NodeMapping mapping (crate_num, item.get_node_id (),
+ mappings->get_next_hir_id (crate_num),
+ UNKNOWN_LOCAL_DEFID);
+
+ translated
+ = new HIR::TypeBoundWhereClauseItem (mapping, std::move (for_lifetimes),
+ std::move (bound_type),
+ std::move (type_param_bounds),
+ item.get_locus ());
+}
+
} // namespace HIR
} // namespace Rust
using Rust::HIR::ASTLoweringBase::visit;
public:
- static HIR::Type *translate (AST::Type *type)
- {
- ASTLoweringType resolver;
- type->accept_vis (resolver);
-
- rust_assert (resolver.translated != nullptr);
- resolver.mappings->insert_hir_type (resolver.translated);
- resolver.mappings->insert_location (
- resolver.translated->get_mappings ().get_hirid (),
- resolver.translated->get_locus ());
-
- return resolver.translated;
- }
-
- void visit (AST::BareFunctionType &fntype) override
- {
- bool is_variadic = false;
- std::vector<HIR::LifetimeParam> lifetime_params;
- HIR::FunctionQualifiers qualifiers
- = lower_qualifiers (fntype.get_function_qualifiers ());
-
- std::vector<HIR::MaybeNamedParam> named_params;
- for (auto ¶m : fntype.get_function_params ())
- {
- HIR::MaybeNamedParam::ParamKind kind;
- switch (param.get_param_kind ())
- {
- case AST::MaybeNamedParam::ParamKind::UNNAMED:
- kind = HIR::MaybeNamedParam::ParamKind::UNNAMED;
- break;
- case AST::MaybeNamedParam::ParamKind::IDENTIFIER:
- kind = HIR::MaybeNamedParam::ParamKind::IDENTIFIER;
- break;
- case AST::MaybeNamedParam::ParamKind::WILDCARD:
- kind = HIR::MaybeNamedParam::ParamKind::WILDCARD;
- break;
- default:
- gcc_unreachable ();
- }
-
- HIR::Type *param_type
- = ASTLoweringType::translate (param.get_type ().get ());
-
- HIR::MaybeNamedParam p (param.get_name (), kind,
- std::unique_ptr<HIR::Type> (param_type),
- param.get_locus ());
- named_params.push_back (std::move (p));
- }
-
- HIR::Type *return_type = nullptr;
- if (fntype.has_return_type ())
- {
- return_type
- = ASTLoweringType::translate (fntype.get_return_type ().get ());
- }
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, fntype.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated = new HIR::BareFunctionType (
- std::move (mapping), std::move (lifetime_params), std::move (qualifiers),
- std::move (named_params), is_variadic,
- std::unique_ptr<HIR::Type> (return_type), fntype.get_locus ());
- }
-
- void visit (AST::TupleType &tuple) override
- {
- std::vector<std::unique_ptr<HIR::Type>> elems;
- for (auto &e : tuple.get_elems ())
- {
- HIR::Type *t = ASTLoweringType::translate (e.get ());
- elems.push_back (std::unique_ptr<HIR::Type> (t));
- }
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, tuple.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated = new HIR::TupleType (std::move (mapping), std::move (elems),
- tuple.get_locus ());
- }
-
- void visit (AST::TypePath &path) override
- {
- translated = ASTLowerTypePath::translate (path);
- }
-
- void visit (AST::QualifiedPathInType &path) override
- {
- translated = ASTLowerQualifiedPathInType::translate (path);
- }
-
- void visit (AST::ArrayType &type) override
- {
- HIR::Type *translated_type
- = ASTLoweringType::translate (type.get_elem_type ().get ());
- HIR::Expr *array_size
- = ASTLoweringExpr::translate (type.get_size_expr ().get ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated
- = new HIR::ArrayType (mapping,
- std::unique_ptr<HIR::Type> (translated_type),
- std::unique_ptr<HIR::Expr> (array_size),
- type.get_locus ());
- }
-
- void visit (AST::ReferenceType &type) override
- {
- HIR::Lifetime lifetime = lower_lifetime (type.get_lifetime ());
-
- HIR::Type *base_type
- = ASTLoweringType::translate (type.get_base_type ().get ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated = new HIR::ReferenceType (mapping,
- type.get_has_mut () ? Mutability::Mut
- : Mutability::Imm,
- std::unique_ptr<HIR::Type> (base_type),
- type.get_locus (), lifetime);
- }
-
- void visit (AST::RawPointerType &type) override
- {
- HIR::Type *base_type
- = ASTLoweringType::translate (type.get_type_pointed_to ().get ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated
- = new HIR::RawPointerType (mapping,
- type.get_pointer_type ()
- == AST::RawPointerType::PointerType::MUT
- ? Mutability::Mut
- : Mutability::Imm,
- std::unique_ptr<HIR::Type> (base_type),
- type.get_locus ());
- }
-
- void visit (AST::SliceType &type) override
- {
- HIR::Type *base_type
- = ASTLoweringType::translate (type.get_elem_type ().get ());
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated
- = new HIR::SliceType (mapping, std::unique_ptr<HIR::Type> (base_type),
- type.get_locus ());
- }
-
- void visit (AST::InferredType &type) override
- {
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated = new HIR::InferredType (mapping, type.get_locus ());
- }
-
- void visit (AST::NeverType &type) override
- {
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, type.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated = new HIR::NeverType (mapping, type.get_locus ());
- }
+ static HIR::Type *translate (AST::Type *type);
+ void visit (AST::BareFunctionType &fntype) override;
+ void visit (AST::TupleType &tuple) override;
+ void visit (AST::TypePath &path) override;
+ void visit (AST::QualifiedPathInType &path) override;
+ void visit (AST::ArrayType &type) override;
+ void visit (AST::ReferenceType &type) override;
+ void visit (AST::RawPointerType &type) override;
+ void visit (AST::SliceType &type) override;
+ void visit (AST::InferredType &type) override;
+ void visit (AST::NeverType &type) override;
void visit (AST::TraitObjectTypeOneBound &type) override;
-
void visit (AST::TraitObjectType &type) override;
private:
using Rust::HIR::ASTLoweringBase::visit;
public:
- static HIR::GenericParam *translate (AST::GenericParam *param)
- {
- ASTLowerGenericParam resolver;
- param->accept_vis (resolver);
-
- rust_assert (resolver.translated != nullptr);
- resolver.mappings->insert_location (
- resolver.translated->get_mappings ().get_hirid (), param->get_locus ());
- resolver.mappings->insert_hir_generic_param (resolver.translated);
-
- return resolver.translated;
- }
-
- void visit (AST::LifetimeParam ¶m) override
- {
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, param.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- HIR::Lifetime lt (mapping, param.get_lifetime ().get_lifetime_type (),
- param.get_lifetime ().get_lifetime_name (),
- param.get_lifetime ().get_locus ());
-
- translated = new HIR::LifetimeParam (mapping, lt, param.get_locus (),
- std::vector<Lifetime> ());
- }
-
- void visit (AST::ConstGenericParam ¶m) override
- {
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, param.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- auto type = ASTLoweringType::translate (param.get_type ().get ());
-
- HIR::Expr *default_expr = nullptr;
- if (param.has_default_value ())
- default_expr = ASTLoweringExpr::translate (
- param.get_default_value ().get_expression ().get ());
-
- translated
- = new HIR::ConstGenericParam (param.get_name (),
- std::unique_ptr<Type> (type),
- std::unique_ptr<Expr> (default_expr),
- mapping, param.get_locus ());
- }
-
- void visit (AST::TypeParam ¶m) override
- {
- AST::Attribute outer_attr = AST::Attribute::create_empty ();
- std::vector<std::unique_ptr<HIR::TypeParamBound>> type_param_bounds;
- if (param.has_type_param_bounds ())
- {
- for (auto &bound : param.get_type_param_bounds ())
- {
- HIR::TypeParamBound *lowered_bound = lower_bound (bound.get ());
- type_param_bounds.push_back (
- std::unique_ptr<HIR::TypeParamBound> (lowered_bound));
- }
- }
-
- HIR::Type *type = param.has_type ()
- ? ASTLoweringType::translate (param.get_type ().get ())
- : nullptr;
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, param.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- mappings->get_next_localdef_id (crate_num));
-
- translated
- = new HIR::TypeParam (mapping, param.get_type_representation (),
- param.get_locus (), std::move (type_param_bounds),
- std::unique_ptr<Type> (type),
- std::move (outer_attr));
- }
+ static HIR::GenericParam *translate (AST::GenericParam *param);
+
+ void visit (AST::LifetimeParam ¶m) override;
+ void visit (AST::ConstGenericParam ¶m) override;
+ void visit (AST::TypeParam ¶m) override;
private:
ASTLowerGenericParam () : ASTLoweringBase (), translated (nullptr) {}
using Rust::HIR::ASTLoweringBase::visit;
public:
- static HIR::TypeParamBound *translate (AST::TypeParamBound *type)
- {
- ASTLoweringTypeBounds resolver;
- type->accept_vis (resolver);
-
- rust_assert (resolver.translated != nullptr);
- resolver.mappings->insert_location (
- resolver.translated->get_mappings ().get_hirid (),
- resolver.translated->get_locus ());
-
- return resolver.translated;
- }
-
- void visit (AST::TraitBound &bound) override
- {
- // FIXME
- std::vector<HIR::LifetimeParam> lifetimes;
-
- AST::TypePath &ast_trait_path = bound.get_type_path ();
- HIR::TypePath *trait_path = ASTLowerTypePath::translate (ast_trait_path);
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, bound.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- UNKNOWN_LOCAL_DEFID);
-
- translated = new HIR::TraitBound (mapping, *trait_path, bound.get_locus (),
- bound.is_in_parens (),
- bound.has_opening_question_mark ());
- }
-
- void visit (AST::Lifetime &bound) override
- {
- HIR::Lifetime lifetime = lower_lifetime (bound);
- translated = new HIR::Lifetime (lifetime);
- }
+ static HIR::TypeParamBound *translate (AST::TypeParamBound *type);
+
+ void visit (AST::TraitBound &bound) override;
+ void visit (AST::Lifetime &bound) override;
private:
ASTLoweringTypeBounds () : ASTLoweringBase (), translated (nullptr) {}
using Rust::HIR::ASTLoweringBase::visit;
public:
- static HIR::WhereClauseItem *translate (AST::WhereClauseItem &item)
- {
- ASTLowerWhereClauseItem compiler;
- item.accept_vis (compiler);
-
- rust_assert (compiler.translated != nullptr);
- // FIXME
- // compiler.mappings->insert_location (
- // compiler.translated->get_mappings ().get_hirid (),
- // compiler.translated->get_locus ());
-
- return compiler.translated;
- }
-
- void visit (AST::LifetimeWhereClauseItem &item) override
- {
- HIR::Lifetime l = lower_lifetime (item.get_lifetime ());
- std::vector<HIR::Lifetime> lifetime_bounds;
- for (auto &lifetime_bound : item.get_lifetime_bounds ())
- {
- HIR::Lifetime ll = lower_lifetime (lifetime_bound);
- lifetime_bounds.push_back (std::move (ll));
- }
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, item.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- UNKNOWN_LOCAL_DEFID);
-
- translated = new HIR::LifetimeWhereClauseItem (mapping, std::move (l),
- std::move (lifetime_bounds),
- item.get_locus ());
- }
-
- void visit (AST::TypeBoundWhereClauseItem &item) override
- {
- // FIXME
- std::vector<HIR::LifetimeParam> for_lifetimes;
-
- std::unique_ptr<HIR::Type> bound_type = std::unique_ptr<HIR::Type> (
- ASTLoweringType::translate (item.get_type ().get ()));
-
- std::vector<std::unique_ptr<HIR::TypeParamBound>> type_param_bounds;
- for (auto &bound : item.get_type_param_bounds ())
- {
- HIR::TypeParamBound *b
- = ASTLoweringTypeBounds::translate (bound.get ());
- type_param_bounds.push_back (std::unique_ptr<HIR::TypeParamBound> (b));
- }
-
- auto crate_num = mappings->get_current_crate ();
- Analysis::NodeMapping mapping (crate_num, item.get_node_id (),
- mappings->get_next_hir_id (crate_num),
- UNKNOWN_LOCAL_DEFID);
-
- translated
- = new HIR::TypeBoundWhereClauseItem (mapping, std::move (for_lifetimes),
- std::move (bound_type),
- std::move (type_param_bounds),
- item.get_locus ());
- }
+ static HIR::WhereClauseItem *translate (AST::WhereClauseItem &item);
+
+ void visit (AST::LifetimeWhereClauseItem &item) override;
+ void visit (AST::TypeBoundWhereClauseItem &item) override;
private:
ASTLowerWhereClauseItem () : ASTLoweringBase (), translated (nullptr) {}
projects / thirdparty / gcc.git / commitdiff
