visit (field.get_field_type ());
}
+// TODO is this unique by type?
+void
+Dump::visit (std::vector<LifetimeParam> &for_lifetimes)
+{
+ // ForLifetimes :
+ // for GenericParams
+ //
+ // GenericParams :
+ // < >
+ // | < (GenericParam ,)* GenericParam ,? >
+ //
+ // GenericParam :
+ // OuterAttribute* ( LifetimeParam | TypeParam | ConstParam )
+ //
+ // LifetimeParam :
+ // LIFETIME_OR_LABEL ( : LifetimeBounds )?
+
+ stream << "for <";
+ visit_items_joined_by_separator (for_lifetimes, " + ");
+ stream << "> ";
+}
+
void
Dump::visit (Token &tok)
{
void
Dump::visit (Lifetime &lifetime)
-{}
+{
+ // Syntax:
+ // Lifetime :
+ // LIFETIME_OR_LABEL
+ // | 'static
+ // | '_
+ stream << lifetime.as_string ();
+}
void
Dump::visit (LifetimeParam &lifetime_param)
-{}
+{
+ // Syntax:
+ // LIFETIME_OR_LABEL ( : LifetimeBounds )?
+ // LifetimeBounds :
+ // ( Lifetime + )* Lifetime?
+
+ // TODO what to do with outer attr? They are not mentioned in the reference.
+
+ auto lifetime = lifetime_param.get_lifetime ();
+ visit (lifetime);
+
+ if (lifetime_param.has_lifetime_bounds ())
+ {
+ stream << ": ";
+ visit_items_joined_by_separator (lifetime_param.get_lifetime_bounds (),
+ " + ");
+ }
+}
void
Dump::visit (ConstGenericParam &lifetime_param)
}
void
+Dump::visit (WhereClause &rule)
+{
+ // Syntax:
+ // where ( WhereClauseItem , )* WhereClauseItem ?
+ // WhereClauseItem :
+ // LifetimeWhereClauseItem
+ // | TypeBoundWhereClauseItem
+
+ stream << " where\n";
+ indentation.increment ();
+ visit_items_as_lines (rule.get_items (), ",");
+ indentation.decrement ();
+}
+
+void
Dump::visit (LifetimeWhereClauseItem &item)
-{}
+{
+ // Syntax:
+ // Lifetime : LifetimeBounds
+ // LifetimeBounds :
+ // ( Lifetime + )* Lifetime?
+
+ visit (item.get_lifetime ());
+ stream << ": ";
+ visit_items_joined_by_separator (item.get_lifetime_bounds (), " + ");
+}
void
Dump::visit (TypeBoundWhereClauseItem &item)
-{}
+{
+ // Syntax:
+ // ForLifetimes? Type : TypeParamBounds?
+ // TypeParamBounds :
+ // TypeParamBound ( + TypeParamBound )* +?
+ // TypeParamBound :
+ // Lifetime | TraitBound
+
+ if (item.has_for_lifetimes ())
+ visit (item.get_for_lifetimes ());
+
+ visit (item.get_type ());
+ stream << ": ";
+
+ visit_items_joined_by_separator (item.get_type_param_bounds (), " + ");
+}
void
Dump::visit (Method &method)
void
Dump::visit (Function &function)
{
+ // Syntax:
+ // FunctionQualifiers fn IDENTIFIER GenericParams?
+ // ( FunctionParameters? )
+ // FunctionReturnType? WhereClause?
+ // ( BlockExpression | ; )
+
visit (function.get_visibility ());
stream << "fn " << function.get_function_name ();
stream << " ";
}
+ if (function.has_where_clause ())
+ visit (function.get_where_clause ());
+
auto &block = function.get_definition ();
if (!block)
stream << ';';
if (type_alias.has_generics ())
visit (type_alias.get_generic_params ());
if (type_alias.has_where_clause ())
- {
- } // FIXME: WhereClause
+ visit (type_alias.get_where_clause ());
stream << " = ";
visit (type_alias.get_type_aliased ());
stream << ";\n";
stream << "struct " << struct_item.get_identifier ();
if (struct_item.has_generics ())
visit (struct_item.get_generic_params ());
-
- // FIXME: where-clause
-
+ if (struct_item.has_where_clause ())
+ visit (struct_item.get_where_clause ());
if (struct_item.is_unit_struct ())
stream << ";\n";
else
stream << "struct " << tuple_struct.get_identifier ();
if (tuple_struct.has_generics ())
visit (tuple_struct.get_generic_params ());
-
- // FIXME: where-clause
+ if (tuple_struct.has_where_clause ())
+ visit (tuple_struct.get_where_clause ());
stream << '(';
visit_items_joined_by_separator (tuple_struct.get_fields (), ", ");
stream << "enum " << enum_item.get_identifier ();
if (enum_item.has_generics ())
visit (enum_item.get_generic_params ());
-
- // FIXME: where-clause
+ if (enum_item.has_where_clause ())
+ visit (enum_item.get_where_clause ());
visit_items_as_block (enum_item.get_variants (), ",");
}
stream << "union " << union_item.get_identifier ();
if (union_item.has_generics ())
visit (union_item.get_generic_params ());
-
- // FIXME: where-clause
+ if (union_item.has_where_clause ())
+ visit (union_item.get_where_clause ());
visit_items_as_block (union_item.get_variants (), ",");
}
visit (impl.get_type ());
- // FIXME: Handle where-clause
+ if (impl.has_where_clause ())
+ visit (impl.get_where_clause ());
+
// FIXME: Handle inner attributes
visit_items_as_block (impl.get_impl_items (), "");
// rust-type.h
void
Dump::visit (TraitBound &bound)
-{}
+{
+ // Syntax:
+ // ?? ForLifetimes? TypePath
+ // | ( ?? ForLifetimes? TypePath )
+
+ if (bound.has_opening_question_mark ())
+ stream << "? ";
+
+ if (bound.has_for_lifetimes ())
+ visit (bound.get_for_lifetimes ());
+
+ visit (bound.get_type_path ());
+}
void
Dump::visit (ImplTraitType &type)