Changes in src/SynTree/Expression.cc [487845d7:0690350]

File:

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

src/SynTree/Expression.cc

@@ -83 +83 @@
 }
 
+long long int ConstantExpr::intValue() const {
+        if ( BasicType * basicType = dynamic_cast< BasicType * >( result ) ) {
+                if ( basicType->isInteger() ) {
+                        return get_constant()->get_ival();
+                }
+        } else if ( dynamic_cast< OneType * >( result ) ) {
+                return 1;
+        } else if ( dynamic_cast< ZeroType * >( result ) ) {
+                return 0;
+        }
+        throw SemanticError( "Constant expression of non-integral type ", this );
+}
+
 VariableExpr::VariableExpr( DeclarationWithType *_var ) : Expression(), var( _var ) {
         assert( var );
@@ -95 +108 @@
         //      assert( inst->baseEnum );
         //      EnumDecl * decl = inst->baseEnum;
-        //      for ( Declaration * member : decl->members ) {
-        //              if ( member == _var ) {
-        //                      type->set_lvalue( false );
-        //              }
+        //      long long int value;
+        //      if ( decl->valueOf( var, value ) ) {
+        //              type->set_lvalue( false );
         //      }
         // }
@@ -403 +415 @@
                 } else {
                         // references have been removed, in which case dereference returns an lvalue of the base type.
-                        ret->get_result()->set_lvalue( true );
+                        ret->result->set_lvalue( true );
                 }
         }
@@ -589 +601 @@
         if ( ! body.empty() ) {
                 if ( ExprStmt * exprStmt = dynamic_cast< ExprStmt * >( body.back() ) ) {
-                        set_result( maybeClone( exprStmt->get_expr()->get_result() ) );
+                        result = maybeClone( exprStmt->expr->result );
                 }
         }
         // ensure that StmtExpr has a result type
         if ( ! result ) {
-                set_result( new VoidType( Type::Qualifiers() ) );
+                result = new VoidType( Type::Qualifiers() );
         }
 }