source: src/ResolvExpr/ResolveAssertions.h @ da48183

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since da48183 was 6d6e829, checked in by Aaron Moss <a3moss@…>, 5 years ago

First compiling draft of deferred assertions (build failure)

  • Property mode set to 100644
File size: 869 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 );
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.