Description
AST iterator.
This is an STL-compliant forward iterator for traversing AST nodes in depth-first pre-order. The withoutNullValues and withNullValues functions control whether the traversal follows null child pointers (the default is that null pointers are not followed). Entire subtrees can be exluded from traversal with the skipSubtreeOnForward function.
The iterator also provides a number of auxiliary functions for querying some structural properties of the AST w.r.t. the position in the traversal (e.g., is_at_first_child, is_at_last_child, is_at_root, parent, etc.).
- Note
- Comparison of iterators is also correct for null values. Only if two iterators refer to the same (identical) null value, they are equal, otherwise they are not. If they refer to different null values they are different. Hence, different null values in the AST are treated like different nodes. This is necessary to allow STL algorithms to work properly on the AST.
#include <midend/astMatching/RoseAst.h>
Public Member Functions | |
| iterator () | |
| Default constructor. | |
| iterator (SgNode *x, bool withNullValues, bool withTemplates) | |
| Construct an iterator pointing to a particular AST node. | |
| bool | operator== (const iterator &x) const |
| Test iterator equality. | |
| bool | operator!= (const iterator &x) const |
| Test iterator inequality. | |
| SgNode * | operator* () const |
| Dereference an iterator. | |
| void | skipChildrenOnForward () |
| Cause children to be skipped on the next advancement. | |
| iterator & | withoutTemplates () |
| iterator & | withTemplates () |
| SgNode * | parent () const |
| Parent AST node relative to the iteration. | |
| bool | is_at_root () const |
| Test whether iterator is pointing to root node of AST to be traversed. | |
| bool | is_at_first_child () const |
| Test whether iterator is at the first child of its parent. | |
| bool | is_at_last_child () const |
| Test whether iterator as at the last child of its parent. | |
| bool | is_past_the_end () const |
| std::string | current_node_id () const |
| std::string | parent_node_id () const |
| void | print_top_element () const |
| int | stack_size () const |
| Depth of traversal. | |
| iterator & | operator++ () |
| Advance the iterator. | |
| iterator | operator++ (int) |
| Advance the iterator. | |
| iterator & | withoutNullValues () |
| Mode to enable or disable skipping null child pointers. | |
| iterator & | withNullValues () |
| Mode to enable or disable skipping null child pointers. | |
Protected Attributes | |
| SgNode * | _startNode |
| bool | _skipChildrenOnForward |
| bool | _withNullValues |
| bool | _withTemplates |
Constructor & Destructor Documentation
◆ iterator()
| RoseAst::iterator::iterator | ( | ) |
Default constructor.
Constructs an iterator that compares equal to the end iterator.
Member Function Documentation
◆ operator==()
| bool RoseAst::iterator::operator== | ( | const iterator & | x | ) | const |
Test iterator equality.
Two iterators are equal if they point to the same node or they're both end iterators. Two iterators that are pointing to null nodes are equal if and only if they refer to the same (identical) null value. If they refer to different null values they are different. Hence, different null values in the AST are treated like different nodes. This is necessary to allow STL algorithms to work.
Additionally, even if two iterators are pointing to the same AST node they will be equal only if they're in the same skipChildrenOnForward state.
◆ operator!=()
| bool RoseAst::iterator::operator!= | ( | const iterator & | x | ) | const |
Test iterator inequality.
This is just a convenince function that inverts the test for equality.
◆ operator*()
| SgNode * RoseAst::iterator::operator* | ( | ) | const |
Dereference an iterator.
Dereference an iterator to obtain the AST node to which it points. Dereferencing an end iterator will throw an std::out_of_range exception. If null AST pointers are being followed, the return value can be a null node (see withNullValues and withoutNullValues).
◆ operator++() [1/2]
| iterator & RoseAst::iterator::operator++ | ( | ) |
Advance the iterator.
Advances the iterator to the next AST node in a depth-first pre-order search. If the skipChildrenOnForward flag is set then all children of the current node are skipped and the skipChildrenOnForward flag is cleared. If the withoutNullValues flag is set, then all null child pointers are skipped but that flag is not cleared.
◆ operator++() [2/2]
| iterator RoseAst::iterator::operator++ | ( | int | ) |
Advance the iterator.
Advances the iterator to the next AST node in a depth-first pre-order search. If the skipChildrenOnForward flag is set then all children of the current node are skipped and the skipChildrenOnForward flag is cleared. If the withoutNullValues flag is set, then all null child pointers are skipped but that flag is not cleared.
◆ skipChildrenOnForward()
| void RoseAst::iterator::skipChildrenOnForward | ( | ) |
Cause children to be skipped on the next advancement.
This function marks the iterator so that it's next increment operator will advance over the current node's children without visiting them. The children are skipped only for the immediate next forward iteration (this is useful when used in the iterator idiom). This function is specific to tree iteration and allows to take tree structure into account although we are traversing the tree nodes as a sequence.
◆ withoutNullValues()
| iterator & RoseAst::iterator::withoutNullValues | ( | ) |
Mode to enable or disable skipping null child pointers.
The withoutNullValues mode causes the iterator to skip over null child pointers, while the withNullValues mode causse null child pointers to be followed followed. The mode affects subsequent advancement of the iterator, not its current value. In other words, in the withNullValues mode the iterator dereference operator will always return non-null values after its next increment. The default mode is withoutNullValues.
The function returns this iterator and can therefore be called together with begin, like this:
◆ withNullValues()
| iterator & RoseAst::iterator::withNullValues | ( | ) |
Mode to enable or disable skipping null child pointers.
The withoutNullValues mode causes the iterator to skip over null child pointers, while the withNullValues mode causse null child pointers to be followed followed. The mode affects subsequent advancement of the iterator, not its current value. In other words, in the withNullValues mode the iterator dereference operator will always return non-null values after its next increment. The default mode is withoutNullValues.
The function returns this iterator and can therefore be called together with begin, like this:
◆ parent()
| SgNode * RoseAst::iterator::parent | ( | ) | const |
Parent AST node relative to the iteration.
Returns the parent relative to the current iterator position, which might differ from the get_parent property of the current node. For instance, parent can return a non-null pointer when the current node is null.
◆ is_at_root()
| bool RoseAst::iterator::is_at_root | ( | ) | const |
Test whether iterator is pointing to root node of AST to be traversed.
Returns true if and only if the current node of this iterator is also the root of the traversed subtree.
◆ is_at_first_child()
| bool RoseAst::iterator::is_at_first_child | ( | ) | const |
Test whether iterator is at the first child of its parent.
Returns true if the current node of this iterator is the first child of the parent node.
◆ is_at_last_child()
| bool RoseAst::iterator::is_at_last_child | ( | ) | const |
Test whether iterator as at the last child of its parent.
Returns true if the current node of this iterator is the last child of the parent node.
Member Data Documentation
◆ _startNode
◆ _skipChildrenOnForward
◆ _withNullValues
◆ _withTemplates
The documentation for this class was generated from the following file:
