Changeset a16764a6 for src/SynTree

Timestamp:

Feb 28, 2018, 4:48:22 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

446ffa3

Parents:

6a8df56

Message:

Changed warning system to prepare for toggling warnings

Location:

src/SynTree

Files:

• Expression.cc (modified) (1 diff)
• Mutator.h (modified) (2 diffs)
• Statement.cc (modified) (2 diffs)
• Statement.h (modified) (2 diffs)
• TypeSubstitution.h (modified) (1 diff)
• Visitor.h (modified) (2 diffs)

src/SynTree/Expression.cc

@@ -93 +93 @@
                 return 0;
         }
-        throw SemanticError( this, "Constant expression of non-integral type " );
+        SemanticError( this, "Constant expression of non-integral type " );
 }
 

src/SynTree/Mutator.h

@@ -136 +136 @@
 template< typename Container, typename MutatorType >
 inline void mutateAll( Container &container, MutatorType &mutator ) {
-        SemanticError errors;
+        SemanticErrorException errors;
         for ( typename Container::iterator i = container.begin(); i != container.end(); ++i ) {
                 try {
@@ -144 +144 @@
                                 assert( *i );
                         } // if
-                } catch( SemanticError &e ) {
+                } catch( SemanticErrorException &e ) {
                         errors.append( e );
                 } // try

src/SynTree/Statement.cc

@@ -96 +96 @@
 const char *BranchStmt::brType[] = { "Goto", "Break", "Continue" };
 
-BranchStmt::BranchStmt( Label target, Type type ) throw ( SemanticError ) :
+BranchStmt::BranchStmt( Label target, Type type ) throw ( SemanticErrorException ) :
         Statement(), originalTarget( target ), target( target ), computedTarget( nullptr ), type( type ) {
         //actually this is a syntactic error signaled by the parser
         if ( type == BranchStmt::Goto && target.empty() ) {
-                throw SemanticError( target.get_statement()->location, "goto without target");
-        }
-}
-
-BranchStmt::BranchStmt( Expression *computedTarget, Type type ) throw ( SemanticError ) :
+                SemanticError( target.get_statement()->location, "goto without target");
+        }
+}
+
+BranchStmt::BranchStmt( Expression *computedTarget, Type type ) throw ( SemanticErrorException ) :
         Statement(), computedTarget( computedTarget ), type( type ) {
         if ( type != BranchStmt::Goto || computedTarget == nullptr ) {
-                throw SemanticError( computedTarget->location, "Computed target not valid in branch statement");
+                SemanticError( computedTarget->location, "Computed target not valid in branch statement");
         }
 }
@@ -201 +201 @@
 }
 
-CaseStmt::CaseStmt( Expression *condition, const std::list<Statement *> &statements, bool deflt ) throw ( SemanticError ) :
+CaseStmt::CaseStmt( Expression *condition, const std::list<Statement *> &statements, bool deflt ) throw ( SemanticErrorException ) :
         Statement(), condition( condition ), stmts( statements ), _isDefault( deflt ) {
-        if ( isDefault() && condition != 0 ) throw SemanticError( condition, "default case with condition: " );
+        if ( isDefault() && condition != 0 ) SemanticError( condition, "default case with condition: " );
 }
 

src/SynTree/Statement.h

@@ -179 +179 @@
         std::list<Statement *> stmts;
 
-        CaseStmt( Expression *conditions, const std::list<Statement *> &stmts, bool isdef = false ) throw(SemanticError);
+        CaseStmt( Expression *conditions, const std::list<Statement *> &stmts, bool isdef = false ) throw (SemanticErrorException);
         CaseStmt( const CaseStmt &other );
         virtual ~CaseStmt();
@@ -263 +263 @@
         Type type;
 
-        BranchStmt( Label target, Type ) throw (SemanticError);
-        BranchStmt( Expression *computedTarget, Type ) throw (SemanticError);
+        BranchStmt( Label target, Type ) throw (SemanticErrorException);
+        BranchStmt( Expression *computedTarget, Type ) throw (SemanticErrorException);
 
         Label get_originalTarget() { return originalTarget; }

src/SynTree/TypeSubstitution.h

@@ -98 +98 @@
                                 } // if
                         } else {
-                                throw SemanticError( formal, toString( "Attempt to provide non-type parameter: ", toString( *actualIt ).c_str(), " for type parameter " ) );
+                                SemanticError( formal, toString( "Attempt to provide non-type parameter: ", toString( *actualIt ).c_str(), " for type parameter " ) );
                         } // if
                 } else {

src/SynTree/Visitor.h

@@ -132 +132 @@
 template< typename Container, typename VisitorType >
 inline void acceptAll( Container &container, VisitorType &visitor ) {
-        SemanticError errors;
+        SemanticErrorException errors;
         for ( typename Container::iterator i = container.begin(); i != container.end(); ++i ) {
                 try {
@@ -138 +138 @@
                                 (*i)->accept( visitor );
                         }
-                } catch( SemanticError &e ) {
+                } catch( SemanticErrorException &e ) {
                         errors.append( e );
                 }