ADTast-experimental
Last change
on this file since 43db35e 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.2 KB
|
Rev | Line | |
---|
[9490621] | 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 | // ForallPointerDecay.hpp -- |
---|
| 8 | // |
---|
| 9 | // Author : Andrew Beach |
---|
| 10 | // Created On : Tue Dec 7 16:15:00 2021 |
---|
| 11 | // Last Modified By : Andrew Beach |
---|
[298fe57] | 12 | // Last Modified On : Sat Apr 23 13:13:00 2022 |
---|
| 13 | // Update Count : 1 |
---|
[9490621] | 14 | // |
---|
| 15 | |
---|
| 16 | #pragma once |
---|
| 17 | |
---|
[298fe57] | 18 | #include <vector> |
---|
| 19 | #include "AST/Node.hpp" |
---|
| 20 | |
---|
[9490621] | 21 | namespace ast { |
---|
[298fe57] | 22 | class DeclWithType; |
---|
[9490621] | 23 | class TranslationUnit; |
---|
| 24 | } |
---|
| 25 | |
---|
| 26 | namespace Validate { |
---|
| 27 | |
---|
| 28 | /// Cleans up assertion lists and expands traits. |
---|
| 29 | /// Also checks that operator names are used properly on functions and |
---|
| 30 | /// assigns unique IDs. This is a "legacy" pass. |
---|
[11df881] | 31 | /// Must be after implement concurrent keywords; because uniqueIds must be |
---|
| 32 | /// set on declaration before resolution. |
---|
| 33 | /// Must happen before auto-gen routines are added. |
---|
[9490621] | 34 | void decayForallPointers( ast::TranslationUnit & transUnit ); |
---|
| 35 | |
---|
[298fe57] | 36 | /// Expand all traits in an assertion list. |
---|
| 37 | std::vector<ast::ptr<ast::DeclWithType>> expandAssertions( |
---|
| 38 | std::vector<ast::ptr<ast::DeclWithType>> const & ); |
---|
| 39 | |
---|
[9490621] | 40 | } |
---|
| 41 | |
---|
| 42 | // Local Variables: // |
---|
| 43 | // tab-width: 4 // |
---|
| 44 | // mode: c++ // |
---|
| 45 | // compile-command: "make install" // |
---|
| 46 | // End: // |
---|
Note: See
TracBrowser
for help on using the repository browser.