source: src/ResolvExpr/SatisfyAssertions.hpp @ 396037d

arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 396037d was 396037d, checked in by Aaron Moss <a3moss@…>, 4 years ago

Start stubbing CandidateFinder? in

  • Property mode set to 100644
File size: 956 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// SatisfyAssertions.hpp --
8//
9// Author           : Aaron B. Moss
10// Created On       : Mon Jun 10 17:45:00 2019
11// Last Modified By : Aaron B. Moss
12// Last Modified On : Mon Jun 10 17:45:00 2019
13// Update Count     : 1
14//
15
16#pragma once
17
18#include <string>
19#include <vector>
20
21#include "Candidate.hpp"  // for Candidate, CandidateList
22
23namespace ast {
24        class SymbolTable;
25}
26
27namespace ResolvExpr {
28
29/// Recursively satisfies all assertions provided in a candidate; returns true if succeeds
30void satisfyAssertions( 
31        Candidate & alt, const ast::SymbolTable & symtab, CandidateList & out, 
32        std::vector<std::string> & errors );
33
34} // namespace ResolvExpr
35
36// Local Variables: //
37// tab-width: 4 //
38// mode: c++ //
39// compile-command: "make install" //
40// End: //
Note: See TracBrowser for help on using the repository browser.