source: src/Validate/GenericParameter.hpp @ 7e13b11

Last change on this file since 7e13b11 was 11df881, checked in by Andrew Beach <ajbeach@…>, 2 years ago

Updated documentation on pre-resolver passes, moving code to headers instead of uses. Note that some comments were just copied over, I don't know if they are accurate.

  • Property mode set to 100644
File size: 1.1 KB
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// GenericParameter.hpp -- Generic parameter related passes.
8//
9// Author           : Andrew Beach
10// Created On       : Fri Mar 21  9:55:00 2022
11// Last Modified By : Andrew Beach
12// Last Modified On : Wed Apr 13 14:45:00 2022
13// Update Count     : 0
14//
15
16#pragma once
17
18namespace ast {
19        class TranslationUnit;
20}
21
22namespace Validate {
23
24/// Perform substutions for generic parameters and fill in defaults.
25/// Check as early as possible, but it can't happen before Link References to
26/// Types and observed failing when attempted before eliminate typedef.
27void fillGenericParameters( ast::TranslationUnit & translationUnit );
28
29/// Replace dimension generic parameters with a fixed type of that size.
30void translateDimensionParameters( ast::TranslationUnit & translationUnit );
31
32}
33
34// Local Variables: //
35// tab-width: 4 //
36// mode: c++ //
37// compile-command: "make install" //
38// End: //
Note: See TracBrowser for help on using the repository browser.