Changeset ecf3812 for src/AST

Timestamp:

Nov 19, 2024, 5:02:03 PM (11 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

d945be9

Parents:

29075d1

Message:

CastExpr reorganization and clean-up in Lvalue. I kept these from a fix that is not working.

File:

• src/AST/Expr.hpp (modified) (2 diffs)

src/AST/Expr.hpp

@@ -330 +330 @@
 enum GeneratedFlag { ExplicitCast, GeneratedCast };
 
+/// Even within the basic cast expression there are variants:
+/// CCast - C-Style Cast: A backwards compatable cast from C.
+/// CoerceCast - Coercion Cast: Change the type without changing the value.
+/// ReturnCast - Ascription Cast: Requires the given expression result type.
+enum CastKind { CCast, CoerceCast, ReturnCast };
+
 /// A type cast, e.g. `(int)e`
 class CastExpr final : public Expr {
@@ -336 +342 @@
         GeneratedFlag isGenerated;
 
-        enum CastKind {
-                Default, // C
-                Coerce, // reinterpret cast
-                Return  // overload selection
-        };
-
-        CastKind kind = Default;
+        CastKind kind = CCast;
 
         CastExpr( const CodeLocation & loc, const Expr * a, const Type * to,
-                GeneratedFlag g = GeneratedCast, CastKind kind = Default ) : Expr( loc, to ), arg( a ), isGenerated( g ), kind( kind ) {}
+                GeneratedFlag g = GeneratedCast, CastKind kind = CCast ) : Expr( loc, to ), arg( a ), isGenerated( g ), kind( kind ) {}
         /// Cast-to-void
-        CastExpr( const CodeLocation & loc, const Expr * a, GeneratedFlag g = GeneratedCast, CastKind kind = Default );
+        CastExpr( const CodeLocation & loc, const Expr * a, GeneratedFlag g = GeneratedCast, CastKind kind = CCast );
 
         /// Wrap a cast expression around an existing expression (always generated)