source: src/Validate/CheckAssertions.hpp

Last change on this file was 82a5ea2, checked in by Andrew Beach <ajbeach@…>, 2 months ago

Added checks for (and a test to check the checks) assertions we will not be able to adapt. Using an adapted version of Mike's error message.

  • Property mode set to 100644
File size: 633 bytes
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2018 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// CheckAssertions.hpp -- Check for invalid assertions.
8//
9// Author           : Andrew Beach
10// Created On       : Thu Sep  5 14:41:00 2024
11// Last Modified By : Andrew Beach
12// Last Modified On : Thu Sep  5 14:41:00 2024
13// Update Count     : 0
14//
15
16#pragma once
17
18namespace ast {
19        class TranslationUnit;
20}
21
22namespace Validate {
23
24/// Checks for problems in an assertion list.
25void checkAssertions( ast::TranslationUnit & transUnit );
26
27}
Note: See TracBrowser for help on using the repository browser.