void visit (HIR::TupleStructPattern &) override;
// Empty visit for unused Pattern HIR nodes.
+ void visit (HIR::AltPattern &) override {}
void visit (HIR::LiteralPattern &) override {}
void visit (HIR::PathInExpression &) override {}
void visit (HIR::QualifiedPathInExpression &) override {}
void visit (HIR::WildcardPattern &pattern) override;
void visit (HIR::RangePattern &pattern) override;
+ // unsupported
+ void visit (HIR::AltPattern &pattern) override
+ {
+ rust_sorry_at (pattern.get_locus (),
+ "alternate pattern case labels not supported");
+ }
+
// Empty visit for unused Pattern HIR nodes.
void visit (HIR::IdentifierPattern &) override {}
void visit (HIR::LiteralPattern &) override;
void visit (HIR::StructPattern &pattern) override;
void visit (HIR::TupleStructPattern &pattern) override;
+ // unsupported
+ void visit (HIR::AltPattern &pattern) override
+ {
+ rust_sorry_at (pattern.get_locus (),
+ "alternate pattern bindings not supported");
+ }
+
// Empty visit for unused Pattern HIR nodes.
void visit (HIR::IdentifierPattern &) override {}
void visit (HIR::LiteralPattern &) override {}
void visit (HIR::TuplePattern &) override;
// check for unimplemented Pattern HIR nodes.
+ void visit (HIR::AltPattern &pattern) override
+ {
+ rust_sorry_at (pattern.get_locus (),
+ "alternate pattern let statements not supported");
+ }
+
void visit (HIR::LiteralPattern &pattern) override
{
rust_sorry_at (pattern.get_locus (),
void visit (HIR::RangePattern &) override {}
void visit (HIR::ReferencePattern &) override {}
void visit (HIR::SlicePattern &) override {}
+ void visit (HIR::AltPattern &) override {}
void visit (HIR::StructPattern &) override {}
void visit (HIR::TuplePattern &) override {}
void visit (HIR::TupleStructPattern &) override {}
}
// Empty visit for unused Pattern HIR nodes.
+ void visit (HIR::AltPattern &) override {}
void visit (HIR::LiteralPattern &) override {}
void visit (HIR::PathInExpression &) override {}
void visit (HIR::QualifiedPathInExpression &) override {}
ConstChecker::visit (SlicePattern &)
{}
+void
+ConstChecker::visit (AltPattern &)
+{}
+
void
ConstChecker::visit (EmptyStmt &)
{}
virtual void visit (TuplePatternItemsRanged &tuple_items) override;
virtual void visit (TuplePattern &pattern) override;
virtual void visit (SlicePattern &pattern) override;
+ virtual void visit (AltPattern &pattern) override;
virtual void visit (EmptyStmt &stmt) override;
virtual void visit (LetStmt &stmt) override;
virtual void visit (ExprStmtWithoutBlock &stmt) override;
UnsafeChecker::visit (SlicePattern &)
{}
+void
+UnsafeChecker::visit (AltPattern &)
+{}
+
void
UnsafeChecker::visit (EmptyStmt &)
{}
virtual void visit (TuplePatternItemsRanged &tuple_items) override;
virtual void visit (TuplePattern &pattern) override;
virtual void visit (SlicePattern &pattern) override;
+ virtual void visit (AltPattern &pattern) override;
virtual void visit (EmptyStmt &stmt) override;
virtual void visit (LetStmt &stmt) override;
virtual void visit (ExprStmtWithoutBlock &stmt) override;
void
Dump::visit (SlicePattern &)
{}
+void
+Dump::visit (AltPattern &)
+{}
void
Dump::visit (EmptyStmt &)
virtual void visit (TuplePatternItemsRanged &) override;
virtual void visit (TuplePattern &) override;
virtual void visit (SlicePattern &) override;
+ virtual void visit (AltPattern &) override;
virtual void visit (EmptyStmt &) override;
virtual void visit (LetStmt &) override;
class TuplePatternItemsRanged;
class TuplePattern;
class SlicePattern;
+class AltPattern;
// rust-type.h
class TraitBound;
}
};
+// HIR node for alternative patterns
+class AltPattern : public Pattern
+{
+ std::vector<std::unique_ptr<Pattern>> alts;
+ Location locus;
+ Analysis::NodeMapping mappings;
+
+public:
+public:
+ std::string as_string () const override;
+
+ AltPattern (Analysis::NodeMapping mappings,
+ std::vector<std::unique_ptr<Pattern>> alts, Location locus)
+ : alts (std::move (alts)), locus (locus), mappings (mappings)
+ {}
+
+ // Copy constructor with vector clone
+ AltPattern (AltPattern const &other)
+ : locus (other.locus), mappings (other.mappings)
+ {
+ alts.reserve (other.alts.size ());
+ for (const auto &e : other.alts)
+ alts.push_back (e->clone_pattern ());
+ }
+
+ // Overloaded assignment operator to vector clone
+ AltPattern &operator= (AltPattern const &other)
+ {
+ locus = other.locus;
+ mappings = other.mappings;
+
+ alts.clear ();
+ alts.reserve (other.alts.size ());
+ for (const auto &e : other.alts)
+ alts.push_back (e->clone_pattern ());
+
+ return *this;
+ }
+
+ // move constructors
+ AltPattern (AltPattern &&other) = default;
+ AltPattern &operator= (AltPattern &&other) = default;
+
+ Location get_locus () const override { return locus; }
+
+ void accept_vis (HIRFullVisitor &vis) override;
+ void accept_vis (HIRPatternVisitor &vis) override;
+
+ Analysis::NodeMapping get_pattern_mappings () const override final
+ {
+ return mappings;
+ }
+
+ PatternType get_pattern_type () const override final
+ {
+ return PatternType::ALT;
+ }
+
+protected:
+ /* Use covariance to implement clone function as returning this object rather
+ * than base */
+ AltPattern *clone_pattern_impl () const override
+ {
+ return new AltPattern (*this);
+ }
+};
+
// Moved definition to rust-path.h
class PathPattern;
virtual void visit (TuplePatternItemsRanged &tuple_items) = 0;
virtual void visit (TuplePattern &pattern) = 0;
virtual void visit (SlicePattern &pattern) = 0;
+ virtual void visit (AltPattern &pattern) = 0;
virtual void visit (EmptyStmt &stmt) = 0;
virtual void visit (LetStmt &stmt) = 0;
virtual void visit (ExprStmtWithoutBlock &stmt) = 0;
virtual void visit (TuplePatternItemsRanged &) override {}
virtual void visit (TuplePattern &) override {}
virtual void visit (SlicePattern &) override {}
+ virtual void visit (AltPattern &) override {}
virtual void visit (EmptyStmt &) override {}
virtual void visit (LetStmt &) override {}
virtual void visit (RangePattern &) = 0;
virtual void visit (ReferencePattern &) = 0;
virtual void visit (SlicePattern &) = 0;
+ virtual void visit (AltPattern &) = 0;
virtual void visit (StructPattern &) = 0;
virtual void visit (TuplePattern &) = 0;
virtual void visit (TupleStructPattern &) = 0;
TUPLE,
GROUPED,
SLICE,
+ ALT
};
BaseKind get_hir_kind () override final { return PATTERN; }
got_field_count == 1 ? "element" : "elements");
}
+void
+TypeCheckPattern::visit (HIR::AltPattern &pattern)
+{
+ rust_sorry_at (pattern.get_locus (),
+ "type checking alternate patterns not supported");
+}
+
} // namespace Resolver
} // namespace Rust
void visit (HIR::QualifiedPathInExpression &pattern) override;
void visit (HIR::ReferencePattern &pattern) override;
void visit (HIR::SlicePattern &pattern) override;
+ void visit (HIR::AltPattern &pattern) override;
private:
TypeCheckPattern (TyTy::BaseType *parent);