source: src/ResolvExpr/SatisfyAssertions.hpp @ 91fb850

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 91fb850 was cf32116, checked in by Andrew Beach <ajbeach@…>, 5 years ago

Implemented expression based lvalue resolution on new ast.

  • Property mode set to 100644
File size: 958 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        CandidateRef & cand, 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.