Lines Matching full:semantics
121 checking is implemented in the files `lib/Semantics/semantics.cpp`.
123 `lib/Semantics/semantics.cpp`:
146 node. Here's the declaration I put into `lib/Semantics/check-do.h`:
158 the file `lib/Semantics/check-do.cpp` where most of the semantic checking for
163 functions in `lib/Semantics/semantics.cpp` to emit messages if
210 typedCall; // filled by semantics
220 `evaluate::Expr` node collecting `semantics::Symbol` nodes. I guessed that I'd
279 `lib/Semantics/check-do.cpp`. I added a print statement to the visitor to
282 In `lib/Semantics/check-do.h`, I added the declaration for the visitor:
288 In `lib/Semantics/check-do.cpp`, I added an (almost empty) implementation:
319 To get the `INTENT` of the dummy arguments and the `semantics::Symbol` associated with the
324 was the existing infrastructure that collected all of the `semantics::Symbol` nodes from an
330 : public SetTraverse<CollectSymbolsHelper, semantics::SymbolSet> {
331 using Base = SetTraverse<CollectSymbolsHelper, semantics::SymbolSet>;
334 semantics::SymbolSet operator()(const Symbol &symbol) const {
338 template<typename A> semantics::SymbolSet CollectSymbols(const A &x) {
343 Note that the `CollectSymbols()` function returns a `semantics::Symbolset`,
344 which is declared in `include/flang/Semantics/symbol.h`:
362 full `semantics::Symbol` objects into the set. Ideally, we would be able to create an
369 `semantics::Symbol`, is declared in the file
370 `include/flang/Semantics/symbol.h`:
380 definitions into `lib/Semantics/check-do.cpp`:
396 collect a `SymbolSet` and put it into `lib/Semantics/check-do.cpp`:
531 symbol table node (`semantics::Symbol`) for the variable. My starting point was the
569 a variable. I needed the `semantics::Symbol` associated with the variable. So
571 `semantics::Symbol`. I found the following:
587 could try to extract a whole `semantics::Symbol` from the `evaluate::Expr` in my
588 `evaluate::ActualArgument`. If this extraction resulted in a `semantics::Symbol`
625 The compiler defines the "<<" operator for `semantics::Symbol`, which is handy