Changeset 4d2d45f for src/ResolvExpr/ResolveAssertions.h

Timestamp:

Apr 9, 2019, 1:50:13 PM (4 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

c41c18a6

Parents:

5806745

Message:

Improve assertion error messages

File:

• src/ResolvExpr/ResolveAssertions.h (modified) (1 diff)

src/ResolvExpr/ResolveAssertions.h

@@ -24 +24 @@
 namespace ResolvExpr {
         /// Recursively resolves all assertions provided in an alternative; returns true iff succeeds
-        void resolveAssertions( Alternative& alt, const SymTab::Indexer& indexer, AltList& out );
+        void resolveAssertions( Alternative& alt, const SymTab::Indexer& indexer, AltList& out, std::list<std::string>& errors );
 } // namespace ResolvExpr