Changes in src/AST/Convert.cpp [f685679:6f4b7f2]

File:

• src/AST/Convert.cpp (modified) (5 diffs)

src/AST/Convert.cpp

@@ -397 +397 @@
                 ThrowStmt::Kind kind;
                 switch (node->kind) {
-                case ast::ThrowStmt::Terminate:
+                case ast::ExceptionKind::Terminate:
                         kind = ThrowStmt::Terminate;
                         break;
-                case ast::ThrowStmt::Resume:
+                case ast::ExceptionKind::Resume:
                         kind = ThrowStmt::Resume;
                         break;
@@ -429 +429 @@
                 CatchStmt::Kind kind;
                 switch (node->kind) {
-                case ast::CatchStmt::Terminate:
+                case ast::ExceptionKind::Terminate:
                         kind = CatchStmt::Terminate;
                         break;
-                case ast::CatchStmt::Resume:
+                case ast::ExceptionKind::Resume:
                         kind = CatchStmt::Resume;
                         break;
@@ -704 +704 @@
         }
 
-        bool isIntlikeConstantType(const ast::Type *t) {
-                if ( const ast::BasicType * basicType = dynamic_cast< const ast::BasicType * >( t ) ) {
-                        if ( basicType->isInteger() ) {
-                                return true;
-                        }
-                } else if ( dynamic_cast< const ast::OneType * >( t ) ) {
-                        return true;
-                } else if ( dynamic_cast< const ast::ZeroType * >( t ) ) {
-                        return true;
-                } else if ( dynamic_cast< const ast::PointerType * >( t ) ) {
-                        // null pointer constants, with zero int-values
-                        return true;
-                }
-                return false;
-        }
-
-        bool isFloatlikeConstantType(const ast::Type *t) {
-                if ( const ast::BasicType * bty = dynamic_cast< const ast::BasicType * >( t ) ) {
-                        if ( ! bty->isInteger() ) {
-                                return true;
-                        }
-                }
-                return false;
-        }
-
-        bool isStringlikeConstantType(const ast::Type *t) {
-                if ( const ast::ArrayType * aty = dynamic_cast< const ast::ArrayType * >( t ) ) {
-                        if ( const ast::BasicType * bty = aty->base.as<ast::BasicType>() ) {
-                           if ( bty->kind == ast::BasicType::Kind::Char ) {
-                                   return true;
-                           }
-                        }
-                }
-                return false;
-        }
-
         const ast::Expr * visit( const ast::ConstantExpr * node ) override final {
                 ConstantExpr *rslt = nullptr;
-                if (isIntlikeConstantType(node->result)) {
-                        rslt = new ConstantExpr(Constant(
-                                get<Type>().accept1(node->result),
+                switch ( node->kind ) {
+                case ast::ConstantExpr::Integer:
+                        rslt = new ConstantExpr{Constant{
+                                get<Type>().accept1( node->result ),
                                 node->rep,
                                 (unsigned long long) node->intValue()
-                        ));
-                } else if (isFloatlikeConstantType(node->result)) {
-                        rslt = new ConstantExpr(Constant(
+                        }};
+                        break;
+                case ast::ConstantExpr::FloatingPoint:
+                        rslt = new ConstantExpr{Constant{
                                 get<Type>().accept1(node->result),
                                 node->rep,
                                 (double) node->floatValue()
-                        ));
-                } else if (isStringlikeConstantType(node->result)) {
-                        rslt = new ConstantExpr(Constant::from_string(
-                                node->rep
-                        ));
+                        }};
+                        break;
+                case ast::ConstantExpr::String:
+                        rslt = new ConstantExpr{Constant::from_string( node->rep )};
+                        break;
                 }
                 assert(rslt);
@@ -1773 +1739 @@
         virtual void visit( ThrowStmt * old ) override final {
                 if ( inCache( old ) ) return;
-                ast::ThrowStmt::Kind kind;
+                ast::ExceptionKind kind;
                 switch (old->kind) {
                 case ThrowStmt::Terminate:
-                        kind = ast::ThrowStmt::Terminate;
+                        kind = ast::ExceptionKind::Terminate;
                         break;
                 case ThrowStmt::Resume:
-                        kind = ast::ThrowStmt::Resume;
+                        kind = ast::ExceptionKind::Resume;
                         break;
                 default:
@@ -1809 +1775 @@
         virtual void visit( CatchStmt * old ) override final {
                 if ( inCache( old ) ) return;
-                ast::CatchStmt::Kind kind;
+                ast::ExceptionKind kind;
                 switch (old->kind) {
                 case CatchStmt::Terminate:
-                        kind = ast::CatchStmt::Terminate;
+                        kind = ast::ExceptionKind::Terminate;
                         break;
                 case CatchStmt::Resume:
-                        kind = ast::CatchStmt::Resume;
+                        kind = ast::ExceptionKind::Resume;
                         break;
                 default: