Changes in src/SynTree/Expression.h [d5631b3:312029a]

File:

• src/SynTree/Expression.h (modified) (4 diffs)

src/SynTree/Expression.h

@@ -163 +163 @@
 };
 
-/// VariableExpr represents an expression that simply refers to the value of a named variable.
-/// Does not take ownership of var.
-class VariableExpr : public Expression {
-  public:
-        DeclarationWithType * var;
-
-        VariableExpr();
-        VariableExpr( DeclarationWithType * var );
-        VariableExpr( const VariableExpr & other );
-        virtual ~VariableExpr();
-
-        bool get_lvalue() const final;
-
-        DeclarationWithType * get_var() const { return var; }
-        void set_var( DeclarationWithType * newValue ) { var = newValue; }
-
-        static VariableExpr * functionPointer( FunctionDecl * decl );
-
-        virtual VariableExpr * clone() const override { return new VariableExpr( * this ); }
-        virtual void accept( Visitor & v ) override { v.visit( this ); }
-        virtual void accept( Visitor & v ) const override { v.visit( this ); }
-        virtual Expression * acceptMutator( Mutator & m ) override { return m.mutate( this ); }
-        virtual void print( std::ostream & os, Indenter indent = {} ) const override;
-};
-
 // The following classes are used to represent expression types that cannot be converted into
 // function-call format.
@@ -231 +206 @@
   public:
         Expression * arg;
-
-        // Inidicates cast is introduced by the CFA type system.
-        // true for casts that the resolver introduces to force a return type
-        // false for casts from user code
-        // false for casts from desugaring advanced CFA features into simpler CFA
-        // example
-        //   int * p;     // declaration
-        //   (float *) p; // use, with subject cast
-        // subject cast isGenerated means we are considering an interpretation with a type mismatch
-        // subject cast not isGenerated means someone in charge wants it that way
-        bool isGenerated = true;
+        bool isGenerated = true; // cast generated implicitly by code generation or explicit in program
 
         CastExpr( Expression * arg, bool isGenerated = true );
@@ -273 +238 @@
 
         KeywordCastExpr( Expression * arg, AggregateDecl::Aggregate target );
-        KeywordCastExpr( Expression * arg, AggregateDecl::Aggregate target, const Concrete & concrete_target );
         KeywordCastExpr( const KeywordCastExpr & other );
         virtual ~KeywordCastExpr();
@@ -348 +312 @@
 
         virtual MemberExpr * clone() const override { return new MemberExpr( * this ); }
+        virtual void accept( Visitor & v ) override { v.visit( this ); }
+        virtual void accept( Visitor & v ) const override { v.visit( this ); }
+        virtual Expression * acceptMutator( Mutator & m ) override { return m.mutate( this ); }
+        virtual void print( std::ostream & os, Indenter indent = {} ) const override;
+};
+
+/// VariableExpr represents an expression that simply refers to the value of a named variable.
+/// Does not take ownership of var.
+class VariableExpr : public Expression {
+  public:
+        DeclarationWithType * var;
+
+        VariableExpr();
+        VariableExpr( DeclarationWithType * var );
+        VariableExpr( const VariableExpr & other );
+        virtual ~VariableExpr();
+
+        bool get_lvalue() const final;
+
+        DeclarationWithType * get_var() const { return var; }
+        void set_var( DeclarationWithType * newValue ) { var = newValue; }
+
+        static VariableExpr * functionPointer( FunctionDecl * decl );
+
+        virtual VariableExpr * clone() const override { return new VariableExpr( * this ); }
         virtual void accept( Visitor & v ) override { v.visit( this ); }
         virtual void accept( Visitor & v ) const override { v.visit( this ); }