Changes in / [4616622:2d028039]
- Files:
-
- 28 edited
-
libcfa/prelude/builtins.c (modified) (2 diffs)
-
libcfa/prelude/prelude-gen.cc (modified) (2 diffs)
-
libcfa/src/bits/containers.hfa (modified) (2 diffs)
-
libcfa/src/concurrency/coroutine.hfa (modified) (2 diffs)
-
libcfa/src/concurrency/locks.hfa (modified) (1 diff)
-
libcfa/src/concurrency/monitor.hfa (modified) (2 diffs)
-
libcfa/src/concurrency/mutex.hfa (modified) (2 diffs)
-
libcfa/src/concurrency/thread.hfa (modified) (2 diffs)
-
libcfa/src/containers/list.hfa (modified) (2 diffs)
-
libcfa/src/containers/vector.hfa (modified) (2 diffs)
-
libcfa/src/exception.h (modified) (3 diffs)
-
libcfa/src/iostream.hfa (modified) (7 diffs)
-
libcfa/src/iterator.hfa (modified) (3 diffs)
-
libcfa/src/math.trait.hfa (modified) (6 diffs)
-
libcfa/src/stdlib.hfa (modified) (2 diffs)
-
src/Common/ScopedMap.h (modified) (6 diffs)
-
src/Common/SemanticError.h (modified) (3 diffs)
-
src/GenPoly/Box.cc (modified) (6 diffs)
-
src/GenPoly/ErasableScopedMap.h (modified) (4 diffs)
-
src/GenPoly/GenPoly.cc (modified) (4 diffs)
-
src/GenPoly/ScopedSet.h (modified) (1 diff)
-
src/GenPoly/ScrubTyVars.cc (modified) (1 diff)
-
src/Parser/parser.yy (modified) (2 diffs)
-
src/SymTab/Validate.cc (modified) (1 diff)
-
src/Validate/ReplaceTypedef.cpp (modified) (1 diff)
-
tests/.expect/forall.txt (modified) (1 diff)
-
tests/Makefile.am (modified) (3 diffs)
-
tests/forall.cfa (modified) (10 diffs)
Legend:
- Unmodified
- Added
- Removed
-
libcfa/prelude/builtins.c
r4616622 r2d028039 10 10 // Created On : Fri Jul 21 16:21:03 2017 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Thu Feb 2 11:33:56 202313 // Update Count : 13 512 // Last Modified On : Sat Aug 14 08:45:54 2021 13 // Update Count : 133 14 14 // 15 15 … … 64 64 static inline void ^?{}(generator$ &) {} 65 65 66 forall( T & ) 67 trait is_generator { 66 trait is_generator(T &) { 68 67 void main(T & this); 69 68 generator$ * get_generator(T & this); -
libcfa/prelude/prelude-gen.cc
r4616622 r2d028039 10 10 // Created On : Sat Feb 16 08:44:58 2019 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : T hu Feb 2 11:40:01 202313 // Update Count : 3 812 // Last Modified On : Tue Apr 2 17:18:24 2019 13 // Update Count : 37 14 14 // 15 15 … … 159 159 int main() { 160 160 cout << "# 2 \"prelude.cfa\" // needed for error messages from this file" << endl; 161 cout << " forall( T & ) trait sized{};" << endl;161 cout << "trait sized(T &) {};" << endl; 162 162 163 163 cout << "//////////////////////////" << endl; -
libcfa/src/bits/containers.hfa
r4616622 r2d028039 10 10 // Created On : Tue Oct 31 16:38:50 2017 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Thu Feb 2 11:33:08 202313 // Update Count : 2 912 // Last Modified On : Wed Jan 15 07:42:35 2020 13 // Update Count : 28 14 14 15 15 #pragma once … … 69 69 70 70 #ifdef __cforall 71 forall( T & ) 72 trait is_node { 71 trait is_node(T &) { 73 72 T *& get_next( T & ); 74 73 }; -
libcfa/src/concurrency/coroutine.hfa
r4616622 r2d028039 10 10 // Created On : Mon Nov 28 12:27:26 2016 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Thu Feb 2 11:31:42 202313 // Update Count : 1 312 // Last Modified On : Thu Jan 6 16:33:16 2022 13 // Update Count : 12 14 14 // 15 15 … … 38 38 // Anything that implements this trait can be resumed. 39 39 // Anything that is resumed is a coroutine. 40 forall( T & | IS_RESUMPTION_EXCEPTION(CoroutineCancelled(T)) ) 41 trait is_coroutine { 40 trait is_coroutine(T & | IS_RESUMPTION_EXCEPTION(CoroutineCancelled(T))) { 42 41 void main(T & this); 43 42 coroutine$ * get_coroutine(T & this); -
libcfa/src/concurrency/locks.hfa
r4616622 r2d028039 640 640 //----------------------------------------------------------------------------- 641 641 // is_blocking_lock 642 forall( L & | sized(L) ) 643 trait is_blocking_lock { 642 trait is_blocking_lock(L & | sized(L)) { 644 643 // For synchronization locks to use when acquiring 645 644 void on_notify( L &, struct thread$ * ); -
libcfa/src/concurrency/monitor.hfa
r4616622 r2d028039 10 10 // Created On : Thd Feb 23 12:27:26 2017 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Thu Feb 2 11:29:21 202313 // Update Count : 1 212 // Last Modified On : Wed Dec 4 07:55:32 2019 13 // Update Count : 11 14 14 // 15 15 … … 22 22 #include "stdlib.hfa" 23 23 24 forall( T & ) 25 trait is_monitor { 24 trait is_monitor(T &) { 26 25 monitor$ * get_monitor( T & ); 27 26 void ^?{}( T & mutex ); -
libcfa/src/concurrency/mutex.hfa
r4616622 r2d028039 12 12 // Created On : Fri May 25 01:24:09 2018 13 13 // Last Modified By : Peter A. Buhr 14 // Last Modified On : Thu Feb 2 11:46:08 202315 // Update Count : 214 // Last Modified On : Wed Dec 4 09:16:53 2019 15 // Update Count : 1 16 16 // 17 17 … … 70 70 void unlock(recursive_mutex_lock & this) __attribute__((deprecated("use concurrency/locks.hfa instead"))); 71 71 72 forall( L & | sized(L) ) 73 trait is_lock { 72 trait is_lock(L & | sized(L)) { 74 73 void lock (L &); 75 74 void unlock(L &); -
libcfa/src/concurrency/thread.hfa
r4616622 r2d028039 10 10 // Created On : Tue Jan 17 12:27:26 2017 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : T hu Feb 2 11:27:59 202313 // Update Count : 3 712 // Last Modified On : Tue Nov 22 22:18:34 2022 13 // Update Count : 35 14 14 // 15 15 … … 27 27 //----------------------------------------------------------------------------- 28 28 // thread trait 29 forall( T & ) 30 trait is_thread { 29 trait is_thread(T &) { 31 30 void ^?{}(T& mutex this); 32 31 void main(T& this); -
libcfa/src/containers/list.hfa
r4616622 r2d028039 9 9 // Author : Michael Brooks 10 10 // Created On : Wed Apr 22 18:00:00 2020 11 // Last Modified By : Peter A. Buhr12 // Last Modified On : Thu Feb 2 11:32:26 202313 // Update Count : 211 // Last Modified By : Michael Brooks 12 // Last Modified On : Wed Apr 22 18:00:00 2020 13 // Update Count : 1 14 14 // 15 15 … … 23 23 }; 24 24 25 forall( tOuter &, tMid &, tInner & ) 26 trait embedded { 25 trait embedded( tOuter &, tMid &, tInner & ) { 27 26 tytagref( tMid, tInner ) ?`inner( tOuter & ); 28 27 }; -
libcfa/src/containers/vector.hfa
r4616622 r2d028039 10 10 // Created On : Tue Jul 5 18:00:07 2016 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Thu Feb 2 11:41:24 202313 // Update Count : 512 // Last Modified On : Wed Jun 17 11:02:46 2020 13 // Update Count : 4 14 14 // 15 15 … … 50 50 //------------------------------------------------------------------------------ 51 51 //Declaration 52 forall( T, allocator_t)53 trait allocator_c{52 trait allocator_c(T, allocator_t) 53 { 54 54 void realloc_storage(allocator_t*, size_t); 55 55 T* data(allocator_t*); -
libcfa/src/exception.h
r4616622 r2d028039 9 9 // Author : Andrew Beach 10 10 // Created On : Mon Jun 26 15:11:00 2017 11 // Last Modified By : Peter A. Buhr12 // Last Modified On : Th u Feb 2 11:20:19 202313 // Update Count : 1 311 // Last Modified By : Andrew Beach 12 // Last Modified On : Thr Apr 8 15:20:00 2021 13 // Update Count : 12 14 14 // 15 15 … … 101 101 // implemented in the .c file either so they all have to be inline. 102 102 103 forall( exceptT &, virtualT & ) 104 trait is_exception { 103 trait is_exception(exceptT &, virtualT &) { 105 104 /* The first field must be a pointer to a virtual table. 106 105 * That virtual table must be a decendent of the base exception virtual table. … … 110 109 }; 111 110 112 forall( exceptT &, virtualT & | is_exception(exceptT, virtualT) ) 113 trait is_termination_exception { 111 trait is_termination_exception(exceptT &, virtualT & | is_exception(exceptT, virtualT)) { 114 112 void defaultTerminationHandler(exceptT &); 115 113 }; 116 114 117 forall( exceptT &, virtualT & | is_exception(exceptT, virtualT) ) 118 trait is_resumption_exception { 115 trait is_resumption_exception(exceptT &, virtualT & | is_exception(exceptT, virtualT)) { 119 116 void defaultResumptionHandler(exceptT &); 120 117 }; -
libcfa/src/iostream.hfa
r4616622 r2d028039 10 10 // Created On : Wed May 27 17:56:53 2015 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Thu Feb 2 11:25:39 202313 // Update Count : 4 1012 // Last Modified On : Sun Oct 10 10:02:07 2021 13 // Update Count : 407 14 14 // 15 15 … … 22 22 23 23 24 forall( ostype & ) 25 trait basic_ostream { 24 trait basic_ostream( ostype & ) { 26 25 // private 27 26 bool sepPrt$( ostype & ); // get separator state (on/off) … … 52 51 }; // basic_ostream 53 52 54 forall( ostype & | basic_ostream( ostype ) ) 55 trait ostream { 53 trait ostream( ostype & | basic_ostream( ostype ) ) { 56 54 bool fail( ostype & ); // operation failed? 57 55 void clear( ostype & ); … … 62 60 }; // ostream 63 61 64 // forall( T ) 65 // trait writeable { 62 // trait writeable( T ) { 66 63 // forall( ostype & | ostream( ostype ) ) ostype & ?|?( ostype &, T ); 67 64 // }; // writeable 68 65 69 forall( T, ostype & | ostream( ostype ) ) 70 trait writeable { 66 trait writeable( T, ostype & | ostream( ostype ) ) { 71 67 ostype & ?|?( ostype &, T ); 72 68 }; // writeable … … 294 290 295 291 296 forall( istype & ) 297 trait basic_istream { 292 trait basic_istream( istype & ) { 298 293 // private 299 294 bool getANL$( istype & ); // get scan newline (on/off) … … 307 302 }; // basic_istream 308 303 309 forall( istype & | basic_istream( istype ) ) 310 trait istream { 304 trait istream( istype & | basic_istream( istype ) ) { 311 305 bool fail( istype & ); 312 306 void clear( istype & ); … … 316 310 }; // istream 317 311 318 forall( T ) 319 trait readable { 312 trait readable( T ) { 320 313 forall( istype & | istream( istype ) ) istype & ?|?( istype &, T ); 321 314 }; // readable -
libcfa/src/iterator.hfa
r4616622 r2d028039 10 10 // Created On : Wed May 27 17:56:53 2015 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Thu Feb 2 11:21:50 202313 // Update Count : 1 112 // Last Modified On : Fri Jul 7 08:37:25 2017 13 // Update Count : 10 14 14 // 15 15 … … 17 17 18 18 // An iterator can be used to traverse a data structure. 19 forall( iterator_type, elt_type ) 20 trait iterator { 19 trait iterator( iterator_type, elt_type ) { 21 20 // point to the next element 22 21 // iterator_type ?++( iterator_type & ); … … 32 31 }; 33 32 34 forall( iterator_type, collection_type, elt_type | iterator( iterator_type, elt_type ) ) 35 trait iterator_for { 33 trait iterator_for( iterator_type, collection_type, elt_type | iterator( iterator_type, elt_type ) ) { 36 34 // [ iterator_type begin, iterator_type end ] get_iterators( collection_type ); 37 35 iterator_type begin( collection_type ); -
libcfa/src/math.trait.hfa
r4616622 r2d028039 10 10 // Created On : Fri Jul 16 15:40:52 2021 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : T hu Feb 2 11:36:56 202313 // Update Count : 2012 // Last Modified On : Tue Jul 20 17:47:19 2021 13 // Update Count : 19 14 14 // 15 15 16 16 #pragma once 17 17 18 forall( U ) 19 trait Not { 18 trait Not( U ) { 20 19 void ?{}( U &, zero_t ); 21 20 int !?( U ); 22 21 }; // Not 23 22 24 forall( T | Not( T ) ) 25 trait Equality { 23 trait Equality( T | Not( T ) ) { 26 24 int ?==?( T, T ); 27 25 int ?!=?( T, T ); 28 26 }; // Equality 29 27 30 forall( U | Equality( U ) ) 31 trait Relational { 28 trait Relational( U | Equality( U ) ) { 32 29 int ?<?( U, U ); 33 30 int ?<=?( U, U ); … … 36 33 }; // Relational 37 34 38 forall ( T ) 39 trait Signed { 35 trait Signed( T ) { 40 36 T +?( T ); 41 37 T -?( T ); … … 43 39 }; // Signed 44 40 45 forall( U | Signed( U ) ) 46 trait Additive { 41 trait Additive( U | Signed( U ) ) { 47 42 U ?+?( U, U ); 48 43 U ?-?( U, U ); … … 51 46 }; // Additive 52 47 53 forall( T | Additive( T ) ) 54 trait Incdec { 48 trait Incdec( T | Additive( T ) ) { 55 49 void ?{}( T &, one_t ); 56 50 // T ?++( T & ); … … 60 54 }; // Incdec 61 55 62 forall( U | Incdec( U ) ) 63 trait Multiplicative { 56 trait Multiplicative( U | Incdec( U ) ) { 64 57 U ?*?( U, U ); 65 58 U ?/?( U, U ); … … 68 61 }; // Multiplicative 69 62 70 forall( T | Relational( T ) | Multiplicative( T ) ) 71 trait Arithmetic { 63 trait Arithmetic( T | Relational( T ) | Multiplicative( T ) ) { 72 64 }; // Arithmetic 73 65 -
libcfa/src/stdlib.hfa
r4616622 r2d028039 10 10 // Created On : Thu Jan 28 17:12:35 2016 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Thu Feb 2 11:30:04 202313 // Update Count : 76 612 // Last Modified On : Sun Dec 11 18:25:53 2022 13 // Update Count : 765 14 14 // 15 15 … … 404 404 // calls( sprng ); 405 405 406 forall( PRNG &, R ) 407 trait basic_prng { 406 trait basic_prng( PRNG &, R ) { 408 407 void set_seed( PRNG & prng, R seed ); // set seed 409 408 R get_seed( PRNG & prng ); // get seed -
src/Common/ScopedMap.h
r4616622 r2d028039 37 37 template<typename N> 38 38 Scope(N && n) : map(), note(std::forward<N>(n)) {} 39 39 40 40 Scope() = default; 41 41 Scope(const Scope &) = default; … … 46 46 typedef std::vector< Scope > ScopeList; 47 47 48 /// Scoped list of maps. 49 ScopeList scopes; 48 ScopeList scopes; ///< scoped list of maps 50 49 public: 51 50 typedef typename MapType::key_type key_type; … … 59 58 typedef typename MapType::const_pointer const_pointer; 60 59 61 // Both iterator types are complete bidrectional iterators, see below. 62 class iterator; 63 class const_iterator; 60 class iterator : public std::iterator< std::bidirectional_iterator_tag, value_type > { 61 friend class ScopedMap; 62 friend class const_iterator; 63 typedef typename ScopedMap::MapType::iterator wrapped_iterator; 64 typedef typename ScopedMap::ScopeList scope_list; 65 typedef typename scope_list::size_type size_type; 66 67 /// Checks if this iterator points to a valid item 68 bool is_valid() const { 69 return it != (*scopes)[level].map.end(); 70 } 71 72 /// Increments on invalid 73 iterator & next_valid() { 74 if ( ! is_valid() ) { ++(*this); } 75 return *this; 76 } 77 78 /// Decrements on invalid 79 iterator & prev_valid() { 80 if ( ! is_valid() ) { --(*this); } 81 return *this; 82 } 83 84 iterator(scope_list & _scopes, const wrapped_iterator & _it, size_type inLevel) 85 : scopes(&_scopes), it(_it), level(inLevel) {} 86 public: 87 iterator(const iterator & that) : scopes(that.scopes), it(that.it), level(that.level) {} 88 iterator & operator= (const iterator & that) { 89 scopes = that.scopes; level = that.level; it = that.it; 90 return *this; 91 } 92 93 reference operator* () { return *it; } 94 pointer operator-> () const { return it.operator->(); } 95 96 iterator & operator++ () { 97 if ( it == (*scopes)[level].map.end() ) { 98 if ( level == 0 ) return *this; 99 --level; 100 it = (*scopes)[level].map.begin(); 101 } else { 102 ++it; 103 } 104 return next_valid(); 105 } 106 iterator operator++ (int) { iterator tmp = *this; ++(*this); return tmp; } 107 108 iterator & operator-- () { 109 // may fail if this is the begin iterator; allowed by STL spec 110 if ( it == (*scopes)[level].map.begin() ) { 111 ++level; 112 it = (*scopes)[level].map.end(); 113 } 114 --it; 115 return prev_valid(); 116 } 117 iterator operator-- (int) { iterator tmp = *this; --(*this); return tmp; } 118 119 bool operator== (const iterator & that) const { 120 return scopes == that.scopes && level == that.level && it == that.it; 121 } 122 bool operator!= (const iterator & that) const { return !( *this == that ); } 123 124 size_type get_level() const { return level; } 125 126 Note & get_note() { return (*scopes)[level].note; } 127 const Note & get_note() const { return (*scopes)[level].note; } 128 129 private: 130 scope_list *scopes; 131 wrapped_iterator it; 132 size_type level; 133 }; 134 135 class const_iterator : public std::iterator< std::bidirectional_iterator_tag, 136 value_type > { 137 friend class ScopedMap; 138 typedef typename ScopedMap::MapType::iterator wrapped_iterator; 139 typedef typename ScopedMap::MapType::const_iterator wrapped_const_iterator; 140 typedef typename ScopedMap::ScopeList scope_list; 141 typedef typename scope_list::size_type size_type; 142 143 /// Checks if this iterator points to a valid item 144 bool is_valid() const { 145 return it != (*scopes)[level].map.end(); 146 } 147 148 /// Increments on invalid 149 const_iterator & next_valid() { 150 if ( ! is_valid() ) { ++(*this); } 151 return *this; 152 } 153 154 /// Decrements on invalid 155 const_iterator & prev_valid() { 156 if ( ! is_valid() ) { --(*this); } 157 return *this; 158 } 159 160 const_iterator(scope_list const & _scopes, const wrapped_const_iterator & _it, size_type inLevel) 161 : scopes(&_scopes), it(_it), level(inLevel) {} 162 public: 163 const_iterator(const iterator & that) : scopes(that.scopes), it(that.it), level(that.level) {} 164 const_iterator(const const_iterator & that) : scopes(that.scopes), it(that.it), level(that.level) {} 165 const_iterator & operator= (const iterator & that) { 166 scopes = that.scopes; level = that.level; it = that.it; 167 return *this; 168 } 169 const_iterator & operator= (const const_iterator & that) { 170 scopes = that.scopes; level = that.level; it = that.it; 171 return *this; 172 } 173 174 const_reference operator* () { return *it; } 175 const_pointer operator-> () { return it.operator->(); } 176 177 const_iterator & operator++ () { 178 if ( it == (*scopes)[level].map.end() ) { 179 if ( level == 0 ) return *this; 180 --level; 181 it = (*scopes)[level].map.begin(); 182 } else { 183 ++it; 184 } 185 return next_valid(); 186 } 187 const_iterator operator++ (int) { const_iterator tmp = *this; ++(*this); return tmp; } 188 189 const_iterator & operator-- () { 190 // may fail if this is the begin iterator; allowed by STL spec 191 if ( it == (*scopes)[level].map.begin() ) { 192 ++level; 193 it = (*scopes)[level].map.end(); 194 } 195 --it; 196 return prev_valid(); 197 } 198 const_iterator operator-- (int) { const_iterator tmp = *this; --(*this); return tmp; } 199 200 bool operator== (const const_iterator & that) const { 201 return scopes == that.scopes && level == that.level && it == that.it; 202 } 203 bool operator!= (const const_iterator & that) const { return !( *this == that ); } 204 205 size_type get_level() const { return level; } 206 207 const Note & get_note() const { return (*scopes)[level].note; } 208 209 private: 210 scope_list const *scopes; 211 wrapped_const_iterator it; 212 size_type level; 213 }; 64 214 65 215 /// Starts a new scope … … 147 297 } 148 298 299 template< typename value_type_t > 300 std::pair< iterator, bool > insert( iterator at, value_type_t && value ) { 301 MapType & scope = (*at.scopes)[ at.level ].map; 302 std::pair< typename MapType::iterator, bool > res = scope.insert( std::forward<value_type_t>( value ) ); 303 return std::make_pair( iterator(scopes, std::move( res.first ), at.level), std::move( res.second ) ); 304 } 305 149 306 template< typename value_t > 150 307 std::pair< iterator, bool > insert( const Key & key, value_t && value ) { return insert( std::make_pair( key, std::forward<value_t>( value ) ) ); } … … 167 324 } 168 325 169 /// Erases element with key in the innermost scope that has it. 170 size_type erase( const Key & key ) { 171 for ( auto it = scopes.rbegin() ; it != scopes.rend() ; ++it ) { 172 size_type i = it->map.erase( key ); 173 if ( 0 != i ) return i; 174 } 175 return 0; 326 iterator erase( iterator pos ) { 327 MapType & scope = (*pos.scopes)[ pos.level ].map; 328 const typename iterator::wrapped_iterator & new_it = scope.erase( pos.it ); 329 iterator it( *pos.scopes, new_it, pos.level ); 330 return it.next_valid(); 176 331 } 177 332 … … 188 343 return c; 189 344 } 190 191 bool contains( const Key & key ) const {192 return find( key ) != cend();193 }194 };195 196 template<typename Key, typename Value, typename Note>197 class ScopedMap<Key, Value, Note>::iterator :198 public std::iterator< std::bidirectional_iterator_tag, value_type > {199 friend class ScopedMap;200 friend class const_iterator;201 typedef typename ScopedMap::MapType::iterator wrapped_iterator;202 typedef typename ScopedMap::ScopeList scope_list;203 typedef typename scope_list::size_type size_type;204 205 /// Checks if this iterator points to a valid item206 bool is_valid() const {207 return it != (*scopes)[level].map.end();208 }209 210 /// Increments on invalid211 iterator & next_valid() {212 if ( ! is_valid() ) { ++(*this); }213 return *this;214 }215 216 /// Decrements on invalid217 iterator & prev_valid() {218 if ( ! is_valid() ) { --(*this); }219 return *this;220 }221 222 iterator(scope_list & _scopes, const wrapped_iterator & _it, size_type inLevel)223 : scopes(&_scopes), it(_it), level(inLevel) {}224 public:225 iterator(const iterator & that) : scopes(that.scopes), it(that.it), level(that.level) {}226 iterator & operator= (const iterator & that) {227 scopes = that.scopes; level = that.level; it = that.it;228 return *this;229 }230 231 reference operator* () { return *it; }232 pointer operator-> () const { return it.operator->(); }233 234 iterator & operator++ () {235 if ( it == (*scopes)[level].map.end() ) {236 if ( level == 0 ) return *this;237 --level;238 it = (*scopes)[level].map.begin();239 } else {240 ++it;241 }242 return next_valid();243 }244 iterator operator++ (int) { iterator tmp = *this; ++(*this); return tmp; }245 246 iterator & operator-- () {247 // may fail if this is the begin iterator; allowed by STL spec248 if ( it == (*scopes)[level].map.begin() ) {249 ++level;250 it = (*scopes)[level].map.end();251 }252 --it;253 return prev_valid();254 }255 iterator operator-- (int) { iterator tmp = *this; --(*this); return tmp; }256 257 bool operator== (const iterator & that) const {258 return scopes == that.scopes && level == that.level && it == that.it;259 }260 bool operator!= (const iterator & that) const { return !( *this == that ); }261 262 size_type get_level() const { return level; }263 264 Note & get_note() { return (*scopes)[level].note; }265 const Note & get_note() const { return (*scopes)[level].note; }266 267 private:268 scope_list *scopes;269 wrapped_iterator it;270 size_type level;271 };272 273 template<typename Key, typename Value, typename Note>274 class ScopedMap<Key, Value, Note>::const_iterator :275 public std::iterator< std::bidirectional_iterator_tag, value_type > {276 friend class ScopedMap;277 typedef typename ScopedMap::MapType::iterator wrapped_iterator;278 typedef typename ScopedMap::MapType::const_iterator wrapped_const_iterator;279 typedef typename ScopedMap::ScopeList scope_list;280 typedef typename scope_list::size_type size_type;281 282 /// Checks if this iterator points to a valid item283 bool is_valid() const {284 return it != (*scopes)[level].map.end();285 }286 287 /// Increments on invalid288 const_iterator & next_valid() {289 if ( ! is_valid() ) { ++(*this); }290 return *this;291 }292 293 /// Decrements on invalid294 const_iterator & prev_valid() {295 if ( ! is_valid() ) { --(*this); }296 return *this;297 }298 299 const_iterator(scope_list const & _scopes, const wrapped_const_iterator & _it, size_type inLevel)300 : scopes(&_scopes), it(_it), level(inLevel) {}301 public:302 const_iterator(const iterator & that) : scopes(that.scopes), it(that.it), level(that.level) {}303 const_iterator(const const_iterator & that) : scopes(that.scopes), it(that.it), level(that.level) {}304 const_iterator & operator= (const iterator & that) {305 scopes = that.scopes; level = that.level; it = that.it;306 return *this;307 }308 const_iterator & operator= (const const_iterator & that) {309 scopes = that.scopes; level = that.level; it = that.it;310 return *this;311 }312 313 const_reference operator* () { return *it; }314 const_pointer operator-> () { return it.operator->(); }315 316 const_iterator & operator++ () {317 if ( it == (*scopes)[level].map.end() ) {318 if ( level == 0 ) return *this;319 --level;320 it = (*scopes)[level].map.begin();321 } else {322 ++it;323 }324 return next_valid();325 }326 const_iterator operator++ (int) { const_iterator tmp = *this; ++(*this); return tmp; }327 328 const_iterator & operator-- () {329 // may fail if this is the begin iterator; allowed by STL spec330 if ( it == (*scopes)[level].map.begin() ) {331 ++level;332 it = (*scopes)[level].map.end();333 }334 --it;335 return prev_valid();336 }337 const_iterator operator-- (int) { const_iterator tmp = *this; --(*this); return tmp; }338 339 bool operator== (const const_iterator & that) const {340 return scopes == that.scopes && level == that.level && it == that.it;341 }342 bool operator!= (const const_iterator & that) const { return !( *this == that ); }343 344 size_type get_level() const { return level; }345 346 const Note & get_note() const { return (*scopes)[level].note; }347 348 private:349 scope_list const *scopes;350 wrapped_const_iterator it;351 size_type level;352 345 }; 353 346 -
src/Common/SemanticError.h
r4616622 r2d028039 10 10 // Created On : Mon May 18 07:44:20 2015 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Thu Feb 2 10:59:10 202313 // Update Count : 3 612 // Last Modified On : Wed May 4 14:08:26 2022 13 // Update Count : 35 14 14 // 15 15 … … 54 54 55 55 constexpr WarningData WarningFormats[] = { 56 {"self-assign" , Severity::Warn , "self assignment of expression: %s" }, 57 {"reference-conversion" , Severity::Warn , "rvalue to reference conversion of rvalue: %s" }, 58 {"qualifiers-zero_t-one_t" , Severity::Warn , "questionable use of type qualifier %s with %s" }, 59 {"aggregate-forward-decl" , Severity::Warn , "forward declaration of nested aggregate: %s" }, 60 {"superfluous-decl" , Severity::Warn , "declaration does not allocate storage: %s" }, 61 {"superfluous-else" , Severity::Warn , "else clause never executed for empty loop conditional" }, 62 {"gcc-attributes" , Severity::Warn , "invalid attribute: %s" }, 63 {"c++-like-copy" , Severity::Warn , "Constructor from reference is not a valid copy constructor" }, 64 {"depreciated-trait-syntax" , Severity::Warn , "trait type-parameters are now specified using the forall clause" }, 56 {"self-assign" , Severity::Warn , "self assignment of expression: %s" }, 57 {"reference-conversion" , Severity::Warn , "rvalue to reference conversion of rvalue: %s" }, 58 {"qualifiers-zero_t-one_t", Severity::Warn , "questionable use of type qualifier %s with %s" }, 59 {"aggregate-forward-decl" , Severity::Warn , "forward declaration of nested aggregate: %s" }, 60 {"superfluous-decl" , Severity::Warn , "declaration does not allocate storage: %s" }, 61 {"superfluous-else" , Severity::Warn , "else clause never executed for empty loop conditional" }, 62 {"gcc-attributes" , Severity::Warn , "invalid attribute: %s" }, 63 {"c++-like-copy" , Severity::Warn , "Constructor from reference is not a valid copy constructor" }, 65 64 }; 66 65 … … 74 73 GccAttributes, 75 74 CppCopy, 76 DeprecTraitSyntax,77 75 NUMBER_OF_WARNINGS, // This MUST be the last warning 78 76 }; -
src/GenPoly/Box.cc
r4616622 r2d028039 488 488 for ( FunctionType const * const funType : functions ) { 489 489 std::string mangleName = mangleAdapterName( funType, scopeTyVars ); 490 if ( !adapters.contains( mangleName) ) {490 if ( adapters.find( mangleName ) == adapters.end() ) { 491 491 std::string adapterName = makeAdapterName( mangleName ); 492 492 adapters.insert( std::pair< std::string, DeclarationWithType *>( mangleName, new ObjectDecl( adapterName, Type::StorageClasses(), LinkageSpec::C, nullptr, new PointerType( Type::Qualifiers(), makeAdapterType( funType, scopeTyVars ) ), nullptr ) ) ); … … 1487 1487 if ( TypeInstType *typeInst = dynamic_cast< TypeInstType* >( ty ) ) { 1488 1488 // do not try to monomorphize generic parameters 1489 if ( scopeTyVars. contains( typeInst->get_name()) && ! genericParams.count( typeInst->name ) ) {1489 if ( scopeTyVars.find( typeInst->get_name() ) != scopeTyVars.end() && ! genericParams.count( typeInst->name ) ) { 1490 1490 // polymorphic aggregate members should be converted into monomorphic members. 1491 1491 // Using char[size_T] here respects the expected sizing rules of an aggregate type. … … 1696 1696 1697 1697 if ( auto typeInst = dynamic_cast< TypeInstType const * >( ty ) ) { 1698 if ( scopeTyVars. contains( typeInst->get_name()) ) {1698 if ( scopeTyVars.find( typeInst->get_name() ) != scopeTyVars.end() ) { 1699 1699 // NOTE assumes here that getting put in the scopeTyVars included having the layout variables set 1700 1700 return true; … … 1704 1704 // check if this type already has a layout generated for it 1705 1705 std::string typeName = mangleType( ty ); 1706 if ( knownLayouts. contains( typeName) ) return true;1706 if ( knownLayouts.find( typeName ) != knownLayouts.end() ) return true; 1707 1707 1708 1708 // check if any of the type parameters have dynamic layout; if none do, this type is (or will be) monomorphized … … 1741 1741 // check if this type already has a layout generated for it 1742 1742 std::string typeName = mangleType( ty ); 1743 if ( knownLayouts. contains( typeName) ) return true;1743 if ( knownLayouts.find( typeName ) != knownLayouts.end() ) return true; 1744 1744 1745 1745 // check if any of the type parameters have dynamic layout; if none do, this type is (or will be) monomorphized … … 1832 1832 } else { 1833 1833 std::string offsetName = offsetofName( mangleType( ty ) ); 1834 if ( knownOffsets. contains( offsetName) ) {1834 if ( knownOffsets.find( offsetName ) != knownOffsets.end() ) { 1835 1835 // use the already-generated offsets for this type 1836 1836 ret = new NameExpr( offsetName ); -
src/GenPoly/ErasableScopedMap.h
r4616622 r2d028039 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // ErasableScopedMap.h --7 // ScopedMap.h -- 8 8 // 9 9 // Author : Aaron B. Moss … … 51 51 typedef typename Scope::const_pointer const_pointer; 52 52 53 // Both iterator types are complete bidirection al iterators, seebelow.53 // Both iterator types are complete bidirection iterators, defined below. 54 54 class iterator; 55 55 class const_iterator; … … 118 118 std::pair< iterator, bool > insert( const Key &key, const Value &value ) { return insert( std::make_pair( key, value ) ); } 119 119 120 Value& operator[] ( const Key &key ) {121 iterator slot = find( key );122 if ( slot != end() ) return slot->second;123 return insert( key, Value() ).first->second;124 }125 126 120 /// Marks the given element as erased from this scope inward; returns 1 for erased an element, 0 otherwise 127 121 size_type erase( const Key &key ) { … … 136 130 } 137 131 138 bool contains( const Key & key ) const { 139 return find( key ) != cend(); 132 Value& operator[] ( const Key &key ) { 133 iterator slot = find( key ); 134 if ( slot != end() ) return slot->second; 135 return insert( key, Value() ).first->second; 140 136 } 141 137 }; -
src/GenPoly/GenPoly.cc
r4616622 r2d028039 172 172 173 173 if ( TypeInstType *typeInst = dynamic_cast< TypeInstType * >( type ) ) { 174 if ( tyVars. contains( typeInst->get_name()) ) {174 if ( tyVars.find( typeInst->get_name() ) != tyVars.end() ) { 175 175 return type; 176 176 } … … 189 189 190 190 if ( auto typeInst = dynamic_cast< const ast::TypeInstType * >( type ) ) { 191 if ( tyVars.contains( typeInst->typeString() ) ) return type;191 return tyVars.find(typeInst->typeString()) != tyVars.end() ? type : nullptr; 192 192 } else if ( auto arrayType = dynamic_cast< const ast::ArrayType * >( type ) ) { 193 193 return isPolyType( arrayType->base, env ); … … 205 205 206 206 if ( auto inst = dynamic_cast< const ast::TypeInstType * >( type ) ) { 207 if ( typeVars. contains( *inst) ) return type;207 if ( typeVars.find( *inst ) != typeVars.end() ) return type; 208 208 } else if ( auto array = dynamic_cast< const ast::ArrayType * >( type ) ) { 209 209 return isPolyType( array->base, subst ); … … 393 393 394 394 if ( TypeInstType *typeInstType = dynamic_cast< TypeInstType * >( type ) ) { 395 if ( tyVars. contains( typeInstType->get_name()) ) {395 if ( tyVars.find( typeInstType->get_name() ) != tyVars.end() ) { 396 396 return true; 397 397 } -
src/GenPoly/ScopedSet.h
r4616622 r2d028039 21 21 22 22 namespace GenPoly { 23 24 /// A set where the items are placed into nested scopes; 25 /// inserted items are placed into the innermost scope, lookup looks from the innermost scope outward 26 template<typename Value> 27 class ScopedSet { 28 typedef std::set< Value > Scope; 29 typedef std::vector< Scope > ScopeList; 30 31 /// Scoped list of sets. 32 ScopeList scopes; 33 public: 34 typedef typename Scope::key_type key_type; 35 typedef typename Scope::value_type value_type; 36 typedef typename ScopeList::size_type size_type; 37 typedef typename ScopeList::difference_type difference_type; 38 typedef typename Scope::reference reference; 39 typedef typename Scope::const_reference const_reference; 40 typedef typename Scope::pointer pointer; 41 typedef typename Scope::const_pointer const_pointer; 42 43 // Both iterator types are complete bidirectional iterators, see below. 44 class iterator; 45 class const_iterator; 46 47 /// Starts a new scope 48 void beginScope() { 49 Scope scope; 50 scopes.push_back(scope); 51 } 52 53 /// Ends a scope; invalidates any iterators pointing to elements of that scope 54 void endScope() { 55 scopes.pop_back(); 56 } 57 58 /// Default constructor initializes with one scope 59 ScopedSet() { beginScope(); } 60 61 iterator begin() { return iterator(scopes, scopes.back().begin(), scopes.size()-1).next_valid(); } 62 const_iterator begin() const { return const_iterator(scopes, scopes.back().begin(), scopes.size()-1).next_valid(); } 63 const_iterator cbegin() const { return const_iterator(scopes, scopes.back().begin(), scopes.size()-1).next_valid(); } 64 iterator end() { return iterator(scopes, scopes[0].end(), 0); } 65 const_iterator end() const { return const_iterator(scopes, scopes[0].end(), 0); } 66 const_iterator cend() const { return const_iterator(scopes, scopes[0].end(), 0); } 67 68 /// Gets the index of the current scope (counted from 1) 69 size_type currentScope() const { return scopes.size(); } 70 71 /// Finds the given key in the outermost scope it occurs; returns end() for none such 72 iterator find( const Value &key ) { 73 for ( size_type i = scopes.size() - 1; ; --i ) { 74 typename Scope::iterator val = scopes[i].find( key ); 75 if ( val != scopes[i].end() ) return iterator( scopes, val, i ); 76 if ( i == 0 ) break; 77 } 78 return end(); 79 } 80 const_iterator find( const Value &key ) const { 81 return const_iterator( const_cast< ScopedSet< Value >* >(this)->find( key ) ); 82 } 83 84 /// Finds the given key in the outermost scope inside the given scope where it occurs 85 iterator findNext( const_iterator &it, const Value &key ) { 86 if ( it.i == 0 ) return end(); 23 /// A set where the items are placed into nested scopes; 24 /// inserted items are placed into the innermost scope, lookup looks from the innermost scope outward 25 template<typename Value> 26 class ScopedSet { 27 typedef std::set< Value > Scope; 28 typedef std::vector< Scope > ScopeList; 29 30 ScopeList scopes; ///< scoped list of sets 31 public: 32 typedef typename Scope::key_type key_type; 33 typedef typename Scope::value_type value_type; 34 typedef typename ScopeList::size_type size_type; 35 typedef typename ScopeList::difference_type difference_type; 36 typedef typename Scope::reference reference; 37 typedef typename Scope::const_reference const_reference; 38 typedef typename Scope::pointer pointer; 39 typedef typename Scope::const_pointer const_pointer; 40 41 class iterator : public std::iterator< std::bidirectional_iterator_tag, 42 value_type > { 43 friend class ScopedSet; 44 friend class const_iterator; 45 typedef typename std::set< Value >::iterator wrapped_iterator; 46 typedef typename std::vector< std::set< Value > > scope_list; 47 typedef typename scope_list::size_type size_type; 48 49 /// Checks if this iterator points to a valid item 50 bool is_valid() const { 51 return it != (*scopes)[i].end(); 52 } 53 54 /// Increments on invalid 55 iterator& next_valid() { 56 if ( ! is_valid() ) { ++(*this); } 57 return *this; 58 } 59 60 /// Decrements on invalid 61 iterator& prev_valid() { 62 if ( ! is_valid() ) { --(*this); } 63 return *this; 64 } 65 66 iterator(scope_list const &_scopes, const wrapped_iterator &_it, size_type _i) 67 : scopes(&_scopes), it(_it), i(_i) {} 68 public: 69 iterator(const iterator &that) : scopes(that.scopes), it(that.it), i(that.i) {} 70 iterator& operator= (const iterator &that) { 71 scopes = that.scopes; i = that.i; it = that.it; 72 return *this; 73 } 74 75 reference operator* () { return *it; } 76 pointer operator-> () { return it.operator->(); } 77 78 iterator& operator++ () { 79 if ( it == (*scopes)[i].end() ) { 80 if ( i == 0 ) return *this; 81 --i; 82 it = (*scopes)[i].begin(); 83 } else { 84 ++it; 85 } 86 return next_valid(); 87 } 88 iterator operator++ (int) { iterator tmp = *this; ++(*this); return tmp; } 89 90 iterator& operator-- () { 91 // may fail if this is the begin iterator; allowed by STL spec 92 if ( it == (*scopes)[i].begin() ) { 93 ++i; 94 it = (*scopes)[i].end(); 95 } 96 --it; 97 return prev_valid(); 98 } 99 iterator operator-- (int) { iterator tmp = *this; --(*this); return tmp; } 100 101 bool operator== (const iterator &that) { 102 return scopes == that.scopes && i == that.i && it == that.it; 103 } 104 bool operator!= (const iterator &that) { return !( *this == that ); } 105 106 size_type get_level() const { return i; } 107 108 private: 109 scope_list const *scopes; 110 wrapped_iterator it; 111 size_type i; 112 }; 113 114 class const_iterator : public std::iterator< std::bidirectional_iterator_tag, 115 value_type > { 116 friend class ScopedSet; 117 typedef typename std::set< Value >::iterator wrapped_iterator; 118 typedef typename std::set< Value >::const_iterator wrapped_const_iterator; 119 typedef typename std::vector< std::set< Value > > scope_list; 120 typedef typename scope_list::size_type size_type; 121 122 /// Checks if this iterator points to a valid item 123 bool is_valid() const { 124 return it != (*scopes)[i].end(); 125 } 126 127 /// Increments on invalid 128 const_iterator& next_valid() { 129 if ( ! is_valid() ) { ++(*this); } 130 return *this; 131 } 132 133 /// Decrements on invalid 134 const_iterator& prev_valid() { 135 if ( ! is_valid() ) { --(*this); } 136 return *this; 137 } 138 139 const_iterator(scope_list const &_scopes, const wrapped_const_iterator &_it, size_type _i) 140 : scopes(&_scopes), it(_it), i(_i) {} 141 public: 142 const_iterator(const iterator &that) : scopes(that.scopes), it(that.it), i(that.i) {} 143 const_iterator(const const_iterator &that) : scopes(that.scopes), it(that.it), i(that.i) {} 144 const_iterator& operator= (const iterator &that) { 145 scopes = that.scopes; i = that.i; it = that.it; 146 return *this; 147 } 148 const_iterator& operator= (const const_iterator &that) { 149 scopes = that.scopes; i = that.i; it = that.it; 150 return *this; 151 } 152 153 const_reference operator* () { return *it; } 154 const_pointer operator-> () { return it.operator->(); } 155 156 const_iterator& operator++ () { 157 if ( it == (*scopes)[i].end() ) { 158 if ( i == 0 ) return *this; 159 --i; 160 it = (*scopes)[i].begin(); 161 } else { 162 ++it; 163 } 164 return next_valid(); 165 } 166 const_iterator operator++ (int) { const_iterator tmp = *this; ++(*this); return tmp; } 167 168 const_iterator& operator-- () { 169 // may fail if this is the begin iterator; allowed by STL spec 170 if ( it == (*scopes)[i].begin() ) { 171 ++i; 172 it = (*scopes)[i].end(); 173 } 174 --it; 175 return prev_valid(); 176 } 177 const_iterator operator-- (int) { const_iterator tmp = *this; --(*this); return tmp; } 178 179 bool operator== (const const_iterator &that) { 180 return scopes == that.scopes && i == that.i && it == that.it; 181 } 182 bool operator!= (const const_iterator &that) { return !( *this == that ); } 183 184 size_type get_level() const { return i; } 185 186 private: 187 scope_list const *scopes; 188 wrapped_const_iterator it; 189 size_type i; 190 }; 191 192 /// Starts a new scope 193 void beginScope() { 194 Scope scope; 195 scopes.push_back(scope); 196 } 197 198 /// Ends a scope; invalidates any iterators pointing to elements of that scope 199 void endScope() { 200 scopes.pop_back(); 201 } 202 203 /// Default constructor initializes with one scope 204 ScopedSet() { beginScope(); } 205 206 iterator begin() { return iterator(scopes, scopes.back().begin(), scopes.size()-1).next_valid(); } 207 const_iterator begin() const { return const_iterator(scopes, scopes.back().begin(), scopes.size()-1).next_valid(); } 208 const_iterator cbegin() const { return const_iterator(scopes, scopes.back().begin(), scopes.size()-1).next_valid(); } 209 iterator end() { return iterator(scopes, scopes[0].end(), 0); } 210 const_iterator end() const { return const_iterator(scopes, scopes[0].end(), 0); } 211 const_iterator cend() const { return const_iterator(scopes, scopes[0].end(), 0); } 212 213 /// Gets the index of the current scope (counted from 1) 214 size_type currentScope() const { return scopes.size(); } 215 216 /// Finds the given key in the outermost scope it occurs; returns end() for none such 217 iterator find( const Value &key ) { 218 for ( size_type i = scopes.size() - 1; ; --i ) { 219 typename Scope::iterator val = scopes[i].find( key ); 220 if ( val != scopes[i].end() ) return iterator( scopes, val, i ); 221 if ( i == 0 ) break; 222 } 223 return end(); 224 } 225 const_iterator find( const Value &key ) const { 226 return const_iterator( const_cast< ScopedSet< Value >* >(this)->find( key ) ); 227 } 228 229 /// Finds the given key in the outermost scope inside the given scope where it occurs 230 iterator findNext( const_iterator &it, const Value &key ) { 231 if ( it.i == 0 ) return end(); 87 232 for ( size_type i = it.i - 1; ; --i ) { 88 typename Scope::iterator val = scopes[i].find( key ); 89 if ( val != scopes[i].end() ) return iterator( scopes, val, i ); 90 if ( i == 0 ) break; 91 } 92 return end(); 93 } 94 const_iterator findNext( const_iterator &it, const Value &key ) const { 95 return const_iterator( const_cast< ScopedSet< Value >* >(this)->findNext( it, key ) ); 96 } 97 98 /// Inserts the given value into the outermost scope 99 std::pair< iterator, bool > insert( const value_type &value ) { 100 std::pair< typename Scope::iterator, bool > res = scopes.back().insert( value ); 101 return std::make_pair( iterator(scopes, res.first, scopes.size()-1), res.second ); 102 } 103 104 bool contains( const Value & key ) const { 105 return find( key ) != cend(); 106 } 107 }; 108 109 template<typename Value> 110 class ScopedSet<Value>::iterator : 111 public std::iterator< std::bidirectional_iterator_tag, value_type > { 112 friend class ScopedSet; 113 friend class const_iterator; 114 typedef typename std::set< Value >::iterator wrapped_iterator; 115 typedef typename std::vector< std::set< Value > > scope_list; 116 typedef typename scope_list::size_type size_type; 117 118 /// Checks if this iterator points to a valid item 119 bool is_valid() const { 120 return it != (*scopes)[i].end(); 121 } 122 123 /// Increments on invalid 124 iterator& next_valid() { 125 if ( ! is_valid() ) { ++(*this); } 126 return *this; 127 } 128 129 /// Decrements on invalid 130 iterator& prev_valid() { 131 if ( ! is_valid() ) { --(*this); } 132 return *this; 133 } 134 135 iterator(scope_list const &_scopes, const wrapped_iterator &_it, size_type _i) 136 : scopes(&_scopes), it(_it), i(_i) {} 137 public: 138 iterator(const iterator &that) : scopes(that.scopes), it(that.it), i(that.i) {} 139 iterator& operator= (const iterator &that) { 140 scopes = that.scopes; i = that.i; it = that.it; 141 return *this; 142 } 143 144 reference operator* () { return *it; } 145 pointer operator-> () { return it.operator->(); } 146 147 iterator& operator++ () { 148 if ( it == (*scopes)[i].end() ) { 149 if ( i == 0 ) return *this; 150 --i; 151 it = (*scopes)[i].begin(); 152 } else { 153 ++it; 154 } 155 return next_valid(); 156 } 157 iterator operator++ (int) { iterator tmp = *this; ++(*this); return tmp; } 158 159 iterator& operator-- () { 160 // may fail if this is the begin iterator; allowed by STL spec 161 if ( it == (*scopes)[i].begin() ) { 162 ++i; 163 it = (*scopes)[i].end(); 164 } 165 --it; 166 return prev_valid(); 167 } 168 iterator operator-- (int) { iterator tmp = *this; --(*this); return tmp; } 169 170 bool operator== (const iterator &that) { 171 return scopes == that.scopes && i == that.i && it == that.it; 172 } 173 bool operator!= (const iterator &that) { return !( *this == that ); } 174 175 size_type get_level() const { return i; } 176 177 private: 178 scope_list const *scopes; 179 wrapped_iterator it; 180 size_type i; 181 }; 182 183 template<typename Value> 184 class ScopedSet<Value>::const_iterator : 185 public std::iterator< std::bidirectional_iterator_tag, value_type > { 186 friend class ScopedSet; 187 typedef typename std::set< Value >::iterator wrapped_iterator; 188 typedef typename std::set< Value >::const_iterator wrapped_const_iterator; 189 typedef typename std::vector< std::set< Value > > scope_list; 190 typedef typename scope_list::size_type size_type; 191 192 /// Checks if this iterator points to a valid item 193 bool is_valid() const { 194 return it != (*scopes)[i].end(); 195 } 196 197 /// Increments on invalid 198 const_iterator& next_valid() { 199 if ( ! is_valid() ) { ++(*this); } 200 return *this; 201 } 202 203 /// Decrements on invalid 204 const_iterator& prev_valid() { 205 if ( ! is_valid() ) { --(*this); } 206 return *this; 207 } 208 209 const_iterator(scope_list const &_scopes, const wrapped_const_iterator &_it, size_type _i) 210 : scopes(&_scopes), it(_it), i(_i) {} 211 public: 212 const_iterator(const iterator &that) : scopes(that.scopes), it(that.it), i(that.i) {} 213 const_iterator(const const_iterator &that) : scopes(that.scopes), it(that.it), i(that.i) {} 214 const_iterator& operator= (const iterator &that) { 215 scopes = that.scopes; i = that.i; it = that.it; 216 return *this; 217 } 218 const_iterator& operator= (const const_iterator &that) { 219 scopes = that.scopes; i = that.i; it = that.it; 220 return *this; 221 } 222 223 const_reference operator* () { return *it; } 224 const_pointer operator-> () { return it.operator->(); } 225 226 const_iterator& operator++ () { 227 if ( it == (*scopes)[i].end() ) { 228 if ( i == 0 ) return *this; 229 --i; 230 it = (*scopes)[i].begin(); 231 } else { 232 ++it; 233 } 234 return next_valid(); 235 } 236 const_iterator operator++ (int) { const_iterator tmp = *this; ++(*this); return tmp; } 237 238 const_iterator& operator-- () { 239 // may fail if this is the begin iterator; allowed by STL spec 240 if ( it == (*scopes)[i].begin() ) { 241 ++i; 242 it = (*scopes)[i].end(); 243 } 244 --it; 245 return prev_valid(); 246 } 247 const_iterator operator-- (int) { const_iterator tmp = *this; --(*this); return tmp; } 248 249 bool operator== (const const_iterator &that) { 250 return scopes == that.scopes && i == that.i && it == that.it; 251 } 252 bool operator!= (const const_iterator &that) { return !( *this == that ); } 253 254 size_type get_level() const { return i; } 255 256 private: 257 scope_list const *scopes; 258 wrapped_const_iterator it; 259 size_type i; 260 }; 261 233 typename Scope::iterator val = scopes[i].find( key ); 234 if ( val != scopes[i].end() ) return iterator( scopes, val, i ); 235 if ( i == 0 ) break; 236 } 237 return end(); 238 } 239 const_iterator findNext( const_iterator &it, const Value &key ) const { 240 return const_iterator( const_cast< ScopedSet< Value >* >(this)->findNext( it, key ) ); 241 } 242 243 /// Inserts the given value into the outermost scope 244 std::pair< iterator, bool > insert( const value_type &value ) { 245 std::pair< typename Scope::iterator, bool > res = scopes.back().insert( value ); 246 return std::make_pair( iterator(scopes, res.first, scopes.size()-1), res.second ); 247 } 248 249 }; 262 250 } // namespace GenPoly 263 251 -
src/GenPoly/ScrubTyVars.cc
r4616622 r2d028039 178 178 179 179 ast::Type const * ScrubTypeVars::postvisit( ast::TypeInstType const * type ) { 180 ast::TypeDecl::Kind kind;181 180 // This implies that mode == ScrubMode::All. 182 181 if ( !typeVars ) { 183 kind = type->kind; 184 } else { 185 // Otherwise, only scrub the type var if it is in map. 186 auto typeVar = typeVars->find( *type ); 187 if ( typeVar == typeVars->end() ) { 188 return type; 189 } 190 kind = typeVar->second.kind; 191 } 192 193 switch ( kind ) { 194 case ast::TypeDecl::Dtype: 195 case ast::TypeDecl::Ttype: 182 if ( ast::TypeDecl::Ftype == type->kind ) { 183 return new ast::PointerType( 184 new ast::FunctionType( ast::FixedArgs ) ); 185 } else { 186 return new ast::PointerType( 187 new ast::VoidType( type->qualifiers ) ); 188 } 189 } 190 191 auto typeVar = typeVars->find( *type ); 192 if ( typeVar == typeVars->end() ) { 193 return type; 194 } 195 196 switch ( typeVar->second.kind ) { 197 case ::TypeDecl::Dtype: 198 case ::TypeDecl::Ttype: 196 199 return new ast::PointerType( 197 200 new ast::VoidType( type->qualifiers ) ); 198 case ast::TypeDecl::Ftype:201 case ::TypeDecl::Ftype: 199 202 return new ast::PointerType( 200 203 new ast::FunctionType( ast::VariableArgs ) ); 201 204 default: 202 assertf( false, "Unhandled type variable kind: %d", kind ); 205 assertf( false, 206 "Unhandled type variable kind: %d", typeVar->second.kind ); 203 207 throw; // Just in case the assert is removed, stop here. 204 208 } -
src/Parser/parser.yy
r4616622 r2d028039 10 10 // Created On : Sat Sep 1 20:22:55 2001 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : T hu Feb 2 21:36:16202313 // Update Count : 586 512 // Last Modified On : Tue Jan 31 08:55:11 2023 13 // Update Count : 5861 14 14 // 15 15 … … 2979 2979 trait_specifier: // CFA 2980 2980 TRAIT identifier_or_type_name '(' type_parameter_list ')' '{' '}' 2981 { 2982 SemanticWarning( yylloc, Warning::DeprecTraitSyntax, "" ); 2983 $$ = DeclarationNode::newTrait( $2, $4, nullptr ); 2984 } 2985 | forall TRAIT identifier_or_type_name '{' '}' // alternate 2981 { $$ = DeclarationNode::newTrait( $2, $4, nullptr ); } 2982 | forall TRAIT identifier_or_type_name '{' '}' // alternate 2986 2983 { $$ = DeclarationNode::newTrait( $3, $1, nullptr ); } 2987 2984 | TRAIT identifier_or_type_name '(' type_parameter_list ')' '{' push trait_declaration_list pop '}' 2988 { 2989 SemanticWarning( yylloc, Warning::DeprecTraitSyntax, "" ); 2990 $$ = DeclarationNode::newTrait( $2, $4, $8 ); 2991 } 2985 { $$ = DeclarationNode::newTrait( $2, $4, $8 ); } 2992 2986 | forall TRAIT identifier_or_type_name '{' push trait_declaration_list pop '}' // alternate 2993 2987 { $$ = DeclarationNode::newTrait( $3, $1, $6 ); } -
src/SymTab/Validate.cc
r4616622 r2d028039 863 863 864 864 void ReplaceTypedef::premutate( TypeDecl * typeDecl ) { 865 typedefNames.erase( typeDecl->name ); 865 TypedefMap::iterator i = typedefNames.find( typeDecl->name ); 866 if ( i != typedefNames.end() ) { 867 typedefNames.erase( i ) ; 868 } // if 869 866 870 typedeclNames.insert( typeDecl->name, typeDecl ); 867 871 } -
src/Validate/ReplaceTypedef.cpp
r4616622 r2d028039 186 186 187 187 void ReplaceTypedefCore::previsit( ast::TypeDecl const * decl ) { 188 typedefNames.erase( decl->name ); 188 TypedefMap::iterator iter = typedefNames.find( decl->name ); 189 if ( iter != typedefNames.end() ) { 190 typedefNames.erase( iter ); 191 } 189 192 typedeclNames.insert( decl->name, decl ); 190 193 } -
tests/.expect/forall.txt
r4616622 r2d028039 1 1 2 f 3 97 4 f 5 g 6 f 7 f 8 g 9 fT 10 fT 11 fT 12 fTU 13 fTU 14 fTU 15 1 2 16 2 1 17 1, 2 18 @ 0 2 0 4 6.4 6.4 6.4 6.4+3.i 4 19 3. 3. 20 45 21 12 3 1 forall.cfa:244:25: warning: Compiled -
tests/Makefile.am
r4616622 r2d028039 11 11 ## Created On : Sun May 31 09:08:15 2015 12 12 ## Last Modified By : Peter A. Buhr 13 ## Last Modified On : Fri Feb 3 23:06:44 202314 ## Update Count : 9 413 ## Last Modified On : Sat Jun 5 14:49:25 2021 14 ## Update Count : 92 15 15 ############################################################################### 16 16 … … 89 89 meta/fork+exec.hfa \ 90 90 concurrent/unified_locking/mutex_test.hfa \ 91 91 concurrent/channels/parallel_harness.hfa 92 92 93 93 dist-hook: … … 183 183 CFACOMPILE_SYNTAX = $(CFACOMPILETEST) -Wno-unused-variable -Wno-unused-label -c -fsyntax-only -o $(abspath ${@}) 184 184 185 SYNTAX_ONLY_CODE = expression typedefRedef variableDeclarator switch numericConstants identFuncDeclarator \185 SYNTAX_ONLY_CODE = expression typedefRedef variableDeclarator switch numericConstants identFuncDeclarator forall \ 186 186 init1 limits nested-types cast labelledExit array quasiKeyword include/stdincludes include/includes builtins/sync warnings/self-assignment 187 187 $(SYNTAX_ONLY_CODE): % : %.cfa $(CFACCBIN) -
tests/forall.cfa
r4616622 r2d028039 10 10 // Created On : Wed May 9 08:48:15 2018 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Sun Feb 5 07:54:43 2023 13 // Update Count : 90 14 // 15 16 #include <fstream.hfa> 12 // Last Modified On : Sat Jun 5 10:06:08 2021 13 // Update Count : 36 14 // 17 15 18 16 void g1() { 19 forall( T ) T f( T p ) { sout | 'f'; return p; }; 20 void f( int p ) { sout | p; }; 21 void g( void ) { sout | 'g'; }; 22 void h( void (*p)(void) ) { p(); }; 23 24 int x = 1; 25 void (*y)(void) = g; 26 char z = 'a'; 27 float w = 3.5; 17 forall( T ) T f( T ) {}; 18 void f( int ) {}; 19 void h( void (*p)(void) ) {}; 20 21 int x; 22 void (*y)(void); 23 char z; 24 float w; 28 25 29 26 f( x ); … … 31 28 f( z ); 32 29 f( w ); 33 h( y );34 f( y );35 30 h( f( y ) ); 36 31 } 37 32 38 33 void g2() { 39 forall( T ) void f( T, T ) { sout | "fT";}40 forall( T, U ) void f( T, U ) { sout | "fTU";}34 forall( T ) void f( T, T ) {} 35 forall( T, U ) void f( T, U ) {} 41 36 42 37 int x; 43 38 float y; 44 int * z; 45 float * w; 46 47 f( x, x ); 48 f( y, y ); 49 f( w, w ); 39 int *z; 40 float *w; 41 50 42 f( x, y ); 51 43 f( z, w ); … … 58 50 59 51 forall( T ) 60 void swap( T & left, T & right ) { // by reference 61 T temp = left; 62 left = right; 63 right = temp; 64 } 65 66 forall( T ) 67 [ T, T ] swap( T i, T j ) { // by value 68 return [ j, i ]; 69 } 70 71 forall( T ) trait sumable { 52 void swap( T left, T right ) { 53 T temp = left; 54 left = right; 55 right = temp; 56 } 57 58 trait sumable( T ) { 72 59 void ?{}( T &, zero_t ); // 0 literal constructor 73 60 T ?+?( T, T ); // assortment of additions … … 77 64 }; // sumable 78 65 79 forall( T | sumable( T ) ) 66 forall( T | sumable( T ) ) // use trait 80 67 T sum( size_t size, T a[] ) { 81 68 T total = 0; // initialize by 0 constructor … … 85 72 } // sum 86 73 87 forall( T | { T ?+?( T, T ); T ?++( T & ); [T] ?+=?( T &, 74 forall( T | { T ?+?( T, T ); T ?++( T & ); [T] ?+=?( T &,T ); } ) 88 75 T twice( T t ) { 89 76 return t + t; … … 95 82 } 96 83 97 voidfred() {98 int x = 1, y = 2, a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };84 int fred() { 85 int x = 1, y = 2, a[10]; 99 86 float f; 100 87 101 sout | x | y;102 88 swap( x, y ); 103 sout | x | y | nl | swap( x, y ); 104 // [ x, y ] = swap( y, x ); 105 sout | twice( ' ' ) | ' ' | twice( 0hh ) | twice( 1h ) | twice( 0n ) | twice( 2 ) 106 | twice( 3.2f ) | twice( 3.2 ) | twice( 3.2d ) | twice( 3.2+1.5i ) | twice( x ); 89 twice( x ); 107 90 f = min( 4.0, 3.0 ); 108 sout | f | min( 4.0, 3.0 ); 109 sout | sum( 10, a ); 91 sum( 10, a ); 110 92 } 111 93 … … 204 186 205 187 forall( T ) { 206 //extern "C" {188 extern "C" { 207 189 struct SS { T t; }; 208 T foo( T p ) { return p;}209 //}190 T foo( T ) {} 191 } 210 192 } 211 193 … … 213 195 W(int,int) w; 214 196 215 voidjane() {197 int jane() { 216 198 // int j = bar( 3, 4 ); 217 199 int k = baz( 3, 4, 5 ); 218 200 int i = foo( 3 ); 219 sout | k | i;220 201 } 221 202 … … 230 211 T t; 231 212 T t2 = t; 232 sout | &tr | tp;233 213 } 234 214 … … 262 242 263 243 int main( void ) { 264 g1(); 265 g2(); 266 fred(); 267 jane(); 244 #pragma GCC warning "Compiled" // force non-empty .expect file, NO TABS!!! 268 245 } 269 246
Note:
See TracChangeset
for help on using the changeset viewer.
