source: src/ResolvExpr/SatisfyAssertions.hpp @ 1389810

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 1389810 was 1389810, checked in by Fangren Yu <f37yu@…>, 4 years ago

consolidate prune and satisfy assertion

  • Property mode set to 100644
File size: 999 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
30/// returns true if it has been run (candidate has any assertions)
31void satisfyAssertions(
32        CandidateRef & cand, const ast::SymbolTable & symtab, CandidateList & out,
33        std::vector<std::string> & errors );
34
35} // namespace ResolvExpr
36
37// Local Variables: //
38// tab-width: 4 //
39// mode: c++ //
40// compile-command: "make install" //
41// End: //
Note: See TracBrowser for help on using the repository browser.