Changeset d55d7a6 for src/SynTree

Timestamp:

Feb 15, 2018, 3:58:56 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:

75e3cb2

Parents:

d27e340

Message:

Massive change to errors to enable warnings

Location:

src/SynTree

Files:

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

src/SynTree/Expression.cc

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

src/SynTree/Mutator.h

@@ -148 +148 @@
                         } // if
                 } catch( SemanticError &e ) {
-                        e.set_location( (*i)->location );
                         errors.append( e );
                 } // try

src/SynTree/Statement.cc

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

src/SynTree/TypeSubstitution.h

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

src/SynTree/Visitor.h

@@ -142 +142 @@
                         }
                 } catch( SemanticError &e ) {
-                        e.set_location( (*i)->location );
                         errors.append( e );
                 }