source: src/ResolvExpr/ResolveAssertions.h @ b91bfde

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since b91bfde was 4d2d45f9, checked in by Aaron Moss <a3moss@…>, 5 years ago

Improve assertion error messages

  • Property mode set to 100644
File size: 901 bytes
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// ResolveAssertions.h --
8//
9// Author           : Aaron B. Moss
10// Created On       : Fri Oct 05 13:46:00 2018
11// Last Modified By : Aaron B. Moss
12// Last Modified On : Fri Oct 05 13:46:00 2018
13// Update Count     : 1
14//
15
16#pragma once
17
18#include "Alternative.h"  // for Alternative, AltList
19
20namespace SymTab {
21        class Indexer;
22}
23
24namespace ResolvExpr {
25        /// Recursively resolves all assertions provided in an alternative; returns true iff succeeds
26        void resolveAssertions( Alternative& alt, const SymTab::Indexer& indexer, AltList& out, std::list<std::string>& errors );
27} // namespace ResolvExpr
28
29// Local Variables: //
30// tab-width: 4 //
31// mode: c++ //
32// compile-command: "make install" //
33// End: //
Note: See TracBrowser for help on using the repository browser.